frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

QED in Context: An Observation Study of Proof Assistant Users [pdf]

https://andrewhead.info/assets/pdf/qed-in-context.pdf
1•azhenley•1h ago

Anthropic says it will challenge Pentagon supply chain risk designation in court

https://www.reuters.com/world/us/anthropic-says-it-will-challenge-pentagons-supply-chain-risk-des...
1•Jimmc414•41s ago•0 comments

The Mini PET 40/80 (2022)

http://blog.tynemouthsoftware.co.uk/2022/02/the-mini-pet-4080.html
1•erickhill•1m ago•0 comments

Sam Altman's 'Human Verification' Startup Leans on Consumer Brands

https://www.wsj.com/cmo-today/sam-altmans-human-verification-startup-leans-on-consumer-brands-787...
1•petethomas•6m ago•0 comments

Approximation Game

https://lcamtuf.substack.com/p/approximation-game
1•surprisetalk•7m ago•0 comments

Outbreak panic erupts as deadly eye-bleeding virus ground zero exposed on camera

https://www.dailymail.co.uk/sciencetech/article-15596769/marburg-virus-bats-uganda-cave.html
1•Bender•8m ago•0 comments

Open Rails

https://www.openrails.org/
1•xattt•8m ago•0 comments

Show HN: Testing SQL logic without a real database

1•chrisulson•14m ago•1 comments

DIY Ion-Exchange Membranes from Hardware Store Items [video]

https://www.youtube.com/watch?v=luulTI1RKHE
1•ycnews•22m ago•0 comments

Show HN: AxKeyStore – Zero-trust CLI secrets manager using your own GitHub repo

https://github.com/basilgregory/axkeystore
1•robin_a_p•30m ago•0 comments

Trapped in MS Office

https://ia.net/topics/trapped-in-ms-office
1•DASD•32m ago•1 comments

Show HN: Meet Alfonso: My OpenClaw Put on Public Discord

https://www.openclawdiscord.ai/
3•saroyas•33m ago•2 comments

Show HN: Adversarial AI agents that debate and verify travel itineraries

1•hellomarshmall•34m ago•0 comments

CISA replaces acting director after a bumbling year on the job

https://techcrunch.com/2026/02/27/cisa-replaces-acting-director-gottumukkala-after-a-bumbling-yea...
2•jnord•35m ago•0 comments

Show HN: Yoagent – Build a coding agent CLI in 260 lines of Rust

https://github.com/yologdev/yoagent
2•liyuanhao•39m ago•1 comments

How I Built a 'Journalist' AI Agent in VS Code to Replace Me

https://visualstudiomagazine.com/articles/2026/02/27/how-i-built-a-journalist-agent-in-vs-code-to...
1•daram•41m ago•1 comments

Ollama 0.17 ships native OpenClaw integration – security implications

https://clawmoat.com/blog/ollama-openclaw-security.html
1•ildar•43m ago•0 comments

The Air Force's new ICBM is nearly ready to fly, but there's nowhere to put it

https://arstechnica.com/space/2026/02/the-air-forces-new-icbm-is-nearly-ready-to-fly-but-theres-n...
3•duxup•45m ago•0 comments

Why Tehran's Two-Tiered Internet Is So Dangerous

https://www.schneier.com/blog/archives/2026/02/why-tehrans-two-tiered-internet-is-so-dangerous.html
1•pabs3•51m ago•0 comments

Show HN: DiskFree – Find what's blocking your macOS disk and eject it

https://getdiskfree.github.io/diskfree/
1•ofc-tahaabbasi•56m ago•1 comments

Skip drip emails when recipient has replied in Gmail

1•nishiohiroshi•58m ago•0 comments

California vet clinic warns of AI scam targeting lost dogs

https://ktla.com/news/california/lost-dog-ai-scam-fresno/
2•Bender•59m ago•0 comments

Externalizing Developers' Intuition as Code

https://github.com/elbanic/dev-sentinel
2•elbanic•59m ago•1 comments

Synchronized MIMD Computing [pdf]

https://people.csail.mit.edu/bradley/papers/Kuszmaul94.pdf
1•luu•1h ago•0 comments

Ask HN: Which nickname will President Trump choose for Claude?

3•thomassmith65•1h ago•1 comments

LXD 6.7 Released with AMD GPU Passthrough Support

https://www.phoronix.com/news/LXD-6.7-Released
4•Bender•1h ago•0 comments

Edge Case Poisoning

https://buttondown.com/hillelwayne/archive/edge-case-poisoning/
1•azhenley•1h ago•0 comments

Gnome GitLab Redirecting Some Git Traffic to GitHub for Reducing Costs

https://www.phoronix.com/news/GNOME-GitHub-GitLab-Redirect
2•Bender•1h ago•0 comments

Federal panel behind cancer screening recommendations hasn't met in one year

https://www.nbcnews.com/health/health-news/federal-panel-cancer-screening-recommendations-hasnt-m...
6•brandonb•1h ago•0 comments

Programmers on the Verge of Extinction

https://stevedylan.dev/posts/programmers-on-the-verge-of-extinction/
2•stevedsimkins•1h ago•0 comments

$500K exit approved for Bay Area CEO days before harassment findings surface

https://www.sfgate.com/bayarea/article/exit-bay-area-ceo-harassment-21943048.php
8•randycupertino•1h ago•2 comments