9 Essential apps for independent travel in China
kevinkelly.substack.comยท1dยท
Discuss: Substack
๐Ÿ”ŒEmbedded
Flag this post
Lenny for Libraries
lennyforlibraries.orgยท4dยท
๐Ÿ”ŒEmbedded
Flag this post
When your brain lies to you
dri.esยท20hยท
Discuss: Hacker News
โœ“Formal verification
Flag this post
Servant by construction โ€“ a blog series on Haskell's web stack gem
laurentrdc.xyzยท3dยท
Discuss: Hacker News
๐Ÿค–AI
Flag this post
Control Is a Drug
psychotechnology.substack.comยท13hยท
Discuss: Substack
๐ŸคUsing AI for programming
Flag this post
Rocket Software Expert on Modernizing and Securing COBOL Systems
channelinsider.comยท3dยท
Discuss: Hacker News
๐Ÿ”ŒEmbedded
Flag this post
Jimmy Angelakos: pg_statviz 0.8 released with PostgreSQL 18 support
vyruss.orgยท4dยท
Discuss: Hacker News
๐Ÿ”ŒEmbedded
Flag this post
Nearly half of topk websites have no password length requirements
scworld.comยท1dยท
Discuss: Hacker News
โœ“Formal verification
Flag this post
The Story Behind the TIME AI Agent
time.comยท1dยท
Discuss: Hacker News
๐Ÿค–AI
Flag this post
Ticker: Don't Die of Heart Disease
myticker.comยท2dยท
Discuss: Hacker News
โœ“Formal verification
Flag this post
swww renamed to awww, due to the author's guilt from obliviously naming it "final solution"
lgfae.comยท4dยท
๐Ÿค–AI
Flag this post
If You're Not Active, You're Sick โ€“ You Just Don't Know It Yet
howardluksmd.substack.comยท1dยท
Discuss: Substack
๐Ÿค–AI
Flag this post
9 Malicious NuGet Packages Deliver Time-Delayed Destructive Payloads
socket.devยท4dยท
Discuss: Hacker News
๐Ÿ”ŒEmbedded
Flag this post
Structured data access layer for AI agents
docs.pylar.aiยท5dยท
Discuss: Hacker News
๐Ÿค–AI
Flag this post
An open-source (GPL-3.0) GEO (Generative Engine Optimization) tracker
github.comยท5dยท
๐ŸคUsing AI for programming
Flag this post
The future of LLMs: cognitive core and cartridges?
killerstorm.github.ioยท5dยท
Discuss: Hacker News
๐Ÿค–AI
Flag this post
Siri Shortcuts now works with Samsung SmartThings routines
theverge.comยท11h
๐Ÿค–AI
Flag this post
X Unfollow Pro โ€“ Bulk Unfollow Tool โ€“ Optimize Twitter Feed Fast and Free
plugmonkey.xyzยท1dยท
Discuss: Hacker News
๐Ÿค–AI
Flag this post
Patterns for Building a Scalable Multi-Agent System
devblogs.microsoft.comยท3dยท
Discuss: Hacker News
๐Ÿค–AI
Flag this post
Show HN: Unify-Simple-Decision-Table
github.comยท4dยท
Discuss: Hacker News
โœ“Formal verification
Flag this post