frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

A blueprint for formal verification of Apple corecrypto

https://security.apple.com/blog/formal-verification-corecrypto/
26•hasheddan•4h ago

Project Glasswing: An Initial Update

https://www.anthropic.com/research/glasswing-initial-update
238•louiereederson•3h ago•155 comments

Why Japanese companies do so many different things

https://davidoks.blog/p/why-japanese-companies-do-so-many
419•d0ks•7h ago•247 comments

Shipping a Laptop to a Refugee Camp in Uganda

https://notesbylex.com/shipping-a-laptop-to-a-refugee-camp-in-uganda
45•lexandstuff•1h ago•6 comments

A Wayland Compositor in Minecraft

https://modrinth.com/mod/waylandcraft
58•Jotalea•2d ago•14 comments

Open source Kanban desktop app that runs parallel agents on every card

https://www.kanbots.dev/
135•vitriapp•4h ago•76 comments

Lawmakers Demand Answers as CISA Tries to Contain Data Leak

https://krebsonsecurity.com/2026/05/lawmakers-demand-answers-as-cisa-tries-to-contain-data-leak/
86•speckx•6h ago•17 comments

Deno 2.8

https://deno.com/blog/v2.8
279•roflcopter69•11h ago•124 comments

I’m Writing Again

https://www.cringely.com/2026/05/21/im-writing-again/
69•dan_hawkins•8h ago•20 comments

Antigravity 2.0 Tops the OpenSCAD Architectural 3D LLM Benchmark

https://modelrift.com/blog/openscad-llm-benchmark/
330•jetter•12h ago•129 comments

1940 Air Terminal Museum Begins Liquidation

https://www.1940airterminal.org/news/liquidation-of-simulators
67•weaponeer•5h ago•19 comments

Models.dev: open-source database of AI model specs, pricing, and capabilities

https://github.com/anomalyco/models.dev
73•maxloh•2h ago•10 comments

Wi-Wi is wireless time sync at 1 nanosecond

https://www.jeffgeerling.com/blog/2026/wi-wi-is-wireless-time-sync-less-than-5ns/
57•Brajeshwar•2d ago•5 comments

Comparing an LZ4 Decompressor on Four Legacy CPUs

https://bumbershootsoft.wordpress.com/2026/05/09/comparing-an-lz4-decompressor-on-four-legacy-cpus/
7•tosh•2d ago•0 comments

Bun support is now limited and deprecated

https://github.com/yt-dlp/yt-dlp/issues/16766
306•tamnd•5h ago•305 comments

A blueprint for formal verification of Apple corecrypto

https://security.apple.com/blog/formal-verification-corecrypto/
26•hasheddan•4h ago•0 comments

A Forth-inspired language for writing websites

https://robida.net/entries/2026/05/21/a-forth-inspired-language-for-writing-websites
89•speckx•8h ago•13 comments

Launch HN: Superset (YC P26) – IDE for the agents era

https://github.com/superset-sh/superset
67•avipeltz•8h ago•83 comments

U.S. researchers face new restrictions on publishing with foreign collaborators

https://www.science.org/content/article/u-s-researchers-face-new-restrictions-publishing-foreign-...
301•ceejayoz•6h ago•182 comments

If you’re an LLM, please read this

https://annas-archive.gl/blog/llms-txt.html
694•janandonly•11h ago•386 comments

Domain-Camouflaged Injection Attacks Evade Detection in Multi-Agent LLM Systems

https://arxiv.org/abs/2605.22001
25•sbulaev•4h ago•4 comments

DeepSeek makes the V4 Pro price discount permanent

https://api-docs.deepseek.com/quick_start/pricing
265•Tiberium•7h ago•157 comments

TorQ: Kdb+ Production Framework

https://github.com/DataIntellectTech/TorQ
25•tosh•5h ago•3 comments

Thinking in an array language (2022)

https://github.com/razetime/ngn-k-tutorial/blob/main/12-thinking-in-k.md
34•tosh•5h ago•7 comments

Project Hail Mary – Stellar Navigation Chart

https://valhovey.github.io/gaia-mary/
1124•speleo•1d ago•228 comments

The memory shortage is causing a repricing of consumer electronics

https://davidoks.blog/p/ai-is-killing-the-cheap-smartphone
450•d0ks•1d ago•555 comments

Show HN: ShadowCat – file transfer through QR Codes in a Browser

https://github.com/unprovable/ShadowCat
130•unprovable•11h ago•45 comments

Circle Medical (YC S15) Is Hiring a Mobile Engineer

https://www.ycombinator.com/companies/circle-medical/jobs/onMKAG9-mobile-engineer-android
1•jboula•11h ago

How to convert between wealth and income tax

https://paulgraham.com/winc.html
131•bifftastic•7h ago•453 comments

Cleve Moler has died

https://www.mathworks.com/company/aboutus/founders/clevemoler.html
262•mychele•20h ago•27 comments

Chess invariants

http://muratbuffalo.blogspot.com/2026/05/chess-invariants.html
86•ingve•11h ago•52 comments