fp.
newest
Open in hackernews
Kernel accepts wrong-structure projections, allowing axiom-free proof of False
https://github.com/leanprover/lean4/issues/14576
2
•
gopiandcode
•
54m ago
Apple Upgrade Launches in the United States
https://www.apple.com/newsroom/2026/07/apple-upgrade-launches-in-the-united-states/
1
•
virgildotcodes
•
55s ago
•
0 comments
Show HN: Preloop: Open-source control plane for AI agents. See, govern, cut cost
https://github.com/preloop/preloop
1
•
dim0r
•
1m ago
•
0 comments
Show HN: Banksia – Build and run adaptable, accountable AI teams
https://github.com/ringlochid/banksia
1
•
ringlochid
•
1m ago
•
0 comments
Show HN: Self-hosted analytics that sends signups and sales to your Telegram
https://github.com/tgram-analytics/server
1
•
leorigna
•
3m ago
•
0 comments
Puck AI – Visual AI builder embedded in your app
https://puckeditor.com/blog/puck-ai
1
•
chrisvxd
•
5m ago
•
1 comments
Show HN: The Rise of Open Weights – a long scroll story
https://blog.scottlogic.com/ceberhardt/rise-of-open-weights/
1
•
ColinEberhardt
•
6m ago
•
0 comments
Amazon's trying to launch a global satellite cellphone network in 2028
https://www.theverge.com/tech/971437/amazon-leo-direct-to-device-satellite-network
2
•
DemiGuru
•
6m ago
•
0 comments
Claude Code system prompt says not to ask for permission, assumes user is absent
https://elliotmilco.substack.com/p/proceed-without-asking
1
•
RGS1811
•
7m ago
•
0 comments
Columna – open-source data framework refusing confident wrong numbers
https://datumwise.ai
1
•
huayin
•
9m ago
•
0 comments
The Drift Principle: Coherence is not contact [pdf]
https://offbrandguy.com/wp-content/uploads/2026/07/Drift_Principle_Canonical_Concept_Paper_v1.pdf
1
•
realitydrift
•
9m ago
•
0 comments
China Is Dominating the Nuclear Power Race [video]
https://www.youtube.com/watch?v=uTCA6RZmQbY
1
•
surprisetalk
•
10m ago
•
0 comments
The State of the Open Frontier
https://maximelabonne.substack.com/p/the-state-of-the-open-frontier
1
•
jamesblonde
•
10m ago
•
0 comments
Hollywood Stopped Making Movies in Hollywood
https://www.statsignificant.com/p/how-hollywood-stopped-making-movies
1
•
speckx
•
10m ago
•
0 comments
Apple Park: Designed to Isolate
https://mjtsai.com/blog/2026/07/21/apple-park-designed-to-isolate/
2
•
surprisetalk
•
11m ago
•
0 comments
Oxide Joins Anthropic's Project Glasswing
https://oxide.computer/blog/oxide-anthropic-project-glasswing
5
•
ErenayDev
•
11m ago
•
0 comments
UK public don't trust Fujitsu, but government does
https://www.computerweekly.com/news/366646332/UK-Public-dont-trust-Fujitsu-but-government-does
2
•
latein
•
12m ago
•
0 comments
DSCI Series / Rakulang CI
https://github.com/melezhik/DSCI/blob/main/posts/rakulang_ci.md
2
•
melezhik
•
13m ago
•
0 comments
Zoomit Sysinternals for Mac
https://github.com/microsoft/ZoomitForMac
2
•
pcunite
•
14m ago
•
0 comments
Six Agent Harness Capabilities for Higher Model Performance
https://developer.nvidia.com/blog/six-agent-harness-capabilities-for-higher-model-performance/
2
•
opwizardx
•
14m ago
•
0 comments
Gold isn't inert, it just has bodyguards protecting it
https://arstechnica.com/science/2026/06/gold-isnt-inert-it-just-has-bodyguards-protecting-it/
2
•
mhb
•
15m ago
•
0 comments
ESP32-S31 now in mass production and available for purchase
https://blog.adafruit.com/2026/07/27/esp32-s31-now-in-mass-production-and-available-for-purchase/
2
•
snvzz
•
15m ago
•
0 comments
AI Latency Is a Feature, Not a Bug
https://taceoincidunt909269.substack.com/p/ai-latency-is-a-feature-not-a-bug
2
•
mlimotte
•
16m ago
•
0 comments
Agentic coding costs in a nutshell: patterns, monitoring, metrics, optimization
https://github.com/QuesmaOrg/awesome-ai-tokenomics
2
•
bkotrys
•
16m ago
•
0 comments
The Wilhelm Scream (2005)
http://www.hollywoodlostandfound.net/wilhelm/
2
•
hyperific
•
16m ago
•
0 comments
European Union grants US request to restrict satellite images of Iran War region
https://arstechnica.com/space/2026/07/european-union-grants-us-request-to-restrict-satellite-imag...
3
•
vrganj
•
16m ago
•
0 comments
I'm 38 and I Can't Support Myself Anymore
https://itsmevox.substack.com/p/im-38-and-i-cant-support-myself-anymore
30
•
speckx
•
17m ago
•
2 comments
Yօur agent uploaded what to our competitors?
https://nochan.net/b/Internet-Crap/20260714-Do-Not-Trust--Continuously-Verify/
2
•
arboles
•
21m ago
•
2 comments
Ask HN: Why so many [dead] replies?
3
•
cyanclouds
•
21m ago
•
4 comments
Forcing VPN Companies to Become Palantir – Canada's Data Harvesting Law (CA-22) [video]
https://www.youtube.com/watch?v=Vj7x6mWvIJs
2
•
Bender
•
21m ago
•
0 comments
After 80+y of France being France, Trump's diplomats took the bait [video]
https://www.youtube.com/watch?v=ror0VmAp9O8
3
•
hinata08
•
21m ago
•
2 comments
Load More