Modern C and initializing an array
subethasoftware.com·1d
🗂Data structures
Clarity
robinsloan.com·2d
🧠Intelligence Compression
Why Haskell is the perfect fit for renewable energy tech
mrcjkb.dev·3d·
Discuss: Hacker News
🧬Functional Programming
The Programmer Identity Crisis
hojberg.xyz·3d·
Discuss: Lobsters, Hacker News
🔩Systems Programming
AI Fixed Coding, but Not the Bottleneck: Why Lisp, FP Still Matters
github.com·3d·
Discuss: Hacker News, r/neovim
🔗Lisp
A Proof of the Riemann Hypothesis
dev.to·2d·
Discuss: DEV
⚔️Lean Theorem
From Documents to Dialogue: A step-by-step RAG Journey
dev.to·1d·
Discuss: DEV
📊Multi-vector RAG
ARES: Multimodal Adaptive Reasoning via Difficulty-Aware Token-Level Entropy Shaping
arxiv.org·1d
🧮Kolmogorov Complexity
The Library Method: Understanding @cache
dev.to·1d·
Discuss: DEV
⚡Cache Theory
Active Confusion Expression in Large Language Models: Leveraging World Models toward Better Social Reasoning
arxiv.org·1d
🧮Prolog Parsing
Unlock Your Enterprise Data: A Java/Spring Guide to AI-Ready Schema.org & JSON-LD
dev.to·2d·
Discuss: DEV
📋Document Grammar
Complete Guide to Audio Processing in Python: From Spectrograms to Real-Time Applications
dev.to·4h·
Discuss: DEV
📊Spectral Analysis
Tool or Agent? The impact of AI in your code and in your wallet It all boils down to math again!
blog.codeminer42.com·2d
⚡Proof Automation
Building a Streaming Data Pipeline with Kafka and Spark: Real-Time Analytics Implementation Guide
dev.to·1d·
Discuss: DEV
🌊Apache Kafka
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
📈Linear programming
OBCache: Optimal Brain KV Cache Pruning for Efficient Long-Context LLM Inference
arxiv.org·1d
💻Local LLMs
Causal Abstractions, Categorically Unified
arxiv.org·4d
✨Effect Handlers
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·7h·
Discuss: DEV
📊Multi-vector RAG
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to·21h·
Discuss: DEV
🔍Concolic Testing
simonw/claude-skills
simonwillison.net·17h
📄PostScript