Generalized Consensus: Recap
multigres.com·1d
🗳️Raft Consensus
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·1d
🔤Language Design
Flag this post
Disciplined Biconvex Programming
arxiv.org·1d
📊Dynamic Programming
Flag this post
Gen AI Grows Up: Building Production-Ready Agents on the JVM • Rod Johnson • GOTO 2025
youtube.com·30m
📱Edge AI
Flag this post
Up and Down the Ladder of Abstraction
worrydream.com·4h·
Discuss: Hacker News
🔀Procedural Generation
Flag this post
Minimalistic CLAUDE.md for new projects: Follow SOLID, DRY, YAGNI, KISS
reddit.com·10h·
Discuss: r/ClaudeAI
🔨Incremental Compilation
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·1d·
Discuss: Hacker News
λFunctional Programming
Flag this post
What to Do When Your Credit Risk Model Works Today, but Breaks Six Months Later
towardsdatascience.com·19h
💰TigerBeetle
Flag this post
Inside Pinecone: Slab Architecture
pinecone.io·20h·
Discuss: Hacker News
📋Columnar Storage
Flag this post
BoolSkel: Unlocking Boolean Network Efficiency Through Structural Pruning by Arvind Sundararajan
dev.to·30m·
Discuss: DEV
⏭️Skip Lists
Flag this post
Enabling Trillion-Parameter Models on AWS EFA
research.perplexity.ai·13h·
Discuss: Hacker News
⚡Hardware Acceleration
Flag this post
BoxLambda OS Software Architecture, First Draft
epsilon537.github.io·9h·
Discuss: Hacker News
💻Operating Systems
Flag this post
Algorithmic Complexity Reduction via Quantized State Space Search
dev.to·19h·
Discuss: DEV
⚛️Quantum Computing
Flag this post
Continuous Autoregressive Language Models
shaochenze.github.io·10h·
Discuss: Hacker News
📱Edge AI
Flag this post
Why Workflows Fail: The Indeterministic Business Problem
blog.dragonscale.ai·7h·
Discuss: Hacker News
👁️Observability
Flag this post
Why is AI Generated Rust slow when compared with Go/C#/Node/JavaScript
srid68.github.io·22h·
Discuss: Hacker News
🦀Rust
Flag this post
MemSearcher: Training LLMs to Reason, Search and Manage Memory via End-to-End Reinforcement Learning
arxiv.org·8h
💬Prompt Engineering
Flag this post
Planning > Agents: Getting Reliable Code from LLMs
repoprompt.com·11h·
Discuss: Hacker News
💬Prompt Engineering
Flag this post
The AI-Powered Evolution of Software Development
devops.com·1d
🎭Program Synthesis
Flag this post
Geonum – geometric number library for unlimited dimensions with O(1) complexity
github.com·1d·
Discuss: Hacker News
📏Linear Types
Flag this post