< Prev

Page 37

More >

32

ATLAS: Autoformalized Textbook Library At Scale (github.com)

by vrm 4 days ago | hide | 4 comments

297

The Melancholy of Slaying Monsters (thereader.mitpress.mit.edu)

by prismatic 5 days ago | hide | 144 comments

90

The Lone Lisp Heap (matheusmoreira.com)

by stevekemp 4 days ago | hide | 28 comments

471

FBI arrests CIA official with $40M in gold bars in his home (nytimes.com)

by cwwc 4 days ago | hide | 387 comments

418

Anthropic surpasses OpenAI to become most valuable AI startup (qazinform.com)

by Bolat14 2 days ago | hide | 469 comments

267

Indoor Wi-Fi Roaming with OpenWRT (taoofmac.com)

by zdw 6 days ago | hide | 126 comments

246

I hated writing until I learned there’s a science to it (2024) (science.org)

by o4c 4 days ago | hide | 111 comments

7

Handmade Hawaiian Islands Map (notesfromtheroad.com)

by bovermyer 2 days ago | hide | 0 comments

8

Show HN: Live, system-wide USB transfer sniffer in eBPF (github.com)

by r3tr0 a day ago | hide | 0 comments

718

Tech CEOs are apparently suffering from AI psychosis (techcrunch.com)

by IAmGraydon 5 days ago | hide | 357 comments

269

SF startup is testing robots in Airbnbs, and trashing them, lawsuit claims (sfstandard.com)

by drewda 3 days ago | hide | 150 comments

6

Five giant hyperscalers–and Nvidia–share a surprising trait: female CFOs (fortune.com)

by mooreds 14 hours ago | hide | 1 comments

202

Coalton is an efficient, statically typed Lisp with ideas from Haskell and OCaml (coalton-lang.github.io)

by b-man 6 days ago | hide | 42 comments

304

The user is visibly frustrated (pscanf.com)

by croes 6 days ago | hide | 274 comments

48

Step 3.7 Flash (static.stepfun.com)

by tarruda 3 days ago | hide | 16 comments

621

Canada to order military plane fleet from Sweden in shift from US suppliers (theguardian.com)

by tosh 5 days ago | hide | 485 comments

60

Let's talk about EU Sovereignty (2025) (musings.martyn.berlin)

by mooreds 2 days ago | hide | 74 comments

82

Seeing Around Corners Using Smartphone-Grade Lidar (spectrum.ieee.org)

by marc__1 7 days ago | hide | 21 comments

37

The Secret Garden of Rock-Paper-Scissors (theshamblog.com)

by scottshambaugh 3 days ago | hide | 10 comments

615

Taking a walk may lead to more creativity than sitting, study finds (2014) (apa.org)

by bilsbie 6 days ago | hide | 235 comments

24

Quantum dot qubit using High NA EUV lithography (imec-int.com)

by luu 5 days ago | hide | 5 comments

9

Wrote that Boomers were choking America's economy. Their responses are revealing (fortune.com)

by ourmandave 8 hours ago | hide | 5 comments

80

Zero Lines Maze: What the 8-Bit Guy's One-Liner Can Still Teach Us (retrogamecoders.com)

by ibobev 6 days ago | hide | 42 comments

5

Donating AI credits to open source projects

by happyPersonR 16 hours ago | hide | 5 comments

310

Go: Support for Generic Methods (github.com)

by f311a 5 days ago | hide | 270 comments

6

Dealing with cancel safety in async Rust (rfd.shared.oxide.computer)

by rrampage a day ago | hide | 0 comments

73

Protestware for coding agents (nesbitt.io)

by SVI 3 days ago | hide | 119 comments

5

Old Blue Workbench (triumph.no)

by erickhill a day ago | hide | 0 comments

5

K Is for K-Theory (maths.ox.ac.uk)

by marysminefnuf a day ago | hide | 0 comments

35

Even (very) noisy LLM evaluators are useful for improving AI agents (tensorzero.com)

by GabrielBianconi 5 days ago | hide | 9 comments

< Prev

Page 37

More >