Git: find the largest commits
adamj.eu·14h
🌿git
Brent Yorgey: Competitive programming in Haskell: sparse tables
byorgey.github.io·3d
🧮Algebraic Datatypes
AI Safety Course Intro Blog
windowsontheory.org·4h
🔲Cellular Automata
TheOdinProject/css-exercises
github.com·5h
⚡Proof Automation
The Internet is a Series of Webs (2024)
aramzs.xyz·17h·
Discuss: Hacker News
📡BGP Archaeology
Show HN: Agency Protocol – Domain-Specific Trust Through Verifiable Promises
promise-keeping.com·18h·
Discuss: Hacker News
🏛️Byzantine Archives
Show HN: Tips for getting great Text2Cypher outputs from LLMs for Graph RAG
blog.kuzudb.com·2d·
Discuss: Hacker News
🕸️Neo4j
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·6d·
Discuss: Hacker News
🔍Type Inference
JOVE – Jonathan’s Own Version of Emacs (1983)
github.com·3d·
Discuss: Hacker News
📺VT100 Emulation
MorphoNAS: Embryogenic Neural Architecture Search Through Morphogen-Guided Development
arxiv.org·3h
🔲Cellular Automata
Office Vibes: Office Culture CSS Art
dev.to·11h·
Discuss: DEV
📟CLI Design
🧱 OLTP vs OLAP: When Transaction Meets Analytics
dev.to·15h·
Discuss: DEV
🧬PostgreSQL Forensics
Bridging the gap: From axios to gRPC interceptors in Go
dev.to·9h·
Discuss: DEV
⚡gRPC
Persona-Based Synthetic Data Generation Using Multi-Stage Conditioning with Large Language Models for Emotion Recognition
arxiv.org·3h
⚙️Compression Benchmarking
Architecting Human-AI Cocreation for Technical Services -- Interaction Modes and Contingency Factors
arxiv.org·3h
🗺️Competency Maps
Advanced PDF Optimization Techniques - 1752936
dev.to·1d·
Discuss: DEV
📝Text Compression
Exploring Amazon's Kiro AI: A New Era in AI-Driven Development
dev.to·9h·
Discuss: DEV
⚙️TLA+
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·3d·
Discuss: Hacker News
🤝Distributed Consensus
Stop Writing Slow Rust: 20 Rust Tricks That Changed Everything
dev.to·1d·
Discuss: DEV
🦀Rust Macros
Why I'm Betting Against AI Agents in 2025 (Despite Building Them)
dev.to·21h·
Discuss: DEV
🔐Capability Systems