🔵 Clojure

Lisp JVM, Immutability, STM, ClojureScript, REPL

News for October 2025
ptreview.sublinear.info·2d
✅Property Testing
Flag this post
A Deep Dive into Gorm: Architecture, Workflow, Tips, and Troubleshooting for Go’
devresourcehub.com·4d·
Discuss: DEV
🪨RocksDB
Flag this post
Tool Expressions: The Next Evolution in Agent Intelligence
blog.nishantjosh.dev·1d·
Discuss: r/programming
🎭Program Synthesis
Flag this post
How a Nix flake made our polyglot stack (and new dev onboarding) fast and sane
fiveonefour.com·20h·
Discuss: Hacker News
📦Nix Flakes
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·3d·
Discuss: Hacker News
📐Type Theory
Flag this post
Enforcing Architecture in an Agent-Driven Codebase
phoebe.work·3d·
Discuss: Hacker News
🏗️Build Systems
Flag this post
C++ implementation of SIP, ICE, TURN and related protocols
github.com·1d·
Discuss: Hacker News
🏗️Build Systems
Flag this post
Schaltwerk – The IDE Without Editor
github.com·2d·
Discuss: Hacker News
🪟Tauri
Flag this post
OpenSIR: Open-Ended Self-Improving Reasoner
arxiv.org·2d
🧮SMT Solvers
Flag this post
Why Software Development Is Not Assembly-Line Work
dev.to·1h·
Discuss: DEV
🎨Design Systems
Flag this post
Show HN: AI Coding Agents: Intent-Driven Development Guidelines
github.com·3h·
Discuss: Hacker News
🎭Program Synthesis
Flag this post
Graph Neural AI with Temporal Dynamics for Comprehensive Anomaly Detection in Microservices
arxiv.org·10h
📱Edge AI
Flag this post
🚀 My First Secure CI/CD Pipeline on GitLab: A Beginner's Walkthrough
dev.to·1d·
Discuss: DEV
🌳Git Internals
Flag this post
EQ-Negotiator: Dynamic Emotional Personas Empower Small Language Models for Edge-Deployable Credit Negotiation
arxiv.org·10h
📱Edge AI
Flag this post
What I Learned From Working on Legacy Codebases (And How It Made Me a Better Developer)
dev.to·20h·
Discuss: DEV
🔧DevOps
Flag this post
Breakdown of JavaScript cores concept in connection to html with examples
dev.to·3d·
Discuss: DEV
🌐Web Development
Flag this post
A security model for systemd
lwn.net·23h·
Discuss: Hacker News
🔐Capability Systems
Flag this post
Day 2 of building Secrin
dev.to·1d·
Discuss: DEV
🕸️Knowledge Graphs
Flag this post
A Systematic Literature Review of Code Hallucinations in LLMs: Characterization, Mitigation Methods, Challenges, and Future Directions for Reliable AI
arxiv.org·2d
⚙️JIT Compilation
Flag this post
Continuous Autoregressive Language Models : Alternate for traditional LLMs, paper by Tencent
reddit.com·2h·
Discuss: r/LocalLLaMA
🌳Tree-sitter
Flag this post