Proof Complexity 2025
cstheory-events.org·4d
🎯Performance Proofs
A stupid “real-life” application of quadratic reciprocity
blog.evanchen.cc·12h
🔢Reed-Solomon Math
A Mental Model for C++ Coroutine
uvdn7.github.io·12h·
Discuss: Hacker News
🦀Rust Borrowing
Show HN: Bedrock – An 8-bit computing system for running programs anywhere
benbridle.com·1d·
Discuss: Hacker News
📺VT100 Emulation
Void, the Bluesky bot that remembers everyone
cameron.pfiffer.org·13h·
Discuss: Hacker News
🔗Concatenative Programming
Direct interaction of LLM chats with PythonAnywhere via the Model Context Protocol
blog.pythonanywhere.com·19h
🎙️Whisper
Ready lists
11011110.github.io·4d·
Discuss: Hacker News
🎨Graph Coloring
Programming Extensible Data Types in Rust with CGP - Part 1: Modular App Construction and Extensible Builders
contextgeneric.dev·3d·
Discuss: Lobsters, Hacker News, r/programming
🔒Type Safety
Think Your AI Understands You? It Already Started Responding
dev.to·16h·
Discuss: DEV
⚡Proof Automation
Lambda calculus cooked N ways: Benchmarks for capture-avoiding substitution
github.com·4d·
Discuss: Hacker News
λLambda Formalization
**8 Python Metaprogramming Techniques for Dynamic Code Generation and Runtime Flexibility**
dev.to·2d·
Discuss: DEV
🦀Rust Macros
Reinforcement Learning with Action Chunking
arxiv.org·1d
🔲Cellular Automata
🚀 Exo-Binary: A Symbolic Language of Code Beyond Convention
dev.to·11h·
Discuss: DEV
📋Format Specification
Curriculum Negative Mining For Temporal Networks
arxiv.org·1d
🕸️Graph Embeddings
Python List Manipulation: Remove Specific, Even, and Special Numbers Tutorial
dev.to·12h·
Discuss: DEV
⭐Awesome lists
MagiC: Evaluating Multimodal Cognition Toward Grounded Visual Reasoning
arxiv.org·1d
📊Learned Metrics
Medical Red Teaming Protocol of Language Models: On the Importance of User Perspectives in Healthcare Settings
arxiv.org·1d
🌐Protocol Synthesis
Bridging the Plausibility-Validity Gap by Fine-Tuning a Reasoning-Enhanced LLM for Chemical Synthesis and Discovery
arxiv.org·1d
🧮Kolmogorov Complexity
Read my list of the AI coding tools I will be using this summer for all my new projects. What are some other tools missing from this list?
dev.to·15h·
Discuss: DEV
⚡Proof Automation
Machine Learning Fundamentals: cross validation with python
dev.to·1d·
Discuss: DEV
📏Code Metrics