frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Formal Methods and the Future of Programming

https://blog.janestreet.com/formal-methods-at-jane-street-index/
29•nextos•4d ago

Comments

Taikonerd•1h ago
Dupe of https://news.ycombinator.com/item?id=48526633

Running local models is good now

https://vickiboykis.com/2026/06/15/running-local-models-is-good-now/
635•jfb•4h ago•298 comments

SpaceX to buy Cursor for $60B

https://www.reuters.com/legal/transactional/spacex-buy-anysphere-60-billion-2026-06-16/
570•itsmarcelg•8h ago•964 comments

TIL: You can make HTTP requests without curl using Bash /dev/TCP

https://mareksuppa.com/til/bash-dev-tcp-http-without-curl/
101•mrshu•2h ago•58 comments

Mechanical Watch (2022)

https://ciechanow.ski/mechanical-watch/
539•razin•7h ago•99 comments

GPT‑NL: a sovereign language model for the Netherlands

https://www.tno.nl/en/digital/artificial-intelligence/gpt-nl/
37•root-parent•1h ago•12 comments

Claude: Elevated errors across many models

https://status.claude.com/incidents/xmhsglsz3h3w
132•forks•1h ago•112 comments

Calvin and Hobbes and the price of integrity

https://therepublicofletters.substack.com/p/calvin-and-hobbes-and-the-price-of
51•pseudolus•3h ago•14 comments

But yak shaving is fun

https://parksb.github.io/en/article/32.html
113•parksb•4h ago•30 comments

Making ast.walk 220x Faster

https://reflex.dev/blog/why-ast-walk-when-you-can-ast-sprint/
50•palashawas•2h ago•10 comments

Stop Using JWTs

https://gist.github.com/samsch/0d1f3d3b4745d778f78b230cf6061452
51•dzonga•2h ago•20 comments

Apple's weird anti-nausea dots cured my car sickness

https://www.theverge.com/tech/942854/apple-vehicle-motion-cues-review-really-work
266•neilfrndes•3h ago•90 comments

10Gb/s Ethernet: switching to a Broadcom SFP+ module

https://www.gilesthomas.com/2026/06/10g-ethernet-switching-to-broadcom-sfp-plus
23•gpjt•1h ago•18 comments

Correlated randomness in Slay the Spire 2

https://tck.mn/blog/correlated-randomness-sts2/
234•rdmuser•9h ago•74 comments

SubQ 1.1 Small

https://subq.ai/subq-1-1-small-technical-report
78•EDM115•4h ago•35 comments

I admire Fabrice Bellard. He is almost certainly a better overall programmer

https://twitter.com/ID_AA_Carmack/status/2064095424420487226
781•apitman•14h ago•367 comments

Why is Meta destroying its engineering organization?

https://newsletter.pragmaticengineer.com/p/why-is-meta-destroying-its-engineering
188•throwarayes•2h ago•110 comments

Has AI already killed self-help nonfiction books?

https://tim.blog/2026/06/12/has-ai-already-killed-nonfiction/
20•imakwana•2h ago•17 comments

The time the x86 emulator team found code so bad they fixed it during emulation

https://devblogs.microsoft.com/oldnewthing/20260615-00/?p=112419
457•paulmooreparks•14h ago•147 comments

Qwen-Robot Suite: A Foundation Model Suite for Physical World Intelligence

https://qwen.ai/blog?id=qwen-robotsuite
60•ilreb•6h ago•6 comments

Cooling at the Speed of Light

https://cacm.acm.org/news/cooling-at-the-speed-of-light/
12•sohkamyung•3d ago•1 comments

Formal Methods and the Future of Programming

https://blog.janestreet.com/formal-methods-at-jane-street-index/
29•nextos•4d ago•1 comments

An interview with an Apple emoji designer

https://shadycharacters.co.uk/2026/06/ollie-wagner/
73•nate•3d ago•39 comments

After AI Takes Everything

https://ursb.me/en/posts/after-ai-takes-everything/
67•speckx•3h ago•66 comments

'Ghost jobs' could soon be illegal in New York

https://www.fastcompany.com/91558427/ghost-jobs-could-soon-be-illegal-in-new-york
66•toomuchtodo•2h ago•34 comments

The octopus architecture for AI agents

https://blog.goodman.dev/blog/octopus-agent-architecture/
11•joshbetz•1h ago•2 comments

Getting Creative with Perlin Noise Fields

https://sighack.com/post/getting-creative-with-perlin-noise-fields
136•0x000xca0xfe•2d ago•21 comments

Show HN: Pen and paper resource development game with an emergent world

https://www.jameshylands.co.uk/2026/06/sortis-paper-empire-game.html
4•jhylands•1h ago•0 comments

Unicorn – The Ultimate CPU Emulator

https://www.unicorn-engine.org/
71•tosh•8h ago•20 comments

Show HN: Garden of Flowers – an archive of pictorial typography before ASCII art

https://garden-of-flowers.heikkilotvonen.com/
133•california-og•14h ago•22 comments

Specs Augmented Reality Glasses

https://newsroom.snap.com/introducing-specs-augmented-reality-glasses
27•haberdasher•2h ago•16 comments