Educational Consulting Update
davidwees.com·4h
📚Proof Pedagogy
Quantum Complexity Theory Student Project Showcase #5 (2025 Edition)!
scottaaronson.blog·3d
🕸️Tensor Networks
2025.07.DisappearingMoment
newsletter.disappearingmoment.com·3d
🎯Gradual Typing
LLMs Have Different Taste on Coding
pixelstech.net·8h
🧩WASM Components
GenosDB: Distributed Graph-Based Database
genosdb.com·2d·
Discuss: Hacker News
🕸️Neo4j
Legacy May Kill, (Sun, Aug 3rd)
isc.sans.edu·14h
🌐DNS Security
Essential Reading for Agentic Engineers - July 2025
steipete.me·2d
⚡Proof Automation
Show HN: LinCal – A Calendar View for Linear Issues
lincal.app·2d·
Discuss: Hacker News
📥Feed Aggregation
Show HN: Auto-generates release notes from commits and posts to social media
rysa.ai·3h·
Discuss: Hacker News
⚡Proof Automation
From Frustration to Power: What We Learned at Nixcademy
niteo.co·3d·
Discuss: Lobsters, Hacker News
❄️Nix Adoption
URL Shorteners Are Poison for the Web
whtwnd.com·1d·
Discuss: Hacker News
🔍BitFunnel
How to Write Inductive Invariants
quint-lang.org·2d·
Discuss: Lobsters, Hacker News, r/programming
⚖️Hoare Logic
Thinking of Upgrading My Home Server – Looking for Advice (Beginner)
youtube.com·22h·
Discuss: r/homelab
🏠HomeLab
I Wasted a Day on My AI's Bad Idea, And It Was Worth It
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics
Explainability Through Systematicity: The Hard Systematicity Challenge for Artificial Intelligence
arxiv.org·4d
🧠Machine Learning
Kévin Dunglas
deprogrammaticaipsum.com·8h
🔄Language Evolution
Uncovering the Fragility of Trustworthy LLMs through Chinese Textual Ambiguity
arxiv.org·3d
🔍Z3 Parsing
Similarity-Based Self-Construct Graph Model for Predicting Patient Criticalness Using Graph Neural Networks and EHR Data
arxiv.org·7h
🧠Machine Learning
Linux Manual Pages Over HTTP
github.com·1d
🕸️WebAssembly
Flora: Effortless Context Construction to Arbitrary Length and Scale
arxiv.org·6d
🌳Context free grammars