We fell out of love with Next.js and back in love with Ruby on Rails (hardcover.app)

166 points by mike1o1 2h ago 107 comments

Show HN: Free, in-browser PDF editor (breezepdf.com)

131 points by philjohnson 2h ago 50 comments

Run LLMs on Apple Neural Engine (ANE) (github.com)

175 points by behnamoh 5h ago 76 comments

You Sent the Message. But Did You Write It? (davidduncan.substack.com)

16 points by ano-ther 59m ago 3 comments

RethinkDNS Resolver That Deploys to CF Workers, Deno Deploy, Fastly, Fly.io (github.com)

42 points by indigodaddy 3h ago 3 comments

Helpcare AI (YC F24) Is Hiring (docs.google.com)

1 points by hsial 7m ago 0 comments

QModem 4.51 Source Code (github.com)

117 points by AaronFriel 5h ago 34 comments

Accountability Sinks (250bpm.substack.com)

484 points by msustrik 14h ago 298 comments

Why can't HTML alone do includes? (frontendmasters.com)

152 points by susam 8h ago 135 comments

Lessons from Building a Translator App That Beats Google Translate and DeepL (dingyu.me)

28 points by msephton 3d ago 8 comments

DuckDB is probably the most important geospatial software of the last decade (dbreunig.com)

8 points by dbreunig 1h ago 2 comments

N8n – Flexible AI workflow automation for technical teams (n8n.io)

144 points by XCSme 6h ago 78 comments

Burning Mao (granta.com)

37 points by bookofjoe 3h ago 17 comments

MathML with Pandoc (leancrew.com)

22 points by goranmoomin 3h ago 1 comments

Minimum Viable Blog (ostwilkens.se)

263 points by jlundberg 11h ago 135 comments

'I found your dad': The mystery of a missing climber (espn.com)

96 points by gmays 1d ago 24 comments

Closures in Tcl (world-playground-deceit.net)

66 points by andsoitis 7h ago 16 comments

Ghosts and Dolls (thelampmagazine.com)

5 points by lermontov 1d ago 0 comments

Buffett to step down following six-decade run atop Berkshire (bloomberg.com)

210 points by mfiguiere 2h ago 111 comments

Connomore64: Cycle exact emulation of the C64 using parallel microcontrollers (github.com)

192 points by codewiz 18h ago 30 comments

Why I ever wrote Clojure (thesoftwarephilosopher.com)

81 points by sbjs 6h ago 33 comments

The Craft 001: A conversation about craft, code, and freedom with Neal Agarwal (workingtheorys.com)

22 points by gripewater 22h ago 0 comments

Deadly Screwworm Parasite's Comeback Threatens Texas Cattle, US Beef Supply (bloomberg.com)

74 points by nkurz 2h ago 86 comments

Show HN: Use Third Party LLM API in JetBrains AI Assistant (github.com)

71 points by Stream 9h ago 28 comments

We know a little more about Amazon's satellites (arstechnica.com)

71 points by pseudolus 11h ago 91 comments

Show HN: Pipask – safer pip without compromising convenience (github.com)

40 points by Feynmanix 7h ago 28 comments

The future of solar doesn't track the sun (terraformindustries.wordpress.com)

89 points by surprisetalk 2d ago 67 comments

Why I stopped angel investing after 15 years (and what I'm doing instead) (halletecco.substack.com)

128 points by mooreds 7h ago 102 comments

Speedrunning and Modding the Incredibles: Rise of the Underminer (farlow.dev)

74 points by farlow 10h ago 5 comments

What New Orleans Taught Me (commonedge.org)

59 points by tintinnabula 1d ago 39 comments

Ask HN: Anyone else roll eyes at startups that went from "X" to "AI-powered X"?

35 points by ronbenton 1h ago 33 comments

Creating Bluey: Tales from the Art Director (substack.com)

222 points by cfcfcf 5d ago 90 comments

Federal Court Halts Dismantling of Federal Library Agency in ALA Lawsuit (ala.org)

21 points by hn_acker 1h ago 0 comments

Tell HN: TIL about Not By AI, A Badge you can add if your work is "human made" (notbyai.fyi)

6 points by kuberwastaken 45m ago 0 comments

I put sheet music into smart glasses [video] (youtube.com)

176 points by alex1115alex 19h ago 57 comments

How LWN is faring in 2025 (lwn.net)

102 points by leephillips 4h ago 16 comments

Bethesda Thinks Fan Remaster of Oblivion Is 'Very Special' and Supports It (kotaku.com)

51 points by hn_acker 5h ago 32 comments

Depictions of the Milky Way found in ancient Egyptian imagery (phys.org)

86 points by wglb 2d ago 33 comments

Vuntra City (vuntracity.com)

29 points by ibobev 8h ago 10 comments

Psilocybin reduced depression symptoms as much as leading antidepressant (2021) (massivesci.com)

20 points by dp-hackernews 2h ago 2 comments

ePub-utils: A Python library and CLI tool for inspecting ePub from the terminal (github.com)

101 points by ernstgnzlz 21h ago 9 comments

Open-source AI platform for ear-based sensing applications (open-earable.teco.edu)

51 points by vyrotek 2d ago 12 comments

The US has approved CRISPR pigs for food (technologyreview.com)

55 points by DocFeind 6h ago 70 comments

Why Is the Kiwi's Egg So Big? (audubon.org)

71 points by repost_bot 2d ago 42 comments

Old Soviet Venus descent craft nearing Earth reentry (leonarddavid.com)

392 points by Wingman4l7 1d ago 252 comments

Redis is open source again (antirez.com)

1840 points by antirez 2d ago 734 comments

Achieving Human Level Competitive Robot Table Tennis (sites.google.com)

108 points by badmonster 2d ago 46 comments

The language brain matters more for programming than the math brain? (2020) (massivesci.com)

401 points by smusamashah 1d ago 418 comments

A proof of concept tool to verify estimates (terrytao.wordpress.com)

77 points by jjgreen 1d ago 19 comments

PScientists reveal how bats learn to identify which prey is safe to eat (phys.org)

18 points by wglb 2d ago 4 comments

Step-by-step reasoning verifiers that think

6 mkhalifa 1 5/2/2025, 5:34:08 PM arxiv.org ↗

Comments (1)

mkhalifa · 1d ago

Github: https://github.com/mukhal/thinkprm

ThinkPRM 1.5B: https://huggingface.co/launch/ThinkPRM-1.5B

ThinkPRM 14B: https://huggingface.co/launch/ThinkPRM-14B

1K training examples: https://huggingface.co/datasets/launch/thinkprm-1K-verificat...