Maemo Leste - 2025 Daedalus release
maemo-leste.github.ioΒ·20hΒ·
Discuss: r/linux
🐫Ocaml
Flag this post
On "Reducing" Fractions, Some Notes on Language
pballew.blogspot.comΒ·20hΒ·
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
Building PolicyPal , An AI-Powered Health Insurance Plan Assistant on Google Cloud Run
youtu.beΒ·20hΒ·
Discuss: DEV
πŸͺœScala
Flag this post
ASP .NET Core model as json
dev.toΒ·2hΒ·
Discuss: DEV
πŸ“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Β·10hΒ·
Discuss: DEV
πŸ€–AI
Flag this post
Real-Time Chart Updates: Using WebSockets To Build Live Dashboards
dev.toΒ·1dΒ·
Discuss: DEV
πŸ”Static Analysis
Flag this post
Jeff Su: 4 ChatGPT Hacks that Cut My Workload in Half
dev.toΒ·2hΒ·
Discuss: DEV
πŸ€–AI
Flag this post
Predictive Ferroelectric Phase Transition Governance via Multi-Modal Data Fusion and Dynamic Quantum Annealing
dev.toΒ·1dΒ·
Discuss: DEV
πŸ“formal specification
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Β·16hΒ·
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Β·13hΒ·
Discuss: r/web_design
πŸ’»Claude
Flag this post
Monads in Haskell
dev.toΒ·9hΒ·
Discuss: DEV
πŸͺœScala
Flag this post
Pair-Coding CleanIt.Now with AI on Cloudflare Workers
dev.toΒ·1dΒ·
Discuss: DEV
πŸ”Static Analysis
Flag this post
Why Software Development Is Not Assembly-Line Work
dev.toΒ·3dΒ·
Discuss: DEV
πŸ”Static Analysis
Flag this post