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 57
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