From Ceremony to Habit: Continuous Threat Modeling with the CLI and AI
adamgroenhout.com·8h
🛡️Security Type Systems
Dealing with Eventual Consistency and Idempotency in projections
event-driven.io·22h·
Discuss: r/programming
📦Monorepos
The Bit Shift Paradox: How "Optimizing" Can Make Code 6× Slower
hackernoon.com·4d
⚡Interpreter Optimization
Joy & Curiosity #57
registerspill.thorstenball.com·17m
🔄Bootstrapping
Ship Broken Things
matmul.net·2d·
Discuss: Hacker News
🌳Tree Shaking
LangChain.js is overrated; Build your AI agent with a simple fetch call
blog.logrocket.com·2d
🚂Cranelift Backend
Quantum AI: Automating Serendipity in Scientific Discovery
dev.to·4h·
Discuss: DEV
🎭Program Synthesis
Coexistent topological and chiral phonons in chiral RhGe: An <i>ab initio</i> study
journals.aps.org·1d
∫Mathematical DSLs
A Gaussian Leftover Hash Lemma for Modules over Number Fields
eprint.iacr.org·4d
🔗Borrowing Extensions
Out-of-Distribution Generalization in Climate-Aware Yield Prediction with Earth Observation Data
arxiv.org·2d
🌲Deforestation
94% of Developers Waste Tokens on Reasoning LLMs. Here's Why.
dev.to·2d·
Discuss: DEV
🔍ML Language
AI-Driven Ethical Risk Assessment & Mitigation in Supply Chain Compliance
dev.to·1d·
Discuss: DEV
✨Effect Inference
A Manifesto for the Programming Desperado
github.com·1d·
Discuss: Hacker News
🎭Program Synthesis
Announcing state-machines: Rust Port of Ruby's state_machines Gem
reddit.com·1d·
Discuss: r/rust
⚙️Async State Machines
Refactoring: A way to write better Code
dev.to·1d·
Discuss: DEV
🚚Code Migration
My Deep Dive into Fine-Tuning: IBM Granite-4.0 with Python and Unsloth! 🚀
reddit.com·1d·
Discuss: r/LocalLLaMA
📡Erlang BEAM
HiPRAG: Hierarchical Process Rewards for Efficient Agentic Retrieval Augmented Generation
arxiv.org·2d
⚖️Weighted Automata
(Forward) automatic implicit differentiation in Rust with num-dual 0.12.0
reddit.com·1d·
Discuss: r/rust
⚡Partial Evaluation
ACE: Attribution-Controlled Knowledge Editing for Multi-hop Factual Recall
arxiv.org·2d
🔄Subinterpreters
M\"obius transforms and Shapley values for vector-valued functions on weighted directed acyclic multigraphs
arxiv.org·4d
🧮Combinator Calculus