Hacker News headlines

1

Foundations of Computer Science in C Language – Alfred Aho and Jeffrey Ullman [pdf] (gatech.edu)

8 months ago | nill0 | gatech.edu | newest

2

Ukmarsbot – A simple beginner's multi purpose robot platform (github.com/ukmars)

8 months ago | nill0 | github.com | newest

9

Open source software for modeling soft materials (tufts.edu)

8 months ago | nill0 | tufts.edu | frontpage

2

A programmable environment for shape optimization and shapeshifting problems (arxiv.org)

8 months ago | nill0 | arxiv.org | newest

1

Links: A dataset of a hundred million planar linkage mechanisms (github.com/ahnobari)

8 months ago | nill0 | github.com | newest

1

The Ligra Graph Processing Framework (jshun.github.io)

8 months ago | nill0 | github.io | newest

1

How to Write a 21st Century Proof – Leslie Lamport 2011 [pdf] (lamport.azurewebsites.net)

8 months ago | nill0 | azurewebsites.net | newest

48

Matters Computational (2010) [pdf] (jjj.de)

8 months ago | nill0 | jjj.de | best

3

Physical Computation - a Mechanistic Account by Gualtiero Piccinini [pdf] (agnescameron.info)

8 months ago | nill0 | agnescameron.info | newest

1

Function Extraction: Automated Behavior Computation for Aerospace Software (cmu.edu)

8 months ago | nill0 | cmu.edu | newest

1

Advanced Reverse Engineering – Dr.Stacy Prowell CSC 6580 [video] (youtube.com)

8 months ago | nill0 | youtube.com | newest

1

The Five Strands of Mathematics Proficiency (gmu.edu)

8 months ago | nill0 | gmu.edu | newest

2

Making Tiny 2-Stroke Engine from Scratch [video] (youtube.com)

8 months ago | nill0 | youtube.com | newest

2

CARDboard Illustrative Aid to Computation (Cardboard Computer)-David Hagelbarger (drexel.edu)

8 months ago | nill0 | drexel.edu | newest

8

Vulkan Game Engine Series Written in C – Travis Vroman (youtube.com)

8 months ago | nill0 | youtube.com | frontpage

2

Planimeter: A tool to measure the area of any shape – Chris Staecker [video] (youtube.com)

8 months ago | nill0 | youtube.com | newest

2

Ggruyere Space Program (gruyerespaceprogram.ch)

8 months ago | nill0 | gruyerespaceprogram.ch | newest

3

A clever grinding fixture for ultra-precision squaring – Cylo's Garage [video] (youtube.com)

8 months ago | nill0 | youtube.com | frontpage

2

Principles and Techniques for Designing Precision Machines – Hale [pdf] 1999 (osti.gov)

8 months ago | nill0 | osti.gov | newest

1

The books that taught me precision [video] - Cylo's Garage (youtube.com)

8 months ago | nill0 | youtube.com | newest

4

Homoiconicity (wikipedia.org)

8 months ago | nill0 | wikipedia.org | newest

3

Characteristics of Modern Mathematics (2010) (mathscitech.org)

8 months ago | nill0 | mathscitech.org | newest

2

Rigid Body Dynamics Algorithms – Roy Featherstone [pdf] 2008 (gaoyichao.com)

8 months ago | nill0 | gaoyichao.com | newest

1

A Universal Approach to Self-Referential Paradoxes - Noson S. Yanofsky [2003] (arxiv.org)

8 months ago | nill0 | arxiv.org | newest

1

Melody Visualization Experiment: Tetris Theme (Korobeiniki) in Blender [video] (youtube.com)

8 months ago | nill0 | youtube.com | newest

2

List of nonlinear partial differential equations (wikipedia.org)

8 months ago | nill0 | wikipedia.org | newest

3

Vector Calculus – Robert Ghrist [Calculus Blue Vol:1] [video] (youtube.com)

9 months ago | nill0 | youtube.com | newest

3

The Limits of Mathematics – Gregory Chaitin [1994] (arxiv.org)

9 months ago | nill0 | arxiv.org | newest

1

Program-Transformation.org (program-transformation.org)

9 months ago | nill0 | program-transformation.org | newest

23

What can be computed? A practical guide to the theory of computation (2018) [pdf] (softouch.on.ca)

9 months ago | nill0 | softouch.on.ca | frontpage

2

Models of Computation – John E. Savage [pdf] (brown.edu)

9 months ago | nill0 | brown.edu | newest

1

Theoretical Computer Science (github.com/mostafatouny)

9 months ago | nill0 | github.com | newest

1

UELib (github.com/eliotvu)

9 months ago | nill0 | github.com | newest

3

Program-Analysis-Reading-List (msreverseengineering.com)

9 months ago | nill0 | msreverseengineering.com | newest

2

Exploit Reversing – Alexandre Borges (exploitreversing.com)

9 months ago | nill0 | exploitreversing.com | newest

2

Calipso: Conic Augmented Lagrangian Interior-Point SOlver (github.com/thowell)

9 months ago | nill0 | github.com | newest

3

The Calculus of Computation [pdf] (up.pt)

9 months ago | nill0 | up.pt | newest

1

Smoothing a Program Soundly and Robustly? [pdf] (utexas.edu)

9 months ago | nill0 | utexas.edu | newest

4

x86-64 Playground An online assembly editor and GDB-like debugger (halb.it)

9 months ago | nill0 | halb.it | newest

1

Making my static blog generator 11 times faster (gaultier.github.io)

9 months ago | nill0 | github.io | newest

1

A Dive into the Rockchip Bootloader (pentestpartners.com)

9 months ago | nill0 | pentestpartners.com | newest

1

CMU: Optimal Control and Reinforcement Learning (cmu.edu)

9 months ago | nill0 | cmu.edu | newest

1

MIT: A low cost modular actuator for dynamic robots – Katz, Benjamin (dspace.mit.edu)

9 months ago | nill0 | mit.edu | newest

3

Intel, Synopsys, TSMC All Unveil Record Memory Densities (ieee.org)

9 months ago | nill0 | ieee.org | newest

1

Red Bull Racing: The Life of a Bolt (redbull.com)

9 months ago | nill0 | redbull.com | newest

1

Computability and Complexity from a Programming Perspective – Neil D. Jones [pdf] (diku.dk)

9 months ago | nill0 | diku.dk | newest

1

History of interactive theorem proving [pdf] (cam.ac.uk)

9 months ago | nill0 | cam.ac.uk | newest

1

Designing a Theorem Prover – Lawrence C Paulson (arxiv.org)

9 months ago | nill0 | arxiv.org | newest

1

Do theorem provers demonstrate their own correctness? (cs.stackexchange.com)

9 months ago | nill0 | stackexchange.com | newest

1

Handbook of Discrete and Computational Geometry (csun.edu)

9 months ago | nill0 | csun.edu | newest

2

Logic and Mechanized Reasoning (avigad.github.io)

9 months ago | nill0 | github.io | newest

2

Space Launch Vehicles – Norbert Brugge (b14643.eu)

9 months ago | nill0 | b14643.eu | newest

3

Robust Ladder Climbing with a Quadrupedal Robot (arxiv.org)

9 months ago | nill0 | arxiv.org | newest

3

Computational Design and Fabrication of Portable MRI Systems (dspace.mit.edu)

9 months ago | nill0 | mit.edu | frontpage

5

Failure Theory for Materials Science and Engineering (failurecriteria.com)

9 months ago | nill0 | failurecriteria.com | frontpage

1

Manifold – Geometric Library for topological robustness (github.com/elalish)

9 months ago | nill0 | github.com | newest

41

History of CAD (shapr3d.com)

9 months ago | nill0 | shapr3d.com | best

39

Student refines 100-year-old math problem, expanding wind energy possibilities (psu.edu)

9 months ago | nill0 | psu.edu | best

2

Core Algorithms Deployed (cstheory.stackexchange.com)

9 months ago | nill0 | stackexchange.com | frontpage

1

PtrHash: Minimal Perfect Hashing at RAM Throughput (curiouscoding.nl)

9 months ago | nill0 | curiouscoding.nl | newest

1

Lecture Notes on the Geometrical Anatomy of Theoretical Physics (mathswithphysics.blogspot.com)

9 months ago | nill0 | blogspot.com | newest

1

Mathematics, Form and Function (wikipedia.org)

9 months ago | nill0 | wikipedia.org | newest

0

Reinventing the Processor [video] (youtube.com)

9 months ago | nill0 | youtube.com | newest

15

Practical Foundations of Mathematics (paultaylor.eu)

9 months ago | nill0 | paultaylor.eu | frontpage

1

When are two proofs of the same theorem different proofs (mathoverflow.net)

9 months ago | nill0 | mathoverflow.net | newest

1

Generative AI tool marks a milestone in biology (stanford.edu)

9 months ago | nill0 | stanford.edu | newest

2

Model Engines Build Plans. (outerzone.co.uk)

9 months ago | nill0 | outerzone.co.uk | newest

2

Legolas – An Open Source Bipedal Robot (github.com/daviddoo02)

9 months ago | nill0 | github.com | frontpage

2

Tinker – Flexible, and Ready to Move: Your Cartoon-Style Bipedal Robot (github.com/yuexuan9)

9 months ago | nill0 | github.com | frontpage

2

OpenCFS (Coupled Field Simulation) (opencfs.org)

9 months ago | nill0 | opencfs.org | frontpage

1

Computational Capacity of the Universe (arxiv.org)

9 months ago | nill0 | arxiv.org | newest

57

[flagged] Nobody Profits – George Hotz (geohot.github.io)

9 months ago | nill0 | github.io | frontpage

1

Foundations of Computer Science – Al Aho and Jeff Ullman (stanford.edu)

9 months ago | nill0 | stanford.edu | newest

1

Sound Blocks [video] (youtube.com)

9 months ago | nill0 | youtube.com | newest