fp.
newest
Open in hackernews
Point AI at a "Proven" Microkernel?
2
•
RantyDave
•
50m ago
Since it has become obvious that AI is great at finding security flaws, has anyone pointed it at some formally proven software? I'm thinking seL4. In theory it should find nothing, right?
Dice: Detailed Inter-Chiplet End-to-End PHY Modeling for Chiplet Simulation
https://arxiv.org/abs/2607.24221
1
•
Jimmc414
•
1m ago
•
0 comments
Substackers Say New AI Detection Tool Is a 'Witch Hunt'
https://www.404media.co/substackers-say-new-ai-detection-tool-is-a-witch-hunt/
1
•
Jimmc414
•
1m ago
•
0 comments
Poolside Desktop Assistant – multi harness ACP app for macOS
https://poolside.ai/blog/introducing-poolside-desktop-assistant
1
•
appleton
•
3m ago
•
0 comments
Show HN: I was tired of opening 2 tabs for every HN link, so I made a userscript
https://github.com/twalichiewicz/HNewhere
1
•
twalichiewicz
•
4m ago
•
0 comments
I Asked Gemini to Read 300-Year-Old Portuguese Parish Records
https://mariofilho.com/gemini-portuguese-parish-records/
1
•
mariofilho
•
4m ago
•
0 comments
Architects, Anthills, and AI: A Nobel Prize's Lesson on Scientific Progress
https://kovashikawa.github.io/ai/architecs-anthill-ai/
1
•
rkovashikawa
•
5m ago
•
0 comments
Artist sues AI meme generator for selling deeply personal comic as ad template
https://arstechnica.com/tech-policy/2026/07/artist-sues-ai-meme-generator-for-selling-deeply-pers...
2
•
inerte
•
6m ago
•
0 comments
Parlay Bets Are Burning Gamblers as Market Takes Off on Kalshi
https://news.bloomberglaw.com/securities-law/parlay-bets-are-burning-gamblers-as-market-takes-off...
1
•
1vuio0pswjnm7
•
6m ago
•
0 comments
The Improbable Journey of Impossible Creatures
https://www.vg247.com/the-improbable-journey-of-impossible-creatures
1
•
endofreach
•
6m ago
•
0 comments
A Two-Person Startup Has Fixed One of the Most Hated Sounds in Modern Life
https://www.wired.com/story/a-two-person-startup-has-fixed-one-of-the-most-hated-sounds-in-modern...
1
•
littlexsparkee
•
8m ago
•
0 comments
AIssuer – calibrated on 500 hard issues from mature software
https://github.com/hi-mundo/AIssuer
1
•
hi-mundo
•
12m ago
•
0 comments
Are All the Good Men Married?
https://www.cremieux.xyz/p/are-all-the-good-men-married
2
•
gmays
•
12m ago
•
1 comments
AI Deals Struggle to Get Across Finish Line Bond Binge Enters Weak Demand Era
https://finance.yahoo.com/markets/stocks/articles/ai-bond-binge-enters-era-181015249.html
1
•
mapping365
•
13m ago
•
0 comments
AI the Singularity and where we are
1
•
nathanyz
•
13m ago
•
0 comments
The Economist Interviewed Elon Musk
https://www.economist.com/insider/the-insider/an-interview-with-elon-musk
1
•
MASNeo
•
14m ago
•
1 comments
Grok 4.5 is now available in GitHub Copilot
https://github.blog/changelog/2026-07-28-grok-4-5-is-now-available-in-github-copilot/
1
•
smokeeaasd
•
15m ago
•
0 comments
Show HN: Minions Army Harness – Small Version of Claude Tag
https://github.com/baristaGeek/minions-army-harness
2
•
baristaGeek
•
16m ago
•
0 comments
Philly suburb: Sure, build that data center–but first meet our 43 demands
https://arstechnica.com/tech-policy/2026/07/philly-suburb-sure-build-that-data-center-but-first-m...
1
•
cdrnsf
•
16m ago
•
0 comments
Psychology Research Is Mostly Fine
https://www.astralcodexten.com/p/psychology-research-is-mostly-fine
1
•
FrustratedMonky
•
17m ago
•
0 comments
Testing Models
https://testingmodels.com
1
•
handfuloflight
•
17m ago
•
0 comments
OpenAI's rogue agent compromised an account at a second tech firm
https://www.reuters.com/business/openais-rogue-agent-compromised-an-account-second-tech-firm-sour...
2
•
Aboutplants
•
18m ago
•
0 comments
Meta faces higher borrowing costs in latest $12B data centre financing
https://www.ft.com/content/822628c5-4f9c-47db-bd27-f3ad7f841700
1
•
mapping365
•
19m ago
•
1 comments
How Russia's nuclear-powered 'Skyfall' missile works
https://www.npr.org/2026/06/18/nx-s1-5843252/russia-nuclear-powered-missile-burevestnik
1
•
rbanffy
•
20m ago
•
0 comments
Strix: Autonomous Security Platform
https://www.strix.ai/
1
•
handfuloflight
•
23m ago
•
0 comments
Using Gemini to Manage a Farm
https://blog.google/innovation-and-ai/models-and-research/gemini-models/using-gemini-to-manage-farm/
2
•
simonpure
•
28m ago
•
0 comments
Robot Dogs Are a Security Nightmare [video]
https://www.youtube.com/watch?v=lA8WuXDXfcI
1
•
Bender
•
33m ago
•
0 comments
Couple Stalked by eBay Settle for $56M
https://www.nytimes.com/2026/07/28/technology/ebay-settles-stalking-case.html
8
•
xnx
•
35m ago
•
1 comments
The Cipher Behind QSYRUPWD: Reconstructing IBM i Password Hashes
https://blog.silentsignal.eu/2026/07/28/the-cipher-behind-qsyrupwd-reconstructing-ibm-i-password-...
2
•
kencausey
•
35m ago
•
1 comments
FileGRC: Git and file-based SoC 2
https://github.com/Sunpeak-AI/FileGRC
1
•
handfuloflight
•
35m ago
•
0 comments
Pixar's Layoffs Came Days After Receiving a $26M Tax Credit
https://amidamidi.substack.com/p/pixars-layoffs-came-days-after-receiving
5
•
ani_obsessive
•
36m ago
•
0 comments
Load More