Teaching Formal Methods, Interactive Learning, Mathematical Education, Verification Training, Beginner Proofs

Dmitri Tymoczko
johncarlosbaez.wordpress.com·20h
💎Information Crystallography
Flag this post
Closest consecutive reciprocal sum to an integer
johndcook.com·3d
📐Error Bounds
Flag this post
Home - Lapwing for Beginners
lapwing.aerick.ca·1d
λLambda Formalization
Flag this post
Nano Banana Pro cast a design spell in NotebookLM to explore the legend of Camelot
techradar.com·16h
🏛Digital humanities
Flag this post
_AugmentedIntelligence v3.0 (WIP)
reddit.com·1d·
Discuss: r/homelab
🎙️Whisper
Flag this post
Verifying and testing timeliness constraints of Haskell programs
well-typed.com·2d·
Discuss: Hacker News
🔍Concolic Testing
Flag this post
A Subsets.py Step-by-Step Visualization! (With Lyrics)
youtube.com·1d
📚Lempel-Ziv
Flag this post
A WebAssembly Interpreter
wasmgroundup.com·2d·
Discuss: Hacker News
🌐WASI
Flag this post
Java HashSet MCQ – Practice Questions for Beginners
dev.to·6h·
Discuss: DEV
🔐Hash Functions
Flag this post
Google's Nested Learning aims to stop LLMs from catastrophic forgetting
the-decoder.com·16h
💻Local LLMs
Flag this post
A time for monsters: Organizational knowing after LLMs
arxiv.org·2d
🔢Denotational Semantics
Flag this post
Building Tornago: A Go Library for Tor Integration Born from Fraud Prevention Needs
dev.to·5h·
Discuss: DEV
🧅Tor Networks
Flag this post
Architecting Uncertainty: Designing Reliable Systems on Top of LLMs
medium.com·1d·
Discuss: Hacker News
🧩WASM Components
Flag this post
Quantum Error Mitigation via Adaptive Entanglement Purification Scheduling (QEAEPS)
dev.to·2d·
Discuss: DEV
⚛️Quantum Error Correction
Flag this post
Probabilistic Graph Neural Inference for deep-sea exploration habitat design with embodied agent feedback loops
dev.to·2h·
Discuss: DEV
🌀Hyperbolic Geometry
Flag this post
[D] Looking for resources on “problem framing + operational thinking” for ML ?
reddit.com·18h·
🎵Audio ML
Flag this post
Hyper-Secure Code Generation via Lattice-Based Homomorphic Encryption & AI-Assisted Verification
dev.to·3d·
Discuss: DEV
🔐Homomorphic Encryption
Flag this post
From Prototype to Production: How to Engineer Reliable LLM Systems
dev.to·14h·
Discuss: DEV
💻Local LLMs
Flag this post
JavaScript Challenger - AI Studio DEV Edu Track
dev.to·1d·
Discuss: DEV
Proof Automation
Flag this post