fp.
news
Open in hackernews
Kani: A Model Checker for Rust
https://arxiv.org/abs/2607.01504
49
•
Jimmc414
•
2h ago
Comments
ototot
•
39m ago
Their old paper:
https://dl.acm.org/doi/pdf/10.1145/3510457.3513031
AMD Ryzen AI Halo – $4k AI Dev Kit
https://www.lttlabs.com/articles/2026/07/06/amd-ryzen-ai-halo
150
•
LabsLucas
•
3h ago
•
123 comments
Aluminum foil (2021)
https://dernocua.github.io/notes/aluminum-foil.html
174
•
firephox
•
4h ago
•
72 comments
Kani: A Model Checker for Rust
https://arxiv.org/abs/2607.01504
49
•
Jimmc414
•
2h ago
•
1 comments
Road to Elm 1.0
https://elm-lang.org/news/faster-builds
244
•
wolfadex
•
6h ago
•
102 comments
Egypt Is Building a New Nile
https://www.theb1m.com/video/egypt-is-building-a-new-nile
50
•
geox
•
2d ago
•
4 comments
Real-time map of Great Britain's rail network
https://www.map.signalbox.io
332
•
scrlk
•
8h ago
•
124 comments
Show HN: Pulpie – Models for Cleaning the Web
https://usefeyn.com/blog/pulpie-pareto-optimal-models-for-cleaning-the-web/
36
•
snyy
•
2h ago
•
6 comments
Stealth robotics startup (YC S26) is hiring principal engineers (Palo Alto)
1
•
david-venegas
•
1h ago
Fable 5 On Vending-Bench: Misbehaving, With Plausible Deniability
https://andonlabs.com/blog/fable5-vending-bench
130
•
optimalsolver
•
5h ago
•
82 comments
Resetting Xbox
https://news.xbox.com/en-us/2026/07/06/resetting-xbox/
188
•
dijksterhuis
•
4h ago
•
137 comments
I Like Small Keyboards
https://samsm.ch/small-keyboards/
19
•
surprisetalk
•
5d ago
•
13 comments
1k Words: A Writing Contest
https://writingclub.world/1picture1000words
54
•
surprisetalk
•
2h ago
•
21 comments
Clojure 1.13 adds support for checked keys
https://clojure.org/news/2026/07/02/clojure-1-13-alpha1
131
•
FelipeCortez
•
3d ago
•
25 comments
CS2 Fog Of War: Server-sided anti-wallhack occlusion culling for CS2 servers
https://github.com/karola3vax/CS2FOW
36
•
LorenDB
•
3h ago
•
10 comments
The AI Superforecasters Are Here
https://www.astralcodexten.com/p/the-ai-superforecasters-are-here
32
•
surprisetalk
•
2h ago
•
23 comments
The Supreme Court Just Lit a Fuse Under Flock's License Plate Camera Empire
https://www.yahoo.com/news/politics/articles/supreme-court-just-lit-fuse-130900307.html
48
•
bilsbie
•
1h ago
•
25 comments
Big Tech Has Suddenly Flipped on the AI Jobs Wipeout Scenario
https://www.wsj.com/tech/ai/ai-workers-tech-ceos-job-losses-afc71e15
29
•
Brajeshwar
•
1h ago
•
10 comments
Introduction to Genomics for Engineers
https://learngenomics.dev/docs/biological-foundations/cells-genomes-dna-chromosomes/
180
•
yreg
•
4d ago
•
26 comments
When 2+2=5
https://arstechnica.com/security/2026/06/ai-browsers-can-be-lulled-into-a-dream-world-where-guard...
57
•
noashavit
•
3d ago
•
26 comments
Should DayQuil Be Legal?
https://www.theargumentmag.com/p/should-dayquil-be-legal
81
•
paulpauper
•
2h ago
•
109 comments
OfficeCLI: Office suite for AI agents to read and edit Microsoft Office files
https://github.com/iOfficeAI/OfficeCLI
25
•
maxloh
•
1h ago
•
2 comments
Show HN: I Built LangGraph for Swift
https://github.com/christopherkarani/Swarm
18
•
christkarani
•
3h ago
•
3 comments
What Emily Bender meant by "stochastic parrots"
https://spectrum.ieee.org/stochastic-parrot
124
•
digital55
•
3h ago
•
148 comments
Building relationships with customers through support didn't turn out as hoped
https://www.uncommonapps.nyc/p/castro-podcasts-things-i-got-wrong-support
289
•
dabluck
•
16h ago
•
172 comments
Apricot Computers: An underrated British brand
https://dfarq.homeip.net/apricot-computers-an-underrated-british-brand/
63
•
giuliomagnifico
•
5d ago
•
19 comments
Why low-latency Java still requires discipline?
https://chronicle.software/insights/blogs/why-low-latency-java-still-requires-discipline
67
•
theanonymousone
•
5h ago
•
35 comments
Nintendo announces new product revisions in Europe with replaceable batteries
https://www.nintendo.com/en-gb/Support/Nintendo-Switch-2/Information-about-upcoming-battery-relat...
221
•
akyuu
•
5h ago
•
150 comments
DOJ Closing Abbott Labs Case Spurs Wider Corporate Crime Retreat
https://news.bloomberglaw.com/us-law-week/doj-closing-abbott-labs-case-spurs-wider-corporate-crim...
98
•
petethomas
•
3h ago
•
24 comments
Eternal Software Initiative Based on Subleq One-Instruction-Set Computer
https://github.com/adriancable/eternal
7
•
lioeters
•
2h ago
•
1 comments
Amazon will stop accepting new customers for Mechanical Turk
https://techcrunch.com/2026/07/05/amazon-will-stop-accepting-new-customers-for-mechanical-turk/
119
•
bookofjoe
•
5h ago
•
37 comments
Load More
ototot•39m ago