fp.
news
Open in hackernews
Formally verifying Advent of Code using Dijkstra's program construction
https://haripm.com/blog/aoc-day-3-without-thinking/
10
•
seafoamteal
•
2h ago
Ghostty is now non-profit
https://mitchellh.com/writing/ghostty-non-profit
423
•
vrnvu
•
2h ago
•
81 comments
Everyone in Seattle hates AI
https://jonready.com/blog/posts/everyone-in-seattle-hates-ai.html
233
•
mips_avatar
•
1h ago
•
220 comments
Reverse engineering a $1B Legal AI tool exposed 100k+ confidential files
https://alexschapiro.com/security/vulnerability/2025/12/02/filevine-api-100k
303
•
bearsyankees
•
3h ago
•
88 comments
Valve reveals it’s the architect behind a push to bring Windows games to Arm
https://www.theverge.com/report/820656/valve-interview-arm-gaming-steamos-pierre-loup-griffais
171
•
evolve2k
•
1d ago
•
248 comments
1D Conway's Life glider found, 3.7B cells long
https://conwaylife.com/forums/viewtopic.php?&p=222136#p222136
209
•
nooks
•
3h ago
•
68 comments
RCE Vulnerability in React and Next.js
https://github.com/vercel/next.js/security/advisories/GHSA-9qr9-h5gf-34mp
257
•
rayhaanj
•
5h ago
•
76 comments
Micron Announces Exit from Crucial Consumer Business
https://investors.micron.com/news-releases/news-release-details/micron-announces-exit-crucial-con...
111
•
simlevesque
•
3h ago
•
24 comments
Lie groups are crucial to some of the most fundamental theories in physics
https://www.quantamagazine.org/what-are-lie-groups-20251203/
43
•
ibobev
•
2h ago
•
16 comments
Launch HN: Phind 3 (YC S22) – Every answer is a mini-app
51
•
rushingcreek
•
3h ago
•
41 comments
Why are my headphones buzzing whenever I run my game?
https://alexene.dev/2025/12/03/Why-do-my-headphones-buzz-when-i-run-my-game.html
100
•
pacificat0r
•
5h ago
•
88 comments
Apple Desktop Bus Protocol (2021)
https://www.lopaciuk.eu/2021/03/26/apple-adb-protocol.html
35
•
dcminter
•
3d ago
•
7 comments
Prompt Injection via Poetry
https://www.wired.com/story/poems-can-trick-ai-into-helping-you-make-a-nuclear-weapon/
35
•
bumbailiff
•
3h ago
•
23 comments
How to Synthesize a House Loop
https://loopmaster.xyz/tutorials/how-to-synthesize-a-house-loop
120
•
stagas
•
6d ago
•
39 comments
MinIO is now in maintenance-mode
https://github.com/minio/minio/commit/27742d469462e1561c776f88ca7a1f26816d69e2
325
•
hajtom
•
5h ago
•
186 comments
Rocketable (YC W25) is hiring a founding engineer to automate software companies
https://www.ycombinator.com/companies/rocketable/jobs/CArgzmX-founding-engineer-automation-platform
1
•
alanwells
•
4h ago
R packages for data science
https://tidyverse.org/
28
•
cl3misch
•
1w ago
•
8 comments
Agentic Development Environment by JetBrains
https://air.dev
7
•
NumerousProcess
•
32m ago
•
1 comments
You can't fool the optimizer
https://xania.org/202512/03-more-adding-integers
213
•
HeliumHydride
•
9h ago
•
120 comments
Show HN: Fresh – A new terminal editor built in Rust
https://sinelaw.github.io/fresh/
57
•
_sinelaw_
•
6h ago
•
38 comments
“Captain Gains” on Capitol Hill
https://www.nber.org/papers/w34524
748
•
mhb
•
7h ago
•
465 comments
Anthropic taps IPO lawyers as it races OpenAI to go public
https://www.ft.com/content/3254fa30-5bdb-4c30-8560-7cd7ebbefc5f
219
•
GeorgeWoff25
•
11h ago
•
181 comments
Are we repeating the telecoms crash with AI datacenters?
https://martinalderson.com/posts/are-we-really-repeating-the-telecoms-crash-with-ai-datacenters/
132
•
davedx
•
10h ago
•
90 comments
GSWT: Gaussian Splatting Wang Tiles
https://yunfan.zone/gswt_webpage/
70
•
klaussilveira
•
6h ago
•
21 comments
Formally verifying Advent of Code using Dijkstra's program construction
https://haripm.com/blog/aoc-day-3-without-thinking/
10
•
seafoamteal
•
2h ago
•
0 comments
A Look at Rust from 2012
https://purplesyringa.moe/blog/a-look-at-rust-from-2012/
140
•
todsacerdoti
•
1w ago
•
54 comments
Helldivers 2 devs slash install size from 154GB to 23GB
https://www.tomshardware.com/video-games/pc-gaming/helldivers-2-install-size-slashed-from-154gb-t...
340
•
doener
•
7h ago
•
216 comments
Shrinking While Linking
https://www.tweag.io/blog/2025-11-27-shrinking-static-libs/
16
•
ingve
•
3d ago
•
6 comments
Zig quits GitHub, says Microsoft's AI obsession has ruined the service
https://www.theregister.com/2025/12/02/zig_quits_github_microsoft_ai_obsession/
888
•
Brajeshwar
•
13h ago
•
507 comments
Interview with RollerCoaster Tycoon's Creator, Chris Sawyer (2024)
https://medium.com/atari-club/interview-with-rollercoaster-tycoons-creator-chris-sawyer-684a0efb0f13
266
•
areoform
•
16h ago
•
48 comments
The writing is on the wall for handwriting recognition
https://newsletter.dancohen.org/archive/the-writing-is-on-the-wall-for-handwriting-recognition/
177
•
speckx
•
1w ago
•
100 comments
Load More