fp.
newest
Open in hackernews
Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3 [pdf]
https://assets.amazon.science/77/5e/4a7c238f4ce890efdc325df83263/using-lightweight-formal-methods-to-validate-a-key-value-storage-node-in-amazon-s3-2.pdf
2
•
badcryptobitch
•
1h ago
Costa Rica makes history with strict, nationwide ban on hunting
https://www.thecooldown.com/outdoors/costa-rica-hunting-ban-wildlife-protection/
4
•
thunderbong
•
5m ago
•
1 comments
Fed fake paper to NotebookLM and ask two AI podcast hosts what it means for them
https://lluminate.substack.com/p/the-inevitability-of-love-between
2
•
bmedwar
•
6m ago
•
1 comments
How to Correct the Financial Times at AWS (So Far)
https://www.lastweekinaws.com/blog/2-ways-to-correct-the-financial-times-at-aws-so-far/
3
•
shscs911
•
7m ago
•
0 comments
Identity-first containment for autonomous agent workloads (SPIFFE and Istio lab) [pdf]
https://github.com/computeaholic/threadforge-agent-containment-lab/blob/main/docs/Agent-Containme...
2
•
computeaholic
•
7m ago
•
0 comments
Which AI model is best for Laravel?
https://laravel.com/blog/which-ai-model-is-best-for-laravel
2
•
sawirricardo
•
9m ago
•
0 comments
Agent Talks to Agent
https://medium.com/@yingjunwu/agent-to-agent-communication-is-broken-why-an-email-like-inbox-mode...
3
•
AnneWodell
•
14m ago
•
0 comments
Rotating the Space: On LLMs as a Medium for Thought
https://sbgeoaiphd.github.io/rotating_the_space/
2
•
andruc
•
17m ago
•
0 comments
Vintage FUD: when Microsoft declared WebGL harmful
https://twitter.com/mrdoob/status/2034374035862413592
2
•
bpierre
•
17m ago
•
0 comments
12 years later, Hidden Path releases first DLC for Defense Grid 2
https://store.steampowered.com/app/1080920/Defense_Grid_2__Aftermath/
1
•
HardwareLust
•
19m ago
•
1 comments
Idea Killshot: stress-test your startup idea before the market does
https://hnshah.github.io/idea-killshot/
1
•
oatis-ai
•
20m ago
•
0 comments
Lingua Clanka
https://linguaclanka.com
1
•
jacques_chester
•
25m ago
•
0 comments
Dataset from Anthropic interviewing people on what's AI doing in life
https://gist.github.com/priyanshujain/6c4c06086280f1db65db4416581cc144
1
•
priyanshujain
•
27m ago
•
1 comments
Mave – Improve focus. Reduce stress. Feel calm
https://www.mavehealth.com
1
•
gkcgautam
•
28m ago
•
0 comments
Mastercard acquiring stablecoin startup BVNK in $1.8B crypto bet
https://www.cnbc.com/2026/03/17/mastercard-acquiring-stablecoin-startup-bvnk-in-crypto-bet.html
1
•
lxm
•
29m ago
•
0 comments
We Have Learned Nothing
https://colossus.com/article/we-have-learned-nothing-startup-pundits/
2
•
lukestevens
•
33m ago
•
0 comments
The SDLC Is Dead
https://boristane.com/blog/the-software-development-lifecycle-is-dead/
4
•
appwiz
•
36m ago
•
4 comments
Confer is bringing foundational AI privacy to Meta
https://confer.to/blog/2026/03/encrypted-meta/
2
•
justcommenting
•
37m ago
•
1 comments
Billy.sh – a local AI coding assistant for the terminal
https://github.com/jd4rider/billy-app
2
•
jd4rider
•
38m ago
•
0 comments
Upgrading to Kubernetes 1.35?
https://randomwrites.com/foundations/02-Cgroups-Deep-Dive
1
•
mutahirs
•
42m ago
•
0 comments
US Postal Service expects to run out of cash in a year
https://abc7.com/post/us-postal-service-expects-run-cash-year-help-congress-postmaster-says/18730...
5
•
lxm
•
46m ago
•
1 comments
Why Tech Giants Are Ditching the Power Grid
https://www.nytimes.com/interactive/2026/03/18/business/energy-environment/data-center-energy-gas...
1
•
mmooss
•
47m ago
•
0 comments
I Choose Ruby on Rails in the AI Coding Era
https://jessewaites.com/blog/post/why-i-choose-ruby-on-rails-in-the-ai-coding-era/
1
•
cylo
•
49m ago
•
0 comments
The Robotic Tortoise and the Robotic Hare
https://tomtunguz.com/local-vs-cloud-speed/
1
•
dataminer
•
50m ago
•
0 comments
One Hundred Years in the U.S. Stock Markets
https://papers.ssrn.com/sol3/papers.cfm?abstract_id=6438198
1
•
salkahfi
•
53m ago
•
0 comments
US national debt surges past $39T just weeks into war in Iran
https://apnews.com/article/us-national-deficit-hits-39-million-6ff73495bae701b5c009d3da5515ca3a
6
•
SilverElfin
•
54m ago
•
5 comments
I built a memory AI that talks and learns
https://play.google.com/store/apps/details?id=com.n3xg3n.chatbot&hl=en_US
1
•
bennyv1211
•
55m ago
•
0 comments
Show HN: We built an AI judge for a live hackathon, then red-teamed it
https://basicscandal.github.io/arbiter/
1
•
theoradical
•
55m ago
•
0 comments
Next-Generation Water Satellite Maps Seafloor from Space
https://www.jpl.nasa.gov/news/next-generation-water-satellite-maps-seafloor-from-space/
1
•
thunderbong
•
1h ago
•
0 comments
A sufficiently detailed spec is code
https://haskellforall.com/2026/03/a-sufficiently-detailed-spec-is-code
2
•
signa11
•
1h ago
•
0 comments
Cook: A simple CLI for orchestrating Claude Code
https://rjcorwin.github.io/cook/
25
•
staticvar
•
1h ago
•
5 comments
Load More