fp.
news
Open in hackernews
An Introduction to Formal Logic(2020) [pdf]
https://logicmatters.net/ifl/pdfs/IFL2_LM.pdf
5
•
o4c
•
2h ago
ARC-AGI Leaderboard
https://arcprize.org/leaderboard
22
•
rzk
•
47m ago
•
5 comments
Claude Opus 5
https://www.anthropic.com/news/claude-opus-5
1482
•
alvis
•
14h ago
•
814 comments
GC and Exceptions in Wasmtime
https://bytecodealliance.org/articles/wasmtime-gc
61
•
phickey
•
4d ago
•
0 comments
Hannah Fry Wins the Leelavati Prize in 2026 for Mathematics Outreach
https://www.maths.cam.ac.uk/features/professor-hannah-fry-wins-leelavati-prize
90
•
agnishom
•
5h ago
•
16 comments
UK AISI / Caisi Preliminary Assessment of Kimi K3's Cyber Capabilities
https://www.nist.gov/news-events/news/2026/07/uk-aisi-caisi-preliminary-assessment-kimi-k3s-cyber...
30
•
walrus01
•
2h ago
•
8 comments
Postgres LISTEN/NOTIFY actually scales
https://www.dbos.dev/blog/postgres-listen-notify-scalability
284
•
KraftyOne
•
12h ago
•
52 comments
Opus 5 is currently #1 on Artificial Analysis Intelligence Leaderboard
https://artificialanalysis.ai/models
250
•
aarondong
•
11h ago
•
145 comments
India's first privately-developed rocket reaches orbit on debut launch
https://arstechnica.com/space/2026/07/indias-first-privately-developed-rocket-reaches-orbit-on-dr...
575
•
sohkamyung
•
5d ago
•
164 comments
My security camera shipped a GitHub admin token in its login page
https://hhh.hn/hanwha-github-token/
567
•
hhh
•
19h ago
•
188 comments
Sperm Whales blow bubbles to achieve restful, vertical sleep
https://news.st-andrews.ac.uk/archive/sperm-whales-blow-bubbles-to-achieve-restful-vertical-sleep/
83
•
hhs
•
8h ago
•
11 comments
Taylor Farms Called White House to Try to Delay Cyclospora Recall
https://www.wsj.com/health/taylor-farms-cyclospora-recall-delay-call-41fef0bc
185
•
JumpCrisscross
•
4h ago
•
74 comments
PartialString – A finite-difference time-domain physical modelling synthesiser
https://differentinstruments.com/
5
•
shmeano
•
3d ago
•
0 comments
Show HN: I simulated closing the Strait of Hormuz on real oil trade data
https://globaloilnetwork.staffinganalytics.io/
153
•
eliotho
•
1d ago
•
80 comments
An old patent inspired the new "Y-zipper", a three-sided fastener
https://news.mit.edu/2026/three-sided-y-zipper-design-0504
177
•
crescit_eundo
•
2d ago
•
36 comments
Designing an Ethernet Switch ASIC
https://essenceia.github.io/projects/ethernet_switch_asic/
165
•
random__duck
•
4d ago
•
43 comments
Book Corners: Community map of neighborhood book exchange spots
https://www.bookcorners.org
8
•
NaOH
•
2d ago
•
2 comments
Kimi K3 exploited the latest Redis server
https://twitter.com/fried_rice/status/2080059356322918777
195
•
Alifatisk
•
1d ago
•
55 comments
Firefox Containers Preview
https://blog.mozilla.org/en/firefox/firefox-containers-preview/
292
•
twapi
•
3d ago
•
94 comments
Re: Bye Bye Gravatar
https://unattributed.cc/re-bye-bye-gravatar
35
•
surprisetalk
•
2d ago
•
15 comments
Nvidia, Microsoft, Meta warn against overregulating open-weight models
https://www.cnbc.com/2026/07/24/nvidia-microsoft-meta-open-weight-ai-models.html
580
•
louiereederson
•
17h ago
•
259 comments
Half-Life 2 running natively on HaikuOS
https://discuss.haiku-os.org/t/haiku-nvidia-porting-nvidia-driver-for-turing-gpus/16520?page=18
291
•
m0do1
•
18h ago
•
54 comments
Don't Take the Black Pill [video]
https://www.youtube.com/watch?v=zLZwpH5lCD4
163
•
signa11
•
14h ago
•
141 comments
IRGC claims it destroyed Amazon's Bahrain data center
https://houseofsaud.com/irgc-claims-destroyed-amazon-bahrain-data-center/
279
•
thisislife2
•
21h ago
•
341 comments
Fil-C: Garbage In, Memory Safety Out [video]
https://www.youtube.com/watch?v=5F-2Y1LPRek
127
•
Bootvis
•
1d ago
•
124 comments
A concrete explanation of how a cache works
https://parksb.github.io/en/article/29.html
21
•
parksb
•
3d ago
•
2 comments
Future euro banknote design proposals
https://www.ecb.europa.eu/euro/banknotes/future_banknotes/html/all-design-proposals.en.html
166
•
robin_reala
•
21h ago
•
141 comments
Marimo now runs in PyCharm
https://marimo.io/blog/pycharm
96
•
cantdutchthis
•
2d ago
•
27 comments
The case for MUDs in modern times (2018)
https://www.andrewzigler.com/feed/the-case-for-muds-in-modern-times
94
•
bw86
•
19h ago
•
73 comments
Buz – A fork of Bun using modern Zig, with sub-1s incremental builds
https://ziggit.dev/t/buz-a-drop-in-replacement-for-bun-using-modern-zig-with-sub-1s-incremental-b...
260
•
kristoff_it
•
21h ago
•
172 comments
Unitree As2-W
https://www.unitree.com/As2-W/
116
•
MehrdadKhnzd
•
14h ago
•
51 comments
Load More