Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท1d
๐Ÿ’ŽInformation Crystallography
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.comยท2d
๐ŸŒŠStreaming Systems
My Top 5 Favourite Features in Python 3.14
blog.codingconfessions.comยท23h
๐Ÿฆ€Rust Macros
Show HN: We used LZMA to encode data into a URL
standardsapplied.comยท14hยท
Discuss: Hacker News
๐ŸŒ€Differential Geometry
Solving the wrong problem
ufried.comยท2d
โšกIncremental Computation
VLLM Predicted Outputs
cascadetech.aiยท1dยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.comยท2dยท
Discuss: Hacker News
ฮปLambda Encodings
Meet Amazon Quick Suite: The agentic AI application reshaping how work gets done
aboutamazon.comยท2dยท
Discuss: Hacker News
๐ŸŒŠStreaming Systems
GPT-5 for AI-assisted discovery
johndcook.comยท1dยท
Discuss: Hacker News
๐ŸŽฏPerformance Proofs
Show HN: Prompts to make AI impersonate 10 programming legends
ai-impersonator.blueprintlab.ioยท23hยท
Discuss: Hacker News, r/ClaudeAI
๐ŸŽ™๏ธWhisper
Programmer in Wonderland
binaryigor.comยท2dยท
Discuss: Hacker News
๐Ÿ”ฉSystems Programming
Combobulate: Structured Editing and Navigation in Emacs with Tree-sitter
github.comยท2dยท
Discuss: Hacker News
โœจEffect Handlers
In-Depth Analysis: "Attention Is All You Need"
dev.toยท1dยท
Discuss: DEV
๐Ÿง Intelligence Compression
LexiCon: a Benchmark for Planning under Temporal Constraints in Natural Language
arxiv.orgยท4d
๐ŸงฎKolmogorov Complexity
Parameterized Complexity of s-Club Cluster Edge Deletion
arxiv.orgยท3d
๐ŸงฎKolmogorov Complexity
XRPO: Pushing the limits of GRPO with Targeted Exploration and Exploitation
arxiv.orgยท3d
๐ŸŽฏPerformance Proofs
Memory Retrieval and Consolidation in Large Language Models through Function Tokens
arxiv.orgยท2d
๐Ÿ’ปProgramming languages
The Alignment Waltz: Jointly Training Agents to Collaborate for Safety
arxiv.orgยท2d
๐Ÿ”ฒCellular Automata
Which Heads Matter for Reasoning? RL-Guided KV Cache Compression
arxiv.orgยท2d
๐Ÿ“ผCassette Combinators
Why The Future of Code Is More Human Than Ever
dev.toยท2dยท
Discuss: DEV
๐Ÿ“Code Metrics