frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

A shallow dive into formal verification

https://vitalik.eth.limo/general/2026/05/18/fv.html
3•wslh•57m ago

Shuffle multiple artists' full discographies on Spotify (Chrome extension

https://chromewebstore.google.com/detail/discogmix-multi-artist-sh/oejdmfhdpfpimljokmknjifehccmanko
1•esayli•37s ago•0 comments

The down fall of bug bounties

https://shubs.io/the-down-fall-of-bug-bounties/
1•infosecau•2m ago•0 comments

Vault Pro – AI Scaffolder for Obsidian Project Notes (Node/Claude)

https://checkout.stripe.com/c/pay/cs_live_a1T5cP4xxXFYhY045VE1ui9fm1NJj0ACL1umdUosCWtXUSR8CKrdNPs...
1•bshelby88•3m ago•0 comments

Living 35 ft underground: inside a preserved Titan II nuclear missile silo

https://www.youtube.com/watch?v=rSFSnOBYlbM
1•bane•7m ago•0 comments

An Overview of the Mathematical Theory of Communication for Philosophers [pdf]

https://theinformationalturn.net/wp-content/uploads/2012/03/MTC_overview.pdf
2•teleforce•7m ago•0 comments

Baseball is learning to live with shorter attention spans

https://www.ft.com/content/f499089d-a104-44ad-9773-1ef31715afae
2•petethomas•8m ago•0 comments

People who use ChatGPT for writing are accurate detectors of AI text (2025)

https://arxiv.org/abs/2501.15654
1•lexandstuff•10m ago•0 comments

Can AI just replace me already? – A comparative AI-writing ID experiment

https://www.richardhanania.com/p/can-ai-replace-me-already
1•botacode•12m ago•0 comments

OpenBSD/zaurus: pocket-sized BSD

http://miod.online.fr/software/openbsd/stories/zaurus2.html
1•uticus•17m ago•1 comments

US Joint Forces Command Millennium Challenge 2002: Experiment Report [pdf]

https://www.esd.whs.mil/Portals/54/Documents/FOID/Reading%20Room/Joint_Staff/12-F-0344-Millennium...
1•KnuthIsGod•18m ago•0 comments

War Game Exposed U.S. Vulnerability to Low-Tech Warfare

https://nsarchive.gwu.edu/news/2024-11-01/rigged-war-game-exposed-us-vulnerability-low-tech-warfare
2•KnuthIsGod•22m ago•2 comments

Bluesky Radio – Hosted by Opus 4.7

https://bskyrad.io/
2•wilted-iris•25m ago•0 comments

Data centers raise nearby temperatures by up to 4 degrees in Phoenix

https://techxplore.com/news/2026-05-centers-nearby-temperatures-degrees-phoenix.html
3•limitedfrom•30m ago•1 comments

My First Game, Shadow Dungeon (Procedural Roguelike)

https://dynaq.itch.io/shadow-dungeon
3•mik09•35m ago•0 comments

Ball Simulator in Python Made with Claude

https://github.com/simin75simin/ball-sandbox
2•mik09•39m ago•1 comments

Google's Own AI Researchers Jockey for Access to Its Computing

https://www.bloomberg.com/news/articles/2026-05-18/google-s-own-ai-researchers-jockey-for-access-...
2•osnium123•46m ago•0 comments

Have I Been Pwned: Colombian fintech company leaks 34.5M accounts in March 2026

https://haveibeenpwned.com/Breach/ADDI
3•guessmyname•48m ago•0 comments

Do Androids Dream of Your Electric Life?

https://medium.com/@vektormemory/do-androids-dream-of-your-electric-life-4c2c439ab0aa
2•vektormemory•50m ago•0 comments

Language Registries Are Unstable by Default

https://nesbitt.io/2026/05/15/language-registries-are-unstable-by-default.html
2•pabs3•53m ago•0 comments

Retrospective on DDIA

https://www.khola.blog/p/designing-data-intensive-applications
2•bcapchickadee•54m ago•0 comments

The American Rebellion Against AI Is Gaining Steam

https://www.wsj.com/tech/ai/the-american-rebellion-against-ai-is-gaining-steam-94b72529
13•JaakkoP•55m ago•3 comments

New features in GCC 16: Improved error messages and SARIF output

https://developers.redhat.com/articles/2026/04/28/gcc-16-improved-error-messages-sarif-output
2•siteshwar•56m ago•0 comments

A shallow dive into formal verification

https://vitalik.eth.limo/general/2026/05/18/fv.html
3•wslh•57m ago•0 comments

Reverse Lookup and AI-Powered Osint

https://sherlockeye.io/
2•mrzenodd•1h ago•0 comments

The Coming Food Crisis in South Asia

https://thediplomat.com/2026/05/the-coming-food-crisis-in-south-asia/
5•panny•1h ago•0 comments

The last six months in LLMs in five minutes

https://simonwillison.net/2026/May/19/5-minute-llms/
6•yakkomajuri•1h ago•0 comments

Surface owner loses their limited 50th Anniversary edition after a repair swap

https://www.windowscentral.com/hardware/surface/this-surface-owner-lost-their-limited-50th-annive...
3•Oblivion8442•1h ago•0 comments

Nitsum: Serving Tiered LLM Requests with Adaptive Tensor Parallelism

https://mlsys.wuklab.io/posts/nitsum/
2•matt_d•1h ago•0 comments

SuperInfer: SLO-Aware Rotary Scheduling and Memory Management for LLM Inference

https://supercomputing-system-ai-lab.github.io/projects/superinfer/
2•matt_d•1h ago•0 comments

What can a local model do for you in early May 2026?

https://manichord.com/blog/posts/what-can-local-model-do-in-may-2026
3•mkss•1h ago•1 comments