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/
6•hasheddan•47m ago

If xkcd 303 Was Written Today

https://daviesgeek.com/If-xkcd-303-Was-Written-Today
1•daviesgeek•1m ago•0 comments

Notes from PyCon 2026

https://gdelgado.ca/blog/2026-05-18-pycon-2026/
2•g_delgado14•1m ago•0 comments

The Ontology Rabbit Hole

https://haym.me/ontology.html
1•5n•1m ago•0 comments

Learn the tricks. Beat the system. (2009)

https://courses.csail.mit.edu/iap/interview/index.php
1•downbad_•2m ago•0 comments

Linux Sound Subsystem Also Seeing Many Fixes Driven by AI/LLMs

https://www.phoronix.com/news/Linux-7.1-Sound-Many-Fixes
3•dboon•5m ago•0 comments

Ask HN: How does ranking work for Tell HN?

1•theorchid•6m ago•1 comments

Project Glasswing: An Initial Update

https://www.anthropic.com/research/glasswing-initial-update
4•louiereederson•8m ago•1 comments

Show HN: Quit All, an iOS app with an SOS mode for cravings

1•apoorvdarshan•8m ago•1 comments

Fastly Bulk Redirects – An edge-powered redirect engine

https://github.com/Fcuervo21/fastly-bulk-redirects
1•Fcuervo•8m ago•0 comments

Bill C-22, which I Lovingly Refer to as Bill C-an We Not-22

https://technically-good.ca/blog/20260521-bill-can-we-not-22/
1•speckx•9m ago•0 comments

Google Disregard

https://www.google.com/search?q=disregard
1•esher•10m ago•1 comments

Freed Gaza flotilla activists allege Israeli abuse including rape

https://www.reuters.com/world/europe/freed-gaza-flotilla-activists-allege-israeli-abuse-including...
5•therobots927•11m ago•0 comments

Real-time sports betting odds distribution on Fastly's edge stack

https://github.com/dmichael-fastly/fastly-examples-live-betting-fanout
1•dmichael-fastly•12m ago•0 comments

Jensen–Shannon Divergence

https://en.wikipedia.org/wiki/Jensen%E2%80%93Shannon_divergence
2•teleforce•12m ago•0 comments

Waymo expands pause to four cities as robotaxis keep driving into floods

https://techcrunch.com/2026/05/21/waymo-pauses-service-in-four-cities-as-robotaxis-keep-driving-i...
2•Vaslo•14m ago•0 comments

USCIS Will Grant 'Adjustment of Status' Only in Extraordinary Circumstances

https://www.uscis.gov/newsroom/news-releases/us-citizenship-and-immigration-services-will-grant-a...
10•arrowleaf•15m ago•0 comments

Show HN: TC, A minimalistic systems language with 10 keywords (plus types)

https://github.com/alonsovm44/tc-lang
2•alonsovm44•15m ago•1 comments

Show HN: Canonry tracks how AI cites you – agent-first, open source

https://github.com/AINYC/canonry
1•arberx•15m ago•1 comments

TranscendPlexity: 540/540 ARC-AGI-1/2/3, 13 tasks with 0% AI solve rate, solved

https://github.com/GitMonsters/13-Impossible-ARC-Tasks-SOLVED
1•wormsWorld•20m ago•0 comments

"Riot Games divides players after boasting Vanguard can "brick" hardware"

https://www.dexerto.com/gaming/riot-games-divides-players-after-boasting-that-vanguard-anti-cheat...
3•RandomGerm4n•21m ago•0 comments

Measuring Security Without Fooling Ourselves: Why Benchmarking Agents Is Hard

https://arxiv.org/abs/2605.22568
1•Timofeibu•21m ago•0 comments

I Gave My OpenClaw Agent a Physical Body

https://www.wired.com/story/i-gave-my-openclaw-agent-physical-body-robot/
3•baddash•23m ago•0 comments

Gen Z is not booing AI. It is booing its own job market

https://thenextweb.com/news/gen-z-commencement-boos-ai-redundancy-cohort
1•gmays•23m ago•0 comments

Anthropic's "Profitability" Swindle

https://www.wheresyoured.at/anthropics-profitability-swindle/
3•telotortium•24m ago•0 comments

AI #169: New Knowledge

https://thezvi.substack.com/p/ai-169-new-knowledge
1•paulpauper•24m ago•0 comments

Gemini 3.5 Flash Looks Good for How Fast It Is

https://thezvi.substack.com/p/gemini-35-flash-looks-good-for-how
1•paulpauper•24m ago•0 comments

(Mostly) disabling the Cyberduck nag on macOS

https://nyanpasu64.gitlab.io/blog/cyberduck-nag/
1•speckx•26m ago•0 comments

Space Warfare Seems Mostly Defense Dominant

https://www.beren.io/2025-11-22-Space-Warfare-Seems-Mostly-Defense-Dominant/
1•paulpauper•26m ago•0 comments

Anthropic's LIFETIME revenue is only $5B

https://www.reuters.com/commentary/breakingviews/anthropic-gives-lesson-ai-revenue-hallucination-...
2•JCW2001•26m ago•0 comments

Personal wiki app using structured sections instead of Markdown

https://www.smasi.software/en
1•mosroch•28m ago•0 comments