fp.
newest
Open in hackernews
Rust Standard Library Verification Contest Scaled Past Manual Proof Engineering
https://rustfoundation.org/media/how-the-rust-standard-library-verification-contest-scaled-past-manual-proof-engineering/
2
•
matt_d
•
40m ago
APOD's main NASA site is moving
https://asterisk.apod.com/viewtopic.php?t=45023#p349496
1
•
2b3a51
•
22s ago
•
1 comments
Mom Gets 6-Month Suspended Jail Sentence for Letting 5-Year-Old Walk to the Pond
https://www.yahoo.com/news/us/articles/virginia-mom-gets-6-month-113005821.html
1
•
rationalist
•
59s ago
•
0 comments
Skyportal, an open source AI infra engineer with an approval gate
https://github.com/SkyportalAi/skyportalai
1
•
henrique221
•
1m ago
•
0 comments
GPT-6 Astra Is Here–and OpenAI Thinks It May Kick Off the AGI Era
https://www.wired.com/story/openai-says-gpt-6-can-use-a-computer-better-than-a-human/
1
•
prabal97
•
1m ago
•
0 comments
Neal Stephenson is leaking again; When computer isn't computer
https://thingsthatcaughtmyattention.com/e/s21e27-neal-stephenson-is-leaking-again-when
1
•
speckx
•
2m ago
•
0 comments
Playco cut manual fixes 50% prototyping games with GPT‑6 Astra
http://openai.com/index/playco-game-prototyping-with-astra
1
•
nateb2022
•
2m ago
•
0 comments
The Ban Artificial Superintelligence Act [pdf]
https://www.sanders.senate.gov/wp-content/uploads/Ban-Artificial-Superintelligence-Act-Release-Su...
2
•
gmays
•
2m ago
•
0 comments
How Special Is Programming as a Token-Infall Attractor?
https://braddelong.substack.com/p/how-special-is-programming-as-a-token
1
•
_dwt
•
3m ago
•
0 comments
In Portuguese Village a Blanket of Dough Becomes an Ethereal Pastry
https://www.nytimes.com/interactive/2026/09/03/dining/pastry-portugal-pastel-tentugal-tradition.html
1
•
mykowebhn
•
3m ago
•
0 comments
Commons News – Progressive Link Aggregator
https://commons.news/
1
•
artoghrul
•
4m ago
•
0 comments
The Double Matthew Walker Knot by Fable 5.1
https://claude.ai/public/artifacts/06fd26a5-403c-47c8-af49-dcf6c35ec55c
3
•
nemesis17
•
5m ago
•
1 comments
Hugging Face approached Nvidia’s Huang weeks ahead of $12.9B acquisition
https://www.cnbc.com/2026/09/03/nvidia-agrees-to-buy-hugging-face-for-almost-13-billion-ai-expans...
2
•
eutropheon
•
6m ago
•
0 comments
Show HN: SyncLite – Offline-first apps with automatic database sync
https://www.youtube.com/shorts/Nv5jjDxNdXA
1
•
mahcha
•
6m ago
•
0 comments
The Ads Model for Prompts Vertically Integrates AI – Tom Tunguz
https://tomtunguz.com/the-ads-model-for-prompts-vertically-integrates-ai/
1
•
manualwise
•
7m ago
•
0 comments
OpenAI Claims Latest Model Astra Could Be Considered AGI
https://www.ft.com/content/55ab40c0-59e2-4c0b-97c9-4f4f5a71a8bb
1
•
znq
•
8m ago
•
2 comments
Rantjs: Write a Pattern, Get a Sentence
https://github.com/robbestad/Rantjs
1
•
blockbeard
•
8m ago
•
0 comments
Satellite images show penguins' diets are changing in response to climate change
https://theconversation.com/satellite-images-show-how-penguins-diets-are-changing-in-response-to-...
3
•
DemiGuru
•
8m ago
•
0 comments
Show HN: Omarchy on Apple Silicon via VM
https://github.com/azilnik/omarchy-apple-silicon-parallels
1
•
azilnik
•
9m ago
•
0 comments
Vasm – A portable and retargetable assembler supporting older CPUs
http://sun.hasenbraten.de/vasm/
1
•
peter_d_sherman
•
9m ago
•
0 comments
Mmuko Boot Sequence – a tiny freestanding C kernel that boots in QEMU
https://github.com/obinexus/mmuko-boot
1
•
obinexus
•
9m ago
•
0 comments
US House passes bill to crack down on university boycotts of Israel
https://www.reuters.com/world/us/us-house-passes-bill-crack-down-university-boycotts-israel-2026-...
8
•
gravisultra
•
10m ago
•
0 comments
OpenAI says it has overtaken Anthropic with its latest AI model
https://giftarticle.ft.com/giftarticle/actions/redeem/1054f4f0-cac7-479c-a4a7-f95b3906ca4b
3
•
pboulos
•
12m ago
•
0 comments
I Fixed Movement in Adrift by Changing the Character Sprite
https://jackpritz.com/blog/how-i-fixed-movement-in-adrift-by-changing-the-character-sprite
2
•
jack_ftw
•
12m ago
•
0 comments
"Welcome to the AGI era," OpenAI says as GPT-6 Astra debuts
https://www.axios.com/2026/09/03/openai-astra-gpt-6-agi-brockman
19
•
htrp
•
12m ago
•
3 comments
Upcoming Changes to Xbox Cloud Gaming
https://news.xbox.com/en-us/2026/09/03/xbox-cloud-gaming-changes/
2
•
haunter
•
13m ago
•
1 comments
ZapExt: A ExtensãO de CRM E Produtividade Mais Completa Para WhatsApp Web
https://www.zapext.com
1
•
Aserex
•
13m ago
•
0 comments
Thunderquakes: A new way to image the Earth's subsurface
https://www.psu.edu/news/earth-and-mineral-sciences/story/thunderquakes-new-way-image-earths-subs...
1
•
gmays
•
13m ago
•
0 comments
Winter 2026/2027 First Forecast: Super El Niño Drives a Major Weather Divide
https://www.severe-weather.eu/long-range-2/winter-2026-2027-first-forecast-super-el-nino-polar-vo...
8
•
barbazoo
•
14m ago
•
1 comments
Kennedy asked to remove Pennsylvania measles death from CDC tally, sources say
https://www.reuters.com/world/kennedy-asked-remove-pennsylvania-measles-death-cdc-tally-sources-s...
5
•
zzzeek
•
14m ago
•
0 comments
Turn any GitHub repo into a trivia game
https://jeopardygithub.com
1
•
momentmaker
•
15m ago
•
0 comments
Load More