Hacker News new | past | comments | ask | show | jobs | submit login
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

Join us for AI Startup School this June 16-17 in San Francisco!

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: