🇺🇦🇪🇺🇭🇺🇷🇺
threadreaderapp.com·4h
🔗Category Theory
A Software Developer's Taste
machine-unlearning.com·2d
🔗Language Toolchains
Toy Binary Decision Diagrams
philipzucker.com·2d
✅Type Checking
A Gentle Introduction to TypeScript for Python Programmers
kdnuggets.com·2d
🌊Gradual Typing
Case Study: Building a Component Library
uxpin.com·2d
🎮Language Ergonomics
JSON River – Parse JSON incrementally as it streams in
github.com·2h·
Discuss: Hacker News
📋JSON Parsers
Unlocking Uniqueness: Mastering the Unique Character Algorithm in Go
dev.to·2d·
Discuss: DEV
🌿Trie Variants
Meet JetBrains at Azure Dev Summit 2025 (Lisbon, Oct 13–16)
blog.jetbrains.com·23h
⚡Live Coding
Automated Algorithmic Bias Mitigation in Automated Code Generation Pipelines
dev.to·3d·
Discuss: DEV
🔥JIT Compilers
Any sincere advice on getting better at Rust?
reddit.com·8h·
Discuss: r/rust
⚙️TOML Parsers
Google's AI can now surf the web for you, click on buttons, and fill out forms with Gemini 2.5 Computer Use
venturebeat.com·21h
💬Smalltalk VMs
SoK: Kicking CAN Down the Road. Systematizing CAN Security Knowledge
arxiv.org·2d
🛡️Security Type Systems
Hallucination reduction with CASAL: Contrastive Activation Steering For Amortized Learning
arxiv.org·2d
🔍ML Language
Can AI Truly Represent Your Voice in Deliberations? A Comprehensive Study of Large-Scale Opinion Aggregation with LLMs
arxiv.org·15h
🏛️Elm Architecture
StaMo: Unsupervised Learning of Generalizable Robot Motion from Compact State Representation
arxiv.org·1d
🌱Minimal ML
I went through every prompt in Anthropic’s library.
threadreaderapp.com·1d
🎮Language Ergonomics
Self-Reflective Generation at Test Time
arxiv.org·2d
✨Gleam
Facing Challenges Managing DevOps? Here are the 10 Ways to Solve It.
dev.to·1d·
Discuss: DEV
📋Task Queues
Comparing LSTM-Based Sequence-to-Sequence Forecasting Strategies for 24-Hour Solar Proton Flux Profiles Using GOES Data
arxiv.org·15h
🪜Recursive Descent
Detecting Distillation Data from Reasoning Models
arxiv.org·1d
✅Type Checking