fp.
newest
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
Load More