Empirical Characterization Testing
blog.ploeh.dk·1d
🔍Static Analysis
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·1d·
Discuss: Lobsters
🔍Chip Verification
Flag this post
Catalog of reliability properties for blockchains (Antithesis)
antithesis.com·23h·
Discuss: Hacker News
⚖️Consensus Networks
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·1d·
Discuss: Hacker News
λFunctional Programming
Flag this post
The AI-Powered Evolution of Software Development
devops.com·6h
🤖AI agents
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·17h·
Discuss: Hacker News
🧩WebAssembly
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
web.archive.org·1d·
Discuss: Hacker News
🔄C to Rust Translation
Flag this post
Building a Google Play Store Rating Agent with Mastra and Telex.im
dev.to·19h·
Discuss: DEV
🦋Tauri
Flag this post
Software Development in the Time of New Angels
davegriffith.substack.com·21h·
Discuss: Substack
🧩Low-code
Flag this post
Creating a very basic gRPC server
dev.to·21h·
Discuss: DEV
🌐Rust Networking
Flag this post
How I Use AI to Build Frontend Apps: My Candid, Messy Process
dev.to·14h·
Discuss: DEV
🧩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
Loquetier: A Virtualized Multi-LoRA Framework for Unified LLM Fine-tuning and Serving
arxiv.org·11h
🏗️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·11h
🔍Static Analysis
Flag this post
MetalLB for LoadBalancer IPs on Dedicated servers (with vSwitch)
reddit.com·7h·
Discuss: r/kubernetes
🔩Bare Metal
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
Building MultiLingo: An AI Translation Agent with Telex Integration
dev.to·22h·
Discuss: DEV
💬Language Servers
Flag this post
LangChain vs LangGraph: A Beginner’s Guide to Building Smarter AI Workflows
hackernoon.com·1d
🏗️AI Infrastructure
Flag this post