frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Theorem proving as a (brain tumor) therapy/distraction

https://orcid.org/0000-0002-4206-3283
1•fredokun•1h ago

Comments

fredokun•1h ago
I am a computer scientist with glioblastoma. Thanks to innovative treatments (shoutout: Optune) and wonderful family and academic environments, I pursue my happy teaching/research/hacking/theorem-proving adventure.

Watch the Moment When the Wreck of the Titanic Was First Discovered (1985)

https://www.openculture.com/2026/05/watch-the-moment-when-the-wreck-of-the-titanic-was-first-disc...
1•Brajeshwar•21s ago•0 comments

Meta AI introduces private confidential-compute backed Incognito Chats

https://about.fb.com/news/2026/05/incognito-chat-whatsapp-meta-ai/
1•brianmcnulty•26s ago•0 comments

CN Diagrams: Architecture Diagrams That Scale with Your System

https://www.chiply.dev/post-cn-diagrams
1•chiply•1m ago•1 comments

Elon Musk and Jensen Huang Among CEOs Joining Trump on China Trip

https://www.bbc.com/news/articles/c5yx757w048o
1•Markoff•1m ago•0 comments

Open Source Resistance: keep OSS alive on company time

https://ossresistance.com/
1•mikemcquaid•1m ago•0 comments

CUDA Proves Nvidia Is a Software Company

https://www.wired.com/story/cuda-proves-nvidia-is-a-software-company/
1•bookofjoe•2m ago•1 comments

Economy Wholesale inflation jumps 6% in April

https://www.cnbc.com/2026/05/13/ppi-inflation-report-april-2026-.html
1•tcp_handshaker•2m ago•0 comments

Security Advisory YSA-2026-02 – webauthn-server-core User Impersonation

https://www.yubico.com/support/security-advisories/ysa-2026-02/
2•yread•2m ago•0 comments

Steam Controller does Wilhelm scream when dropped

https://old.reddit.com/r/pcmasterrace/comments/1tbmco7/apparently_the_new_steam_controller_someti...
1•6581•3m ago•0 comments

The Nearly Mile-Wide Diamond Mine That Helped Build the Soviet Union (2014)

https://gizmodo.com/the-nearly-mile-wide-diamond-mine-that-helped-build-the-1593234924
1•downbad_•3m ago•0 comments

Scherlok – zero-config data quality monitoring, works with dbt

https://github.com/rbmuller/scherlok
1•rbmuller•3m ago•1 comments

ShieldRegime – A physics-inspired financial market anomaly detector in Python

https://github.com/VL-mwb/shield-regime
1•VLmwb•4m ago•0 comments

Hydrogen jukeboxes: on the crammed poetics of "creative writing" LLMs

https://www.tumblr.com/nostalgebraist/778041178124926976/hydrogen-jukeboxes
2•simonebrunozzi•4m ago•0 comments

The limits of Rust, or why you should probably not follow Amazon and Cloudflare

https://kerkour.com/the-limits-of-rust
2•randomint64•5m ago•0 comments

Anthropic Was Behind. Now It's the AI Boom's Front-Runner

https://www.wsj.com/tech/ai/anthropic-was-behind-now-its-the-ai-booms-front-runner-5020f621
1•megacorp•6m ago•0 comments

I have started a new startup

https://dennisy.me/notes/i-have-finally-started-a-new-startup
1•dennisy•6m ago•0 comments

How the world has avoided an oil catastrophe so far

https://www.economist.com/finance-and-economics/2026/05/12/how-the-world-has-avoided-an-oil-catas...
1•bookofjoe•7m ago•1 comments

Clawpatrol

https://clawpatrol.dev/
1•carlos-menezes•8m ago•0 comments

What Is a Business Agent?

https://jitera.com/blog/business-agents/
1•jitera•10m ago•1 comments

Circ, a DSL for digital circuits with self-rendering ASCII schematics

https://circ-lang.org/
2•jeffersonmourak•11m ago•0 comments

CyberSecQwen-4B: Why Defensive Cyber Needs Small, Specialized, Local Models

https://huggingface.co/blog/lablab-ai-amd-developer-hackathon/cybersecqwen-4b
1•gmays•12m ago•0 comments

The AI Land Grab Looks Familiar

https://www.boot.dev/blog/news/ai-land-grab-looks-familiar/
1•speckx•13m ago•0 comments

Show HN: Splice – A programming language with custom VM for embedded systems

https://github.com/Open-Splice/Splice
1•amitabhi•13m ago•0 comments

Could this be the moment that drug manufacturing takes off in orbit?

https://arstechnica.com/space/2026/05/varda-signs-deal-with-major-us-pharma-firm-to-develop-drugs...
1•Brajeshwar•13m ago•0 comments

Show HN: Mainline – a project tool with no backlog, story points or surveillance

https://mainline.dev/demo
2•natyoung•14m ago•0 comments

Want to add my new post

1•foammolders•15m ago•0 comments

'Click clotting' stops bleeding fast and could transform emergency care

https://medicalxpress.com/news/2026-04-click-clotting-fast-emergency.html
1•PaulHoule•15m ago•0 comments

Argo CD Mobile

https://apps.apple.com/us/app/argo-cd/id6766354032
1•gpi•15m ago•0 comments

No Flying Cars Yet

https://yourcolumnist.substack.com/p/no-flying-cars-yet
1•ddmichael•16m ago•0 comments

A proposed standard for governing autonomous AI deployment

https://ica-manual.netlify.app/standard/
1•shaneschreck•17m ago•0 comments