Lossless LLM compression for efficient GPU inference via dynamic-length float
arxiv.org
Show HN: Formalizing Principia Mathematica using Lean
github.com
Writing "/etc/hosts" breaks the Substack editor
scalewithlee.substack.com
Differential Coverage for Debugging
research.swtch.com
Curry: A functional logic programming language
curry-lang.org
Show HN: Magnitude – open-source, AI-native test framework for web apps
github.com
Tumor-derived erythropoietin acts as immunosuppressive switch in cancer immunity
science.org
Paper2Code: Automating Code Generation from Scientific Papers
arxiv.org
A $20k American-made electric pickup with no paint, no stereo, no screen
theverge.com
Large Language Models, Small Labor Market Effects [pdf]
bfi.uchicago.edu
The Policy Puppetry Prompt: Novel bypass for major LLMs
hiddenlayer.com
GCC, the GNU Compiler Collection 15.1 released
gcc.gnu.org
Foundry (YC F24) is hiring – Come build a world model for the web
Tales of the Yucca Man (2018)
longreads.com
Echo – Open Hardware Music Player
github.com
A Love Letter to People Who Believe in People
swiss-miss.com
The VTech Socratic Method
leadedsolder.com
Notation as a Tool of Thought (1979)
jsoftware.com
Exploiting Undefined Behavior in C/C++ Programs: The Performance Impact [pdf]
web.ist.utl.pt
Next-Gen GPU Programming: Hands-On with Mojo and Max Modular HQ
youtube.com
Huge reproducibility project fails to validate biomedical studies
nature.com
"Poetry City": Iowa City, Iowa
publicbooks.org
This is a great series of posts which have inspired me to write a debugger when they were posted here before. Very fun! This is another insightful series of the topic: https://eli.thegreenplace.net/2011/01/23/how-debuggers-work-...