Maemo Leste - 2025 Daedalus release
maemo-leste.github.io·17h·
Discuss: r/linux
🐫Ocaml
Flag this post
On "Reducing" Fractions, Some Notes on Language
pballew.blogspot.com·17h·
Discuss: www.blogger.com
🔧PLT
Flag this post
It occurs to me that a really easy solution to Oxide’s actual futurelock bug (which used a mpsc sender rather than a mutex) would be to have the channel wake up...
bsky.app·2d·
Discuss: Bluesky
🔍Static Analysis
Flag this post
TLA+ Modeling of AWS outage DNS race condition
muratbuffalo.blogspot.com·3d·
Discuss: Lobsters, Hacker News
📐formal specification
Flag this post
Comparing ECDSA signature validation in OpenSSL vs. libsecp256k1 - The Stack
delvingbitcoin.org·1d
📐formal specification
Flag this post
Longreads + Open Thread
thediff.co·1d
🔍Static Analysis
Flag this post
Show HN: Linguistic RL – A 7B model discovers Occam's Razor through reflection
github.com·2d·
Discuss: Hacker News, r/LocalLLaMA
🪜Scala
Flag this post
Building PolicyPal , An AI-Powered Health Insurance Plan Assistant on Google Cloud Run
youtu.be·17h·
Discuss: DEV
🪜Scala
Flag this post
Claude Code to manage engineering teams
devashish.me·2d·
Discuss: Hacker News
🤖AI
Flag this post
Spinning Plates
dylanamartin.com·2d·
Discuss: Hacker News
🔍Static Analysis
Flag this post
Need some help optimizing for an academic research use case
reddit.com·1d·
Discuss: r/homelab
🔍Static Analysis
Flag this post
Participatory Modeling in the AI Era
sciencedirect.com·2d
📐formal specification
Flag this post
Deep Koopman Economic Model Predictive Control of a Pasteurisation Unit
arxiv.org·2d
🤖AI
Flag this post
Building an AI-Powered Interactive Storytelling App with Google Cloud Run
dev.to·7h·
Discuss: DEV
🤖AI
Flag this post
I Created an MCP Server and Why I Think MCP is Overrated
dev.to·2d·
Discuss: DEV
📐formal specification
Flag this post
Python Web Frameworks: Crafting the Future of Web Development
dev.to·13h·
Discuss: DEV
🔧PLT
Flag this post
The Orchestrator Pattern: Routing Conversations to Specialized AI Agents
dev.to·4d·
Discuss: DEV
🤖AI
Flag this post
Dev Journal: This week's progress
dev.to·2d·
Discuss: DEV
⚡Zig
Flag this post
Nonlinear Instabilities in Computer Network Dynamics
arxiv.org·4d
🔍Static Analysis
Flag this post
Webflow is a frustrating, unusable mess
reddit.com·10h·
Discuss: r/web_design
💻Claude
Flag this post