Cure - Verification-First Programming for the BEAM
cure-lang.org·1d·
Discuss: Lobsters
🔍Chip Verification
Flag this post
Improving Emacs' iCalendar Support
recursewithless.net·2d·
Discuss: Hacker News
🧩Low-code
Flag this post
Bus Factor 0
ericphanson.com·18h·
Discuss: Hacker News
🔍Static Analysis
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·1d·
Discuss: Hacker News
λFunctional Programming
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·3d·
Discuss: Hacker News
🔄C to Rust Translation
Flag this post
Linkers: A 20 Part Series
airs.com·21h·
Discuss: Hacker News
🧩WebAssembly
Flag this post
Software Development in the Time of New Angels
davegriffith.substack.com·1d·
Discuss: Substack
🧩Low-code
Flag this post
Create your first MCP server
dev.to·1d·
Discuss: DEV
🏢Self-hosting
Flag this post
Why agents DO NOT write most of our code - a reality check
dev.to·1d·
Discuss: DEV
🧩Low-code
Flag this post
Creating a very basic gRPC server
dev.to·1d·
Discuss: DEV
🌐Rust Networking
Flag this post
How I Use AI to Build Frontend Apps: My Candid, Messy Process
dev.to·18h·
Discuss: DEV
🧩Low-code
Flag this post
MetalLB for LoadBalancer IPs on Dedicated servers (with vSwitch)
reddit.com·10h·
Discuss: r/kubernetes
🔩Bare Metal
Flag this post
Building MultiLingo: An AI Translation Agent with Telex Integration
dev.to·1d·
Discuss: DEV
💬Language Servers
Flag this post
Loquetier: A Virtualized Multi-LoRA Framework for Unified LLM Fine-tuning and Serving
arxiv.org·15h
🏗️AI Infrastructure
Flag this post
A Systematic Literature Review of Code Hallucinations in LLMs: Characterization, Mitigation Methods, Challenges, and Future Directions for Reliable AI
arxiv.org·15h
🔍Static Analysis
Flag this post
I repurposed my old GPU for self-hosted AI and it changed my life
xda-developers.com·1d
🏠Self-hosted AI
Flag this post
LangChain vs LangGraph: A Beginner’s Guide to Building Smarter AI Workflows
hackernoon.com·1d
🏗️AI Infrastructure
Flag this post
5 SBCs you've never heard of that beat the Raspberry Pi in niche projects
xda-developers.com·22h
🍓single board computers
Flag this post
Two Paths to Safety: How Go and Rust Made Opposite Bets
dev.to·4d·
Discuss: DEV
🔌Embedded Rust
Flag this post
My first day in Rust
reddit.com·4d·
Discuss: r/rust
🔌Embedded Rust
Flag this post