Show HN: KVSplit – Run 2-3x longer contexts on Apple Silicon (github.com)

106 points by dipampaul17 1h ago 11 comments

Thoughts on thinking (dcurt.is)

149 points by bradgessler 2h ago 88 comments

A Research Preview of Codex (openai.com)

308 points by meetpateltech 6h ago 226 comments

ClojureScript forks Google Closure to guarantee backward compatibility (clojurescript.org)

29 points by Borkdude 1h ago 2 comments

Methodical Banality (aeon.co)

14 points by CharlesW 1h ago 1 comments

X X^t can be faster (arxiv.org)

138 points by robinhouston 5h ago 41 comments

Getting AI to write good SQL: Text-to-SQL techniques explained (cloud.google.com)

7 points by richards 31m ago 0 comments

Show HN: Visual flow-based programming for Erlang, inspired by Node-RED (github.com)

180 points by Towaway69 6h ago 84 comments

I'm Peter Roberts, immigration attorney, who does work for YC and startups. AMA

144 points by proberts 6h ago 310 comments

MIT asks arXiv to take down preprint of paper on AI and scientific discovery (economics.mit.edu)

161 points by carabiner 6h ago 79 comments

The Magic Hours: The Films and Hidden Life of Terrence Malick (lrb.co.uk)

30 points by mitchbob 3h ago 19 comments

Lawful kinematics link eye movements to the limits of high-speed perception (nature.com)

13 points by bookofjoe 3d ago 1 comments

Java at 30: Interview with James Gosling (thenewstack.io)

115 points by chhum 8h ago 121 comments

New 'Superdiffusion' Proof Probes the Mysterious Math of Turbulence (quantamagazine.org)

29 points by rbanffy 4h ago 5 comments

Foundry (YC F24) Is Hiring – Founding Engineer (ML × SWE) (ycombinator.com)

1 points by lakabimanil 4h ago 0 comments

The first year of free-threaded Python (labs.quansight.org)

222 points by rbanffy 11h ago 193 comments

Transformer: The Deep Chemistry of Life and Death (nick-lane.net)

37 points by mitchbob 3d ago 8 comments

Show HN: Workflow Use – Deterministic, self-healing browser automation (RPA 2.0) (github.com)

34 points by gregpr07 5h ago 9 comments

Material 3 Expressive (design.google)

276 points by meetpateltech 3d ago 458 comments

Show HN: Rv, a Package Manager for R (github.com)

57 points by Keats 6h ago 25 comments

What were the MS-DOS programs that the moricons.dll icons were intended for? (devblogs.microsoft.com)

224 points by rbanffy 3d ago 113 comments

Taking a look at the next generation of telescopes (arstechnica.com)

14 points by voxadam 3d ago 8 comments

Evolution of Rust Compiler Errors (kobzol.github.io)

113 points by ingve 8h ago 26 comments

Show HN: SQL-tString a t-string SQL builder in Python (github.com)

64 points by pgjones 8h ago 30 comments

Stax Museum Bob Abrahamian Collection (bobacollection.staxmuseum.org)

27 points by mellosouls 4h ago 5 comments

Tower Defense: Cache Control (jasonthorsness.com)

44 points by jasonthorsness 3d ago 17 comments

Returning to My Roots in Hardware (dancrimp.nz)

35 points by dcrimp 3d ago 7 comments

The first year of free-threaded Python (labs.quansight.org)

8 points by ngoldbaum 3d ago 0 comments

LPython: Novel, Fast, Retargetable Python Compiler (2023) (lpython.org)

39 points by luismedel 3d ago 12 comments

Data preparation for function tooling is boring (thehyperplane.substack.com)

3 points by andreeamiclaus 3d ago 3 comments

British naval dominance during the age of sail (lesswrong.com)

83 points by surprisetalk 8h ago 65 comments

Ollama's new engine for multimodal models (ollama.com)

332 points by LorenDB 19h ago 73 comments

Sci-Net (sci-hub.se)

248 points by greyface- 9h ago 107 comments

The Awful German Language (1880) (faculty.georgetown.edu)

178 points by nalinidash 17h ago 419 comments

Ground control to Major Trial (virtualize.sh)

454 points by plam503711 9h ago 176 comments

Baby is healed with first personalized gene-editing treatment (nytimes.com)

1137 points by jbredeche 1d ago 474 comments

Náhuatl and Mayan Language Renaissance Occurring in Mexico (yucatanmagazine.com)

142 points by bryanrasmussen 3d ago 61 comments

Beyond Text: On-Demand UI Generation for Better Conversational Experiences (blog.fka.dev)

66 points by fka 12h ago 37 comments

The fastest Postgres inserts (docs.hatchet.run)

38 points by abelanger 7h ago 20 comments

Teal – A statically-typed dialect of Lua (teal-language.org)

211 points by generichuman 21h ago 147 comments

Launch HN: Tinfoil (YC X25): Verifiable Privacy for Cloud AI

137 points by FrasiertheLion 1d ago 99 comments

Windsurf SWE-1: Our First Frontier Models (windsurf.com)

160 points by arittr 1d ago 56 comments

Ed Smylie, Who Saved the Apollo 13 Crew with Duct Tape, Dies at 95 (nytimes.com)

93 points by sohkamyung 7h ago 32 comments

Cracked – Method chaining/CSS-style selector web audio library (github.com)

87 points by stephenhandley 18h ago 23 comments

Zinc Microcapacitors Are the Best of Both Worlds (spectrum.ieee.org)

64 points by Brajeshwar 3d ago 6 comments

Lock-Free Rust: How to Build a Rollercoaster While It's on Fire (yeet.cx)

116 points by r3tr0 3d ago 52 comments

Ask HN: Facing unemployment – what now?

30 points by octo888 3h ago 29 comments

What do executives do, anyway? (2019) (apenwarr.ca)

13 points by Tomte 1h ago 3 comments

54 years ago, a programmer fixed a bug – and created an existential crisis (inverse.com)

4 points by CharlesW 55m ago 0 comments

A leap year check in three instructions (hueffner.de)

408 points by gnabgib 23h ago 148 comments

Interactive Formal Specifications

2 we6251 0 5/16/2025, 5:42:23 AM will62794.github.io ↗

Comments (0)

No comments yet