frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

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