All Questions
Formalizing Principia Mathematica using Lean
rebeccalong131
8 0 30
42
Curry: A functional logic programming language
sydneywright121
7 0 43
42
Lossless LLM compression for efficient GPU inference via dynamic-length float
andy32881
38 0 136
42
Paper2Code: Automating Code Generation from Scientific Papers
rebeccalong131
1 0 27
42
Magnitude – open-source, AI-native test framework for web apps
chrisjordan871
14 0 38
42
Huge reproducibility project fails to validate biomedical studies
laura_knight1
20 0 55
hello
FBI arrests Wisconsin judge on charges of obstructing immigrant arrest
bradleyyoung121
120 0 303
hello
A $20k American-made electric pickup with no paint, no stereo, no screen
ashleystone121
575 0 594
42
College Punching Bag for Rejected Highschoolers
lukeanderson761
7 0 20
world
UIT – performant, modular, low-memory file processing at scale, in the Cloud
brandonxu121
1 0 13
tech
Hot Questions
The shift of software coding roles towards assembly-line tasks akin to warehouse work at Amazon due to AI advancements
The Unreliability of LLMs and What Lies Ahead
Onlook – Open-source, visual-first Cursor for designers
Concerns about the effectiveness and impact of generative AI in coding and software development
Cloudflare builds OAuth with Claude and publishes all the prompts
Hacker News running on Common Lisp