1. | | Lossless LLM compression for efficient GPU inference via dynamic-length float (arxiv.org) |
|
162 points by CharlesW 2 hours ago | hide | 46 comments
|
2. | | Show HN: Formalizing Principia Mathematica using Lean (github.com/ndrwnaguib) |
|
43 points by ndrwnaguib 2 hours ago | hide | 10 comments
|
3. | | Writing "/etc/hosts" breaks the Substack editor (scalewithlee.substack.com) |
|
406 points by scalewithlee 7 hours ago | hide | 234 comments
|
4. | | Differential Coverage for Debugging (swtch.com) |
|
24 points by todsacerdoti 2 hours ago | hide | discuss
|
5. | | Curry: A functional logic programming language (curry-lang.org) |
|
57 points by hyperbrainer 2 hours ago | hide | 8 comments
|
6. | | Eurorack Knob Idea (mitxela.com) |
|
203 points by po 7 hours ago | hide | 76 comments
|
7. | | Show HN: Magnitude – open-source, AI-native test framework for web apps (github.com/magnitudedev) |
|
85 points by anerli 3 hours ago | hide | 26 comments
|
8. | | Paper2Code: Automating Code Generation from Scientific Papers (arxiv.org) |
|
32 points by Jerry2 3 hours ago | hide | 1 comment
|
9. | | Tumor-derived erythropoietin acts as immunosuppressive switch in cancer immunity (science.org) |
|
87 points by bookofjoe 6 hours ago | hide | 21 comments
|
10. | | A $20k American-made electric pickup with no paint, no stereo, no screen (theverge.com) |
|
657 points by kwindla 5 hours ago | hide | 630 comments
|
11. | | Synadia Response to CNCF (synadia.com) |
|
5 points by gfloyd 22 minutes ago | hide | 1 comment
|
12. | | Done in by Time (thelampmagazine.com) |
|
10 points by lermontov 1 hour ago | hide | 1 comment
|
13. | | Large language models, small labor market effects [pdf] (uchicago.edu) |
|
65 points by luu 5 hours ago | hide | 12 comments
|
14. |  | Foundry (YC F24) is hiring – Come build a world model for the web |
|
3 hours ago | hide |
15. | | The Policy Puppetry Prompt: Novel bypass for major LLMs (hiddenlayer.com) |
|
199 points by jacobr1 7 hours ago | hide | 157 comments
|
16. | | GCC 15.1 (gcc.gnu.org) |
|
150 points by jrepinc 10 hours ago | hide | 104 comments
|
17. | | Tales of the Yucca Man (2018) (longreads.com) |
|
7 points by centrosphere 1 hour ago | hide | 1 comment
|
18. | | Programming in D: Tutorial and Reference (ddili.org) |
|
3 points by teleforce 53 minutes ago | hide | discuss
|
19. | | Echo – Open Hardware Music Player (github.com/amachronic) |
|
47 points by todsacerdoti 7 hours ago | hide | 11 comments
|
20. | | A Love Letter to People Who Believe in People (swiss-miss.com) |
|
242 points by NaOH 10 hours ago | hide | 68 comments
|
21. | | The VTech Socratic Method (leadedsolder.com) |
|
54 points by zdw 7 hours ago | hide | 7 comments
|
22. | | Notation as a Tool of Thought (1979) (jsoftware.com) |
|
288 points by susam 18 hours ago | hide | 83 comments
|
23. | | Exploiting Undefined Behavior in C/C++ Programs: The Performance Impact [pdf] (utl.pt) |
|
73 points by luu 9 hours ago | hide | 47 comments
|
24. | | Next-Gen GPU Programming: Hands-On with Mojo and Max Modular HQ (youtube.com) |
|
28 points by solarmist 2 hours ago | hide | 13 comments
|
25. | | "Poetry City": Iowa City, Iowa (publicbooks.org) |
|
46 points by samclemens 7 hours ago | hide | 20 comments
|
26. | | Huge reproducibility project fails to validate biomedical studies (nature.com) |
|
89 points by rntn 4 hours ago | hide | 56 comments
|
27. | | UIT – performant, modular, low-memory file processing at scale, in the Cloud (github.com/janwilmake) |
|
19 points by janwilmake 6 hours ago | hide | 1 comment
|
28. | | Mary MacLane, the Wild Woman from Butte (publicdomainreview.org) |
|
19 points by samclemens 4 hours ago | hide | discuss
|
29. | | Scientists Develop Artificial Leaf, Uses Sunlight to Produce Valuable Chemicals (lbl.gov) |
|
258 points by gnabgib 22 hours ago | hide | 106 comments
|
30. | | I wrote to the address in the GPLv2 license notice (2022) (mendhak.com) |
|
757 points by ekiauhce 1 day ago | hide | 542 comments
|
|
|
More |