The Sandwich Approach to ClojureScript Development
clojurecivitas.github.io·20h
🦀Rust
How do I become a writer/coder/creator/entrepreneur/x?
emeaentrepreneurs.com·9h·
Discuss: Hacker News
🔌Network Programming
Artificial intelligence is learning to understand people in surprising new ways
thebrighterside.news·8h
🔗Parser Combinators
What is Fil-c and how to use it?
gizvault.com·2d·
Discuss: r/C_Programming
🔧Compiler Design
luminousLlama
github.com·1d·
Discuss: r/browsers
👐Open Source Software
Best Vibe Coding Tools in 2025
observer.bearblog.dev·1d·
Discuss: Hacker News
🔧Compiler Design
🚀 Python for DevOps Week 2 & Week 3: Automating Daily Ops & Containerizing with Docker
github.com·7h·
Discuss: DEV
🧩Theorem Proving
Provably positivity-preserving, globally divergence-free central DG methods for ideal MHD system
arxiv.org·16h
🔢Mathematical Logic
*⚙️ Essential Tools & Platforms for Developers* 🛠️💻
dev.to·9h·
Discuss: DEV
👐Open Source Software
MoSSDA: A Semi-Supervised Domain Adaptation Framework for Multivariate Time-Series Classification using Momentum Encoder
arxiv.org·16h
🎲Probabilistic Programming
The WHY, the How, the What. An assessment of TETRA End-to-end (WHY2025)
cdn.media.ccc.de·1d
🤝Protocol Design
High-Performance Routing System Design and Implementation(5488)
dev.to·15h·
Discuss: DEV
🦀Rust
RefPerSys inference engine project
github.com·3d·
Discuss: DEV
🧭SMT Solvers
Building a Production-Ready Weather MCP Server with Clean Architecture, Redis Cache, and SOLID Principles | Complete Guide
dev.to·5h·
Discuss: DEV
🏗️Software Architecture
Word Clouds as Common Voices: LLM-Assisted Visualization of Participant-Weighted Themes in Qualitative Interviews
arxiv.org·1d
🔧Compiler Design
Can You Trick the Grader? Adversarial Persuasion of LLM Judges
arxiv.org·1d
🧭SMT Solvers
Positional Biases Shift as Inputs Approach Context Window Limits
arxiv.org·1d
🔗Parser Combinators
From Zero to Dev Hero: A Beginner’s Guide to Modern Programming Languages
dev.to·1d·
Discuss: DEV
🔧Compiler Design
SKATE, a Scalable Tournament Eval: Weaker LLMs differentiate between stronger ones using verifiable challenges
arxiv.org·2d
🧩Theorem Proving
Exploring the Challenges and Opportunities of AI-assisted Codebase Generation
arxiv.org·1d
🧩Theorem Proving