fp.

"Cancelling Async Rust" – RustConf 2025

https://www.youtube.com/watch?v=zrv5Cy1R7r4

1•tcp_handshaker•4m ago•0 comments

Building Kiteshield: A journey from prototype to safety-critical

https://www.youtube.com/watch?v=6YGghlVOXlE

1•tcp_handshaker•8m ago•0 comments

Using LLM in the shebang line of a script

https://til.simonwillison.net/llms/llm-shebang

1•dnw•9m ago•0 comments

Reanimation of the First Automatic Theorem Prover (From 1956)

https://github.com/dmoews/logic-theorist

1•abrax3141•18m ago•1 comments

Show HN: Gremlin

https://github.com/aosmith/gremlin

1•aosmith•27m ago•0 comments

Zero-native – Build native desktop apps with web UI

https://zero-native.dev

2•gedy•28m ago•0 comments

Revisiting "No Silver Bullets" in the Age of AI

https://newsletter.pragmaticengineer.com/p/revisiting-no-silver-bullets-in-the

1•perpetua•29m ago•1 comments

Filmeon: Physically grounded, color-managed inversion for negative film scans

https://filmeon.app/

1•alibosworth•34m ago•0 comments

Cloud Latency Map – Latency Changes by City

https://clm.kentik.com/

2•embedding-shape•37m ago•0 comments

Ask HN: Is your kids Alexa now have conversational AI?

1•stevenhubertron•37m ago•0 comments

Show HN: Mp4 or mov to detailed design spec MCP

https://github.com/Meliwat/spectr

1•Meliwat93•37m ago•0 comments

Obsidian Community

https://community.obsidian.md/

1•hisamafahri•42m ago•0 comments

Zig vs. Rust, agentic coding, and intellectual control [video]

https://www.youtube.com/watch?v=urMV1JKbIxs

2•alibosworth•42m ago•0 comments

AI agents can self-replicate. Who is building for the human side?

https://hugonomy.com/

1•GlyphWeaver_a•43m ago•0 comments

Starship V3

https://www.spacex.com/updates#starship-v3

11•fprog•43m ago•0 comments

London Rooftop Where Beatles Played Last Gig (1969) to Become Museum

https://www.nytimes.com/2026/05/11/arts/music/beatles-museum-london.html

2•bookofjoe•48m ago•1 comments

How AI Killed a 133-Year-Old Princeton Tradition

https://www.theatlantic.com/ideas/2026/05/princeton-ai-honor-code/687144/

1•KnuthIsGod•49m ago•0 comments

The New York Times Got Caught Using AI Hallucinations in Its Reporting

https://thewalrus.ca/the-new-york-times-got-caught-using-ai-hallucinations-in-its-reporting/

2•ireflect•50m ago•0 comments

RND: A 1 button generative 4-track synth

https://www.cymaforma.com/rnd-synth

1•peteforde•56m ago•0 comments

Could You Live Without a Computer? I Can.

https://www.thefp.com/p/could-you-live-without-a-computer

2•James72689•1h ago•1 comments

Atlas: An LLM inference engine written from scratch in Rust and CUDA

https://atlasinference.io

2•emrehan•1h ago•0 comments

I traveled 65 countries and built my own travel tracker

https://play.google.com/store/apps/details?id=com.ahnlee.jidoapp&hl=en_US

1•leeahn137•1h ago•1 comments

First 3D Emoji?

1•xxemogirl694uxx•1h ago•0 comments

Facebook is a hub for illegal wildlife trade, and that's by design, report says

https://news.mongabay.com/2026/05/facebook-is-a-hub-for-illegal-wildlife-trade-and-thats-by-desig...

3•PaulHoule•1h ago•0 comments

AI shouldn't have a meter. Unlimited tokens. Forever

https://www.openmonoagent.ai/

13•startuphakk•1h ago•6 comments

Cloudflare breaks promise to not gatekeep small browsers

https://forum.palemoon.org/viewtopic.php?t=33442

3•mimasama•1h ago•2 comments

Thoughts on the £1M SaSu Fine

https://prestonbyrne.com/2026/05/12/thoughts-on-the-1000000-sasu-fine/

3•delichon•1h ago•0 comments

Internet draft for variable length UUIDs – up to 4,096 bits

https://datatracker.ietf.org/doc/draft-davis-uuidrev-uuid-long/

3•jhealy•1h ago•0 comments

OpenJai – An Open Source Implementation Effort for a Jai-Style Systems Language

https://github.com/withlang-dev/open-jai

1•TheWiggles•1h ago•0 comments

US Army goes green-ish, wants soldiers munching on plant proteins

https://www.theregister.com/offbeat/2026/05/12/us-army-eyes-alternative-proteins-for-soldiers-in-...

6•Bender•1h ago•3 comments