Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·1d
💎Information Crystallography
Implicit `operator bool` participates in comparison
quuxplusone.github.io·1d
🦀Rust Verification
PoC for Critical Lua Engine Vulnerabilities in Redis 7.4.5
redrays.io·1h·
Discuss: Hacker News
🧪CBOR Fuzzing
Rodrigo Girão Serrão: Functions: a complete reference | Pydon't 🐍
mathspp.com·5d
⬆️Lambda Lifting
Love C, Hate C: Web Framework Memory Problems
alew.is·1d·
Discuss: Hacker News
🔩Systems Programming
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·1d·
Discuss: Hacker News
🎯Performance Proofs
Ship Broken Things
matmul.net·2d·
Discuss: Hacker News
🔗Topological Sorting
The Wild Vibe
jarv.org·2h·
Discuss: Hacker News
🌀Brotli Internals
In-Depth Analysis: "Attention Is All You Need"
dev.to·1d·
Discuss: DEV
🧠Intelligence Compression
I have seen the compounding teams
sundaylettersfromsam.substack.com·9h·
Discuss: Substack
⚔️Lean Tactics
Golang Dependency Inversion — A Java Developer's Point of View
dev.to·4d·
Discuss: DEV
🔬Refinement Types
Show HN: Realization Jsmn on a Pure Zig
github.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Building Repo Bench
repoprompt.com·2d·
Discuss: Lobsters, Hacker News
⚡Proof Automation
Getting Started with Object-Oriented Programming in Python
dev.to·2d·
Discuss: DEV
🔢Denotational Semantics
The Alert System: Try, Except, and Finally
dev.to·1d·
Discuss: DEV
🌳Incremental Parsing
Analysis of Python Web Development Challenges
dev.to·2h·
Discuss: DEV
🎬WebCodecs API
A Fixed Point Framework for the Existence of EFX Allocations
arxiv.org·4d
🎯Performance Proofs
Java Backend Coding Technology: Writing Code in the Era of AI #Version 1.1
dev.to·5d·
Discuss: DEV
⚡SMT Applications
Evaluating Small Vision-Language Models on Distance-Dependent Traffic Perception
arxiv.org·1d
🧠Machine Learning
Causal Abstractions, Categorically Unified
arxiv.org·4d
✨Effect Handlers