Metaprogramming, Procedural Macros, Code Generation, Compile-time Computing

Three Effects of Schematron Choice on XSpec Tests
medium.com·1d
📋Document Grammar
Flag this post
GHC Developer Blog: GHC 9.14.1-rc2 is now available
haskell.org·5d
💧Liquidhaskell
Flag this post
AI Agents Are Going Rogue: Here's How to Rein Them In
darkreading.com·1d
🔓Hacking
Flag this post
Teach Me Ansible: Learn Ansible in an Interactive Playground
teachmeansible.com·2d·
Discuss: Hacker News
🤖Network Automation
Flag this post
Nimony v0.2 – early preview of Nim 3.0's compiler
nim-lang.github.io·6d·
Discuss: Hacker News
🔗Concatenative Programming
Flag this post
Generation of antigen-specific paired-chain antibodies using LLMs
sciencedirect.com·2d·
Discuss: Hacker News
Proof Automation
Flag this post
The worst way to use AI for your productivity
codiris.build·1d·
Discuss: Hacker News
⚙️Proof Engineering
Flag this post
Battle-Tested Lessons From 10 Years In A Single Codebase
revelry.co·2d·
Discuss: r/programming
📏Code Metrics
Flag this post
A Security Model for Systemd
lwn.net·3d·
🛡️eBPF Security
Flag this post
🚀 Building SMC Trading — A Smart Money Concept–Based Crypto Signals App
dev.to·1d·
Discuss: DEV
🔍BitFunnel
Flag this post
Tactics to End Dark Patterns in App and Web Development
thenewstack.io·1d
🎨Swedish Design Philosophy
Flag this post
Reinventing PostgreSQL for the Next Generation of Apps
thenewstack.io·2d·
🗄️Database Internals
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·1d·
Discuss: DEV
Proof Automation
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·21h·
Discuss: DEV
Proof Automation
Flag this post
Vue-Transify v1.3.0
github.com·1d·
Discuss: Hacker News
🎬Video Codecs
Flag this post
Tech With Tim: OpenAI’s New Agent Builder is Insane - Full Tutorial
dev.to·7h·
Discuss: DEV
⚔️Lean Tactics
Flag this post
Jeff Su: 4 ChatGPT Hacks that Cut My Workload in Half
dev.to·5h·
Discuss: DEV
📰RSS Archaeology
Flag this post
Do Androids Dream of Unseen Puppeteers? Probing for a Conspiracy Mindset in Large Language Models
arxiv.org·3d
Algebraic Effects
Flag this post
RAG Evaluation Best Practices for Reliable Retrieval Systems
dev.to·1d·
Discuss: DEV
📊Multi-vector RAG
Flag this post
Where coding agents excel (and where they don't)
dev.to·3d·
Discuss: DEV
⚔️Lean Tactics
Flag this post