frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Point AI at a "Proven" Microkernel?

3•RantyDave•2h 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?

Comments

atechboy•36m ago
I'd be curious to see what it produces. Thanks for bringing it up!

Robotics development made dead simple (open source)

12•Ekami•2d ago•5 comments

Apple please cache my music

2•zirkuswurstikus•51m ago•0 comments

Ask HN: Crooked Timber showed showed me a virus captcha, What now?

41•Jgoauh•9h ago•45 comments

Point AI at a "Proven" Microkernel?

3•RantyDave•2h ago•1 comments

Ask HN: Semi lucrative careers after tech?

11•hnthrow10282910•3h ago•3 comments

Ask HN: Can't we think out of the box to kill the tumor?

3•kinj28•5h ago•2 comments

Repurpose Video Content in Text

2•cristyg0101•3h ago•1 comments

Ask HN: Sectors that are inherently resistant to AI-ification?

3•player_piano•4h ago•1 comments

Competitors have more analysts. They should not know more than you

2•Shmungus•4h ago•0 comments

Tell HN: Our paid Claude AI subscription unavailable >1 week and no support

43•KellyCriterion•15h ago•21 comments

Ask HN: I lost any interest in technology. What do I do?

10•fnoef•4h ago•12 comments

Why I prefer Opus 5 to Fable 5

20•novlrdotcom•12h ago•11 comments

Ask HN: How do you use Copilot in the CLI, App, and IDE?

4•EspressoGPT•9h ago•1 comments

SOTA on the hardest AI memory benchmark (BEAM, 10M tokens), with a smaller model

2•johnnymakes•8h ago•3 comments

Ask HN: How do you audit your app for compliance?

3•Luxter•8h ago•0 comments

BMWs shows in-car ads for Spiderman

37•bigmattystyles•1d ago•17 comments

Unacceptably terrible support from Claude Services

2•Madmallard•44m ago•0 comments

Ask HN: How to rewrite `Claude.md` and install the skill for Opus5 and Fable5

5•hyhmrright•17h ago•6 comments

Can anti-fraud make large-scale attacks unprofitable?

3•jezzwar•12h ago•1 comments

Internet is no longer accessible?

43•cute_boi•21h ago•24 comments

Ask HN: If you left tech, what would you do next?

3•andrewstetsenko•5h ago•1 comments

Ask HN: Thoughts on AMD Ryzen AI MAX+ 395 for Local AI?

2•mempirate•13h ago•3 comments

Ask HN: Is there legal risk in AI memory?

2•sarjann•13h ago•1 comments

Ask HN: How to deal with security implications of running/installing projects?

12•johng•1d ago•11 comments

Ask HN: What do you use local models for?

3•tjomk•15h ago•2 comments

Goodbye POSIX, Hello Tea Room: Inside MinervaOS Architecture

10•xentnex•1d ago•6 comments

Ask HN: Why is every company encorporating AI everywhere?

24•vanessa1211•1d ago•39 comments

Ask HN: What are the most promising RL fields for a new master student?

34•zecice•2d ago•14 comments

You've reached the end!