1. | | Lossless LLM compression for efficient GPU inference via dynamic-length float (arxiv.org) |
|
192 points by CharlesW 3 hours ago | hide | 62 comments
|
2. | | Show HN: Formalizing Principia Mathematica using Lean (github.com/ndrwnaguib) |
|
58 points by ndrwnaguib 3 hours ago | hide | 20 comments
|
3. | | Writing "/etc/hosts" breaks the Substack editor (scalewithlee.substack.com) |
|
428 points by scalewithlee 8 hours ago | hide | 241 comments
|
4. | | Curry: A functional logic programming language (curry-lang.org) |
|
73 points by hyperbrainer 3 hours ago | hide | 13 comments
|
5. | | Paper2Code: Automating Code Generation from Scientific Papers (arxiv.org) |
|
49 points by Jerry2 4 hours ago | hide | 7 comments
|
6. | | Show HN: Magnitude – open-source, AI-native test framework for web apps (github.com/magnitudedev) |
|
97 points by anerli 4 hours ago | hide | 30 comments
|
7. | | Eurorack Knob Idea (mitxela.com) |
|
209 points by po 8 hours ago | hide | 83 comments
|
8. |  | Gym Class (YC W22) Is Hiring Character Animation Engineering Lead (ycombinator.com) |
|
57 minutes ago | hide |
9. | | Differential Coverage for Debugging (swtch.com) |
|
33 points by todsacerdoti 3 hours ago | hide | 2 comments
|
10. | | A $20k American-made electric pickup with no paint, no stereo, no screen (theverge.com) |
|
752 points by kwindla 6 hours ago | hide | 715 comments
|
11. | | Programming in D: Tutorial and Reference (ddili.org) |
|
15 points by teleforce 1 hour ago | hide | 2 comments
|
12. | | Tumor-derived erythropoietin acts as immunosuppressive switch in cancer immunity (science.org) |
|
92 points by bookofjoe 7 hours ago | hide | 27 comments
|
13. | | GCC 15.1 (gcc.gnu.org) |
|
165 points by jrepinc 11 hours ago | hide | 107 comments
|
14. | | Large language models, small labor market effects [pdf] (uchicago.edu) |
|
75 points by luu 6 hours ago | hide | 15 comments
|
15. | | The Policy Puppetry Prompt: Novel bypass for major LLMs (hiddenlayer.com) |
|
216 points by jacobr1 8 hours ago | hide | 165 comments
|
16. | | How to Vibe Code a Logomaker in 10 Days (medium.com/johnnyfived) |
|
7 points by johnnyfived 1 hour ago | hide | 5 comments
|
17. | | Done in by Time (thelampmagazine.com) |
|
15 points by lermontov 2 hours ago | hide | 10 comments
|
18. | | A Love Letter to People Who Believe in People (swiss-miss.com) |
|
254 points by NaOH 11 hours ago | hide | 74 comments
|
19. | | Echo – Open Hardware Music Player (github.com/amachronic) |
|
52 points by todsacerdoti 8 hours ago | hide | 16 comments
|
20. | | The VTech Socratic Method (leadedsolder.com) |
|
59 points by zdw 8 hours ago | hide | 8 comments
|
21. | | Tales of the Yucca Man (2018) (longreads.com) |
|
7 points by centrosphere 2 hours ago | hide | 2 comments
|
22. | | Notation as a Tool of Thought (1979) (jsoftware.com) |
|
292 points by susam 19 hours ago | hide | 89 comments
|
23. | | Finding Things the Government Might Know About You (nytimes.com) |
|
12 points by anticorporate 40 minutes ago | hide | discuss
|
24. | | Exploiting Undefined Behavior in C/C++ Programs: The Performance Impact [pdf] (utl.pt) |
|
75 points by luu 10 hours ago | hide | 53 comments
|
25. | | Mary MacLane, the Wild Woman from Butte (publicdomainreview.org) |
|
22 points by samclemens 5 hours ago | hide | 1 comment
|
26. | | Scientists Develop Artificial Leaf, Uses Sunlight to Produce Valuable Chemicals (lbl.gov) |
|
260 points by gnabgib 23 hours ago | hide | 107 comments
|
27. | | "Poetry City": Iowa City, Iowa (publicbooks.org) |
|
46 points by samclemens 8 hours ago | hide | 24 comments
|
28. | | UIT – performant, modular, low-memory file processing at scale, in the Cloud (github.com/janwilmake) |
|
23 points by janwilmake 7 hours ago | hide | 2 comments
|
29. | | I wrote to the address in the GPLv2 license notice (2022) (mendhak.com) |
|
762 points by ekiauhce 1 day ago | hide | 546 comments
|
30. | | What If We Could Rebuild Kafka from Scratch? (morling.dev) |
|
197 points by mpweiher 16 hours ago | hide | 176 comments
|
|
|
More |