Brent Yorgey: Competitive programming in Haskell: prefix sums
byorgey.github.io·16h
🔤Type Theory
CodeMirror and Spell Checking: Solved
chipx86.blog·15h
🌳Incremental Parsing
How to Combine Streamlit, Pandas, and Plotly for Interactive Data Apps
kdnuggets.com·2h
🌊Streaming Algorithms
AI coding tools are perhaps our new terminal emulators
ghuntley.com·1d·
Discuss: Hacker News
🏠Homelab Archaeology
Simplicity, Agility, and Agency
articles.pragdave.me·1d·
Discuss: Hacker News
⬜Minimalism
How Decision Trees Work: Real Demo and Simple Explanation
dev.to·1d·
Discuss: DEV
🌳Huffman Trees
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·3d
🧪CBOR Fuzzing
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·2d·
Discuss: DEV
🧮Kolmogorov Complexity
Why MindsDB is the Fastest Way to Build AI Agents Today
dev.to·6h·
Discuss: DEV
🌀Brotli Internals
Why I Think Decentralized AI Can Be A Game Changer For The Future Of AI?
dev.to·9h·
Discuss: DEV
⚡Proof Automation
Video Virtual Try-on with Conditional Diffusion Transformer Inpainter
arxiv.org·12h
📊Rate-Distortion Theory
Building a Go Concurrency Task Scheduler: Efficient Task Processing Unleashed
dev.to·2d·
Discuss: DEV
🌊Stream Processing
CLGRPO: Reasoning Ability Enhancement for Small VLMs
arxiv.org·3d
📏Linear Logic
AI Agents Explained: How They Think & Operate
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols（1751016812847900）
dev.to·7h·
Discuss: DEV
🌐Network Protocols
How to Create a Event Bus in Go
dev.to·1d·
Discuss: DEV
🌊Streaming Systems
Learning Approach to Efficient Vision-based Active Tracking of a Flying Target by an Unmanned Aerial Vehicle
arxiv.org·3d
🔲Cellular Automata
Juris: The Framework That Scales From Beginner to Expert Developer
dev.to·20h·
Discuss: DEV
⚡Effectful Programming
Which Code Assistant Actually Helps Developers Grow?
dev.to·3h·
Discuss: DEV
📐Proof Assistants
LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation
arxiv.org·3d
🔍FPGA Verification