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 135
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
Bill Atkinson, a pioneer in computer interface design, has died.
OpenAI preservation of ChatGPT user logs after court order
Convert Photos to Atkinson Dithering
Self-hosting your own media considered harmful according to YouTube
Researchers develop ‘transparent paper’ as alternative to plastics
Surge in VPN Signups After Pornhub's Departure From France