fp.
newest
Open in hackernews
Formally Verifying PBS Kids with Lean4
https://www.shadaj.me/writing/cyberchase-lean
6
•
shadaj
•
1h ago
'We don't need a new war': EU's Kallas urges US against bombing Iran
https://www.euractiv.com/news/we-dont-need-a-new-war-eus-kallas-urges-us-against-bombing-iran/
1
•
saubeidl
•
21s ago
•
0 comments
Dumfederated gRPC social network implemented in Rust/Tonic/Diesel
https://github.com/JonLatane/jonline
1
•
mooreds
•
42s ago
•
0 comments
"Talking Eliza" from Tandy was a program for the TRS-80[video]
https://www.youtube.com/watch?v=Vv27CSFUAi0
1
•
oldnetguy
•
55s ago
•
0 comments
DoD ordered to study mental health impacts among military drone pilots
https://www.militarytimes.com/news/your-military/2026/01/30/dod-ordered-to-study-mental-health-im...
1
•
everybodyknows
•
1m ago
•
0 comments
Todd C. Miller – sudo Maintainer for over 30 years
https://www.millert.dev/
1
•
wodniok
•
3m ago
•
1 comments
A Social Network for A.I. Bots Only. No Humans Allowed
https://www.nytimes.com/2026/02/02/technology/moltbook-ai-social-media.html
1
•
pretext
•
3m ago
•
0 comments
To jump on the agent orchestration wagon or not?
https://www.aviator.co/blog/the-rise-of-coding-agent-orchestrators/
1
•
tonkkatonka
•
3m ago
•
1 comments
Analysis of a Roxy Pilot Plant Supporting Early Lunar Mission Architectures
https://www.mdpi.com/2226-4310/13/1/86
1
•
PaulHoule
•
5m ago
•
0 comments
AI is coming for rodeo, the last major U.S. sport untouched by analytics
https://www.axios.com/2026/02/02/rodeo-edge-ai-analytics-data-cowboy-sports
1
•
kayge
•
6m ago
•
0 comments
RFC 9078: Reaction: Indicating Summary Reaction to a Message
https://www.rfc-editor.org/rfc/rfc9078.html
1
•
jy14898
•
6m ago
•
0 comments
The world is trying to log off U.S. tech
https://www.reddit.com/r/technology/s/Dcbe8sQ8bt
2
•
rantingdemon
•
7m ago
•
0 comments
A pan-European API for car number plate lookups
https://www.carregistrationapi.ie/
1
•
mooreds
•
8m ago
•
0 comments
Project Genie [video]
https://www.youtube.com/watch?v=YxkGdX4WIBE
1
•
avonmach
•
8m ago
•
0 comments
Scrolling Alone
https://www.afterbabel.com/p/scrolling-alone
1
•
trevin
•
9m ago
•
0 comments
Moltbook: Hype for Midwits
1
•
cadabrabra
•
9m ago
•
0 comments
AI controls is coming to Firefox
https://blog.mozilla.org/en/firefox/ai-controls/
3
•
ahlCVA
•
9m ago
•
0 comments
How Self-Help Publishing Ate America (2013)
https://nymag.com/health/self-help/2013/self-help-book-publishing/
1
•
sherilm
•
9m ago
•
0 comments
Show HN: Serverless OpenAI Gateway: PII and Cache on Cloudflare Workers
https://github.com/guimaster97/pii-sanitizer-gateway
1
•
guimaster97
•
9m ago
•
1 comments
Designing AI-resistant technical evaluations
https://www.anthropic.com/engineering/AI-resistant-technical-evaluations
1
•
mooreds
•
12m ago
•
0 comments
DETE Data: Ireland 2025 Permits – Talent Flows to Manufacturing and Deep Tech
https://permitwatch.ie/blogs/-OkT_Aj8dZBOo0XwGxFy
2
•
fredthedeve
•
13m ago
•
0 comments
Show HN: Hangryfeed – The Embedded Squad Model for Web3 and AI Growth
https://www.hangryfeed.com/
2
•
KeluAgent
•
13m ago
•
0 comments
The 90% Problem: Why Most Marketers Can't Use Google Tag Manager
https://www.tagcompanion.com/blog/why-most-marketers-cant-use-google-tag-manager/
2
•
ybor
•
13m ago
•
0 comments
AI 2026 Technology Radar
https://www.juxt.pro/ai-radar/
2
•
FelipeCortez
•
14m ago
•
0 comments
The longest possible chess game, and bounds on the number of possible games
https://wismuth.com/chess/longest-game.html
2
•
alexmolas
•
14m ago
•
0 comments
DIY Car Infotainment: synced screens and shared audio for road-trip kids
http://albert-david.blogspot.com/2024/04/diy-in-car-infotainment-using.html
2
•
albert007_d
•
15m ago
•
0 comments
Flakyflash: Salvage flash media having flaky sectors
https://github.com/whitslack/flakyflash
2
•
goodburb
•
15m ago
•
0 comments
PoC is a framework of perverse incentives
https://varoa.net/2026/01/30/poc.html
2
•
srvaroa
•
16m ago
•
0 comments
The New AI Botnet, Powered by OpenClaw
https://saoudkhalifah.com/2026/02/02/the-new-botnet-powered-by-your-personal-ai-assistants
3
•
skd-fs
•
17m ago
•
0 comments
Apple 'runs on Anthropic,' says Mark Gurman
https://9to5mac.com/2026/01/30/apple-runs-on-anthropic-says-mark-gurman/
2
•
SunshineTheCat
•
18m ago
•
0 comments
Show HN: LogSentinel – Local, privacy-first log analyzer (No OpenAI)
https://github.com/lockdoggg/LogSentinel-Local-AI
2
•
aibek_dev
•
19m ago
•
1 comments
Load More