fp.
newest
Open in hackernews
Functional Programming in Lean
https://leanprover.github.io/functional_programming_in_lean/
2
•
tosh
•
56m ago
Dog shoots woman with shotgun at Nebraska convenience store
https://www.theguardian.com/us-news/2026/may/26/dog-shotgun-nebraska-convenience-store
1
•
dwa3592
•
3m ago
•
0 comments
Breaking Bot: Hacking and Defending LLM-Based Applications
https://www.szia.ai/post/hacking-ai-how-people-break-llms
1
•
mszel
•
4m ago
•
0 comments
Sonny Rollins Is Dead
https://www.nytimes.com/2026/05/25/arts/music/sonny-rollins-dead.html
1
•
diwank
•
5m ago
•
0 comments
Show HN: MCPs aren't enough, give Codex/Claude accurate memory of everything
https://timeglass.ai
3
•
midas
•
5m ago
•
0 comments
Maybe Programmers are Just Bad [video]
https://www.youtube.com/watch?v=qqUgl6pFx8Q
1
•
tosh
•
7m ago
•
0 comments
Sometimes, the Best Way to Explore a Landscape Is to Sit Down
https://www.nytimes.com/2026/05/26/realestate/gardening-madoo-sagaponack-bob-dash.html
1
•
mooreds
•
8m ago
•
0 comments
Quest: Training Frontier Deep Research Agents with Synthetic Tasks
https://arxiv.org/abs/2605.24218
2
•
Brajeshwar
•
8m ago
•
0 comments
Fifty years of 'More is different (2022)
https://ora.ox.ac.uk/objects/uuid:b009809d-be1d-4bb6-9cf8-2380124fb7e6
1
•
cratermoon
•
8m ago
•
0 comments
Investigation update: GitHub Enterprise Server signing key rotation
https://github.blog/security/investigating-unauthorized-access-to-githubs-internal-repositories/
1
•
brianmcnulty
•
9m ago
•
0 comments
Flipper Zero Can Detect Flock Cameras
https://old.reddit.com/r/TikTokCringe/comments/1to4xfh/dystopia_speed_run/
1
•
skadamat
•
9m ago
•
0 comments
Aperion Shield v0.7 – guardrails for AI coding agents now run as Git hooks
https://github.com/AperionAI/shield/releases/tag/shield-v0.7.0
1
•
ScottAperion
•
11m ago
•
0 comments
Co-Dfns versus BQN's Implementation
https://mlochbaum.github.io/BQN/implementation/codfns.html
1
•
tosh
•
13m ago
•
0 comments
We Can Do Hard Things
https://allenpike.com/2026/we-can-do-hard-things/
1
•
surprisetalk
•
13m ago
•
0 comments
An MCP server that gives agents a sandboxed Lisp REPL
https://andreasronge.github.io/ptc_runner/the-right-tool-for-code-mode.html
1
•
andreasronge
•
13m ago
•
1 comments
Avoid Using "< [Cdata[ ]]>" in RSS
https://waspdev.com/articles/2026-05-11/avoid-using-cdata-in-rss
1
•
surprisetalk
•
14m ago
•
0 comments
Show HN: Fono – dictation/assistant for Linux in one Rust binary
https://github.com/bogdanr/fono
1
•
bogdan_r
•
14m ago
•
1 comments
In a city of high-rises, 'cardboard grannies' collect waste for cash
https://www.cnn.com/2026/05/23/china/hong-kong-cardboard-grannies-intl-hnk
1
•
mooreds
•
15m ago
•
0 comments
AI Is Taking over the Most Cursed Job in the World
https://www.wired.com/story/ai-takes-over-debt-collection/
2
•
srameshc
•
17m ago
•
0 comments
AI Startup Says It Will Pay People $2k a Month to Masturbate
https://decrypt.co/368866/ai-startup-pay-people-2000-month-masturbate
5
•
ajay-d
•
19m ago
•
0 comments
I Rebuilt the 1997 Ultima Online Client from Scratch So a Bot Can Play It
https://github.com/xrip/uo-client
1
•
xrip
•
20m ago
•
0 comments
A Practical MS‑DOS Problem Contributed to C++
https://freshsources.com/blog/files/0efc66caabe2cb443a6acae6aca0f707-0.html
3
•
pjmlp
•
20m ago
•
0 comments
Fail or Not? Unrealistic Game
https://pdfearn.blogspot.com/
1
•
iLzKiiSG
•
20m ago
•
0 comments
The Asymptote of Intent
https://beforetheprompt.substack.com/p/the-asymptote-of-intent
2
•
marcuscog
•
22m ago
•
0 comments
NimbleRx Acquired by Swoop
https://swoop.com/blog/swoop-acquires-nimble-adding-prescription-fulfillment-and-pharmacy-connect...
2
•
zelias
•
23m ago
•
0 comments
MCP: Security Design Considerations for AI-Driven Automation by NSA [pdf]
https://www.nsa.gov/Portals/75/documents/Cybersecurity/CSI_MCP_SECURITY.pdf
1
•
myworkaccount2
•
24m ago
•
0 comments
FIFA World Cup turns up gentrification pressures in Mexico City, say experts
https://www.cbc.ca/news/world/mexico-gentrification-fifa-9.7200235
1
•
simojo
•
25m ago
•
0 comments
As Trump Politicizes Justice Dept., Prosecutors Struggle with Grand Juries
https://www.nytimes.com/2026/05/26/us/politics/trump-justice-department-grand-juries.html
2
•
duxup
•
25m ago
•
1 comments
Iana-Data
https://github.com/case/iana-data/
1
•
mooreds
•
27m ago
•
0 comments
A Chinese Peasant's Italian Roots (2001)
https://www.latimes.com/archives/la-xpm-2001-dec-23-mn-17560-story.html
1
•
thunderbong
•
27m ago
•
0 comments
The Causal Effect of Income Is (Often) Zero
https://www.maximum-progress.com/p/the-causal-effect-of-income-is-often
2
•
surprisetalk
•
28m ago
•
0 comments
Load More