frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Achieving CVE Remediation in an Era of Escalating Vulnerabilities with Nix

https://flox.dev/blog/achieving-rapid-cve-remediation-in-an-era-of-escalating-vulnerabilities/
1•ronef•1h ago

Comments

ronef•1h ago
Ron from Flox here. We recently wrote this piece on how Nix can address the emerging CVE remediation problem. We are curious to hear any feedback on our approach.

Trump SEC lets Musk settle $150M Twitter lawsuit for $1.5M

https://arstechnica.com/tech-policy/2026/05/trump-sec-lets-musk-settle-150-million-twitter-lawsui...
1•AdmiralAsshat•21s ago•0 comments

Some surprising facts about nightlights data

https://www.spatialedge.co/p/some-surprising-facts-about-nightlights
1•marklit•46s ago•0 comments

Mikan: a proof assistant for cubical type theory (forked from Agda)

https://mathstodon.xyz/@jonmsterling/116522692709243649
1•baruchel•56s ago•0 comments

ProgramBench: Can Language Models Rebuild Programs from Scratch?

https://github.com/facebookresearch/ProgramBench
1•fittingopposite•1m ago•0 comments

The Pulse: 'Tokenmaxxing' as a weird new trend

https://blog.pragmaticengineer.com/the-pulse-tokenmaxxing-as-a-weird-new-trend/
1•Gedxx•1m ago•0 comments

Kagi's Orion browser hits public beta on Linux

https://www.omgubuntu.co.uk/2026/03/orion-for-linux-beta-release
1•bwoah•1m ago•1 comments

My 1B tokens/day Symphony setup

https://www.alessiofanelli.com/posts/my-1b-tokens-day-openai-symphony-setup/
1•FanaHOVA•1m ago•0 comments

Buy and Sell Monero – Cash. Crypto. P2P

https://retoswap.com
1•Cider9986•1m ago•0 comments

Deepfakes Are Coming for Your Bank Account

https://www.theatlantic.com/technology/2026/05/chatgpt-images-deepfakes-fraud/687023/
1•bookofjoe•1m ago•1 comments

Easy Random Trees

https://blog.wilsonb.com/posts/2026-02-27-easy-random-trees.html
1•aebtebeten•3m ago•0 comments

Hardware-Backed Security Using WolfTPM with SPDM

https://www.wolfssl.com/hardware-backed-security-using-wolftpm-with-spdm/
1•aidangarske•3m ago•0 comments

Ask HN: Best/Easiest way to host Rust with PostgreSQL?

2•dnh44•4m ago•0 comments

Post Office acknowledges ECCO+ user's calls for help three decades ago

https://www.computerweekly.com/news/366642657/Post-Office-acknowledges-ECCO-users-calls-for-help-...
1•latein•7m ago•0 comments

May the Focus Be with You

https://tantek.com/2026/124/b1/may-the-focus-be-with-you-iphone-grayscale
1•speckx•7m ago•0 comments

Show HN: WolfCOSE, a zero alloc C COSE with multi-sign/recipient, and PQC

https://github.com/aidangarske/wolfCOSE
1•aidangarske•8m ago•0 comments

Why airlines are always going bankrupt

https://davidoks.blog/p/why-airlines-are-always-going-bankrupt
1•bko•8m ago•0 comments

Show HN: Typesync, schema-first Firestore tooling that now validates stored data

https://github.com/kafkas/typesync
3•anarkafkas•9m ago•0 comments

GPT‑5.5 Instant

https://openai.com/index/gpt-5-5-instant/
6•meetpateltech•9m ago•0 comments

The Download: inside the Musk vs. Altman trial, and AI for democracy

https://www.technologyreview.com/2026/05/05/1136848/the-download-musk-openai-altman-trial-ai-demo...
1•joozio•9m ago•0 comments

Software Has a CAC Now

https://www.edge.ceo/p/software-has-a-cac-now
1•rwaliany•11m ago•0 comments

Single dose of psylocibin can cause anatomical brain changes, study finds

https://www.theguardian.com/science/2026/may/05/magic-mushrooms-psychedelic-changes-brain-anatomy...
4•bookofjoe•12m ago•0 comments

Mathematicians in the Age of AI

https://arxiv.org/abs/2603.03684
2•lostathome•12m ago•0 comments

Pennsylvania sues Character AI, says chatbot poses as doctors

https://www.reuters.com/legal/litigation/pennsylvania-sues-character-ai-says-chatbot-poses-doctor...
2•randycupertino•12m ago•1 comments

Spear: The Management Framework for AI

https://www.edge.ceo/p/introducing-spear-the-management
1•rwaliany•13m ago•0 comments

Alan Moore: 'The comics industry is poisonous'

https://observer.co.uk/culture/interviews/article/alan-moore-the-comics-industry-is-poisonous
1•Tomte•14m ago•0 comments

Bluesky is the new science Twitter

https://bsky.app/profile/katharinehayhoe.com/post/3merjfvirak22
1•rzk•14m ago•0 comments

Using AI to analyze the conversational dynamics of comments sections

https://opennotes.ai/blog/same-policy-three-comment-sections
2•anateus•15m ago•0 comments

Disney Debt

https://www.manton.org/2026/05/05/disney-debt.html
1•speckx•15m ago•0 comments

Kill SWITCH AGENDA: You'll own your car – until the government AI says you don't

https://www.theblaze.com/align/kill-switch-agenda-youll-own-your-car-until-the-governments-ai-say...
1•bilsbie•16m ago•0 comments

Am I an LLM?

https://www.arturonereu.com/articles/am-i-an-llm/
3•ArturoNereu•16m ago•0 comments