frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

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