Hacker News headlines

1

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

5 months ago | nill0 | arxiv.org | newest

1

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

5 months ago | nill0 | youtube.com | newest

2

List of nonlinear partial differential equations (wikipedia.org)

5 months ago | nill0 | wikipedia.org | newest

3

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

6 months ago | nill0 | youtube.com | newest

3

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

6 months ago | nill0 | arxiv.org | newest

1

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

6 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)

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

2

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

6 months ago | nill0 | brown.edu | newest

1

Theoretical Computer Science (github.com/mostafatouny)

6 months ago | nill0 | github.com | newest

1

UELib (github.com/eliotvu)

6 months ago | nill0 | github.com | newest

3

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

6 months ago | nill0 | msreverseengineering.com | newest

2

Exploit Reversing – Alexandre Borges (exploitreversing.com)

6 months ago | nill0 | exploitreversing.com | newest

2

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

6 months ago | nill0 | github.com | newest

3

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

6 months ago | nill0 | up.pt | newest

1

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

6 months ago | nill0 | utexas.edu | newest

4

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

6 months ago | nill0 | halb.it | newest

1

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

6 months ago | nill0 | github.io | newest

1

A Dive into the Rockchip Bootloader (pentestpartners.com)

6 months ago | nill0 | pentestpartners.com | newest

1

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

6 months ago | nill0 | cmu.edu | newest

1

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

6 months ago | nill0 | mit.edu | newest

3

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

6 months ago | nill0 | ieee.org | newest

1

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

6 months ago | nill0 | redbull.com | newest

1

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

6 months ago | nill0 | diku.dk | newest

1

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

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

1

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

6 months ago | nill0 | arxiv.org | newest

1

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

6 months ago | nill0 | stackexchange.com | newest

1

Handbook of Discrete and Computational Geometry (csun.edu)

6 months ago | nill0 | csun.edu | newest

2

Logic and Mechanized Reasoning (avigad.github.io)

6 months ago | nill0 | github.io | newest

2

Space Launch Vehicles – Norbert Brugge (b14643.eu)

6 months ago | nill0 | b14643.eu | newest

3

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

6 months ago | nill0 | arxiv.org | newest

3

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

6 months ago | nill0 | mit.edu | frontpage

5

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

6 months ago | nill0 | failurecriteria.com | frontpage

1

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

6 months ago | nill0 | github.com | newest

41

History of CAD (shapr3d.com)

6 months ago | nill0 | shapr3d.com | best

39

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

6 months ago | nill0 | psu.edu | best

2

Core Algorithms Deployed (cstheory.stackexchange.com)

6 months ago | nill0 | stackexchange.com | frontpage

1

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

6 months ago | nill0 | curiouscoding.nl | newest

1

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

6 months ago | nill0 | blogspot.com | newest

1

Mathematics, Form and Function (wikipedia.org)

6 months ago | nill0 | wikipedia.org | newest

0

Reinventing the Processor [video] (youtube.com)

6 months ago | nill0 | youtube.com | newest

15

Practical Foundations of Mathematics (paultaylor.eu)

6 months ago | nill0 | paultaylor.eu | frontpage

1

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

6 months ago | nill0 | mathoverflow.net | newest

1

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

6 months ago | nill0 | stanford.edu | newest

2

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

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

2

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

6 months ago | nill0 | github.com | frontpage

2

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

6 months ago | nill0 | github.com | frontpage

2

OpenCFS (Coupled Field Simulation) (opencfs.org)

6 months ago | nill0 | opencfs.org | frontpage

1

Computational Capacity of the Universe (arxiv.org)

6 months ago | nill0 | arxiv.org | newest

57

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

6 months ago | nill0 | github.io | frontpage

1

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

6 months ago | nill0 | stanford.edu | newest

1

Sound Blocks [video] (youtube.com)

6 months ago | nill0 | youtube.com | newest