Formatively Assessing Student Thinking
kgmathminds.com·20h
🎓Educational Compilers
Flag this post
Python Morsels Lifetime Access Sale
treyhunner.com·1d
🎭Racket
Flag this post
Learn C++ Itanium Symbol Mangling
noratrieb.github.io·2d·
Discuss: Hacker News
🏷️Symbol Mangling
Flag this post
Pinning is a kind of static borrow
nadrieril.github.io·2d·
Discuss: r/rust
🔒Rust Borrowing
Flag this post
Building an impossible Tic-Tac-Toe with Minimax and LemonadeJS
dev.to·15h·
Discuss: DEV
🎪Playground Compilation
Flag this post
Why Not Just Train For Interpretability?
lesswrong.com·1d
🌱Minimal Interpreters
Flag this post
Redundancy vs. dependencies: which is worse?
yosefk.com·2d·
Discuss: Hacker News, r/programming
🔀Control Structures
Flag this post
<p>**Abstract:** This paper introduces a novel system for automating the formalization and verification of proofs within Homotopy Type Theory (HoTT). Leveraging...
freederia.com·1d
⚖️Inference Rules
Flag this post
I built a task system that survives Claude sessions and works across any AI tool - entirely made with Claude Code
taskr.one·1d·
Discuss: r/ClaudeAI
💬Interactive REPLs
Flag this post
Basic Rust FFI Tutorial
bhh32.com·3d·
Discuss: r/programming, r/rust
🦀Rust Macros
Flag this post
I built an AI code generator using Claude that teaches itself through ADRs. Here's how it learns from failures.
reddit.com·2d·
Discuss: r/ClaudeAI
🚂Error Propagation
Flag this post
Show HN: I built a wizard to turn ideas into AI coding agent-ready specs
vibescaffold.dev·13h·
Discuss: Hacker News
🎭Program Synthesis
Flag this post
🚀 OLSRT v1.0.0 (Atom) – From Underground Experiments to a Universal Runtime
github.com·14h·
Discuss: DEV
🌪️V8 Pipeline
Flag this post
A WebAssembly Interpreter
wasmgroundup.com·2d·
Discuss: Hacker News
🌐WASM Runtimes
Flag this post
Global Optimization: Finding the Needle in a Haystack – Faster by Arvind Sundararajan
dev.to·8h·
Discuss: DEV
🔍Search Algorithms
Flag this post
Automating Documentation Maintenance with Prodigy: A Real-World Case Study
entropicdrift.com·1d·
Discuss: r/programming
📚Self-Documenting Code
Flag this post
My first flash loan protocol: A Solana adventure
dev.to·19h·
Discuss: DEV
🔒Rust Borrowing
Flag this post
Understanding LLMs as Pattern Machines, Not Thinking Partners
practicalsecurity.substack.com·1d·
Discuss: Substack
🎭Program Synthesis
Flag this post
Teaching Rust the SQL Language
news.ycombinator.com·6d·
Discuss: Hacker News
⚙️TOML Parsers
Flag this post
Day 43: Python Valid Parentheses Checker, Stack-Based Bracket Validation with Mapping and Loop Scanning
dev.to·4h·
Discuss: DEV
💬Interactive REPLs
Flag this post