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
Paper2Code: Automating Code Generation from Scientific Papers
arxiv.org
Curry: A functional logic programming language
curry-lang.org
Show HN: Magnitude – open-source, AI-native test framework for web apps
github.com
Gym Class (YC W22) Is Hiring Character Animation Engineering Lead
ycombinator.com
Differential Coverage for Debugging
research.swtch.com
A $20k American-made electric pickup with no paint, no stereo, no screen
theverge.com
Programming in D: Tutorial and Reference
ddili.org
Tumor-derived erythropoietin acts as immunosuppressive switch in cancer immunity
science.org
I Designed My LED Matrix PCB with Code Instead of Traditional EDA Tools
docs.tscircuit.com
Show HN: A modern spreadsheet with Python integration
citadel5.com
GCC, the GNU Compiler Collection 15.1 released
gcc.gnu.org
Large Language Models, Small Labor Market Effects [pdf]
bfi.uchicago.edu
The Policy Puppetry Prompt: Novel bypass for major LLMs
hiddenlayer.com
A Love Letter to People Who Believe in People
swiss-miss.com
Echo – Open Hardware Music Player
github.com
The VTech Socratic Method
leadedsolder.com
Notation as a Tool of Thought (1979)
jsoftware.com
Tales of the Yucca Man (2018)
longreads.com
Exploiting Undefined Behavior in C/C++ Programs: The Performance Impact [pdf]
web.ist.utl.pt
Kind of expected this. As soon as more peer review starts on any astronomy claim big enough to be published in the NYT usually the initial claim slowly gets dismantled.