WebAssembly Still Expanding Frontend Uses 10 Years Later
thenewstack.io·1d
🌐WebAssembly
Flag this post
Learnify – Online Education & Courses Elementor Pro Template Kit
kalkis-research.com·16h
🎓Teaching Compilers
Flag this post
Cross-referencing code and specs for maintainability (2024-03-21)
📡Network Serialization
Flag this post
Go on an AI Detox
🎭Program Synthesis
Flag this post
Notes for November 17-22
taoofmac.com·21h
🔄Bootstrapping
Flag this post
Why Not Just Train For Interpretability?
lesswrong.com·1d
🌱Minimal Interpreters
Flag this post
TinyGo LCD Issue
🤖Embedded Go
Flag this post
My Thoughts on Claude Code Web - Non-SDE
⚡Live Coding
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
Home network diagramming - thoughts on a design, and a useful copilot-instruction file
🤖Embedded Go
Flag this post
Talimio – A UI for Education. Supports RAG (PDF/Video) and prompts Ollama/LocalAI to generate interactive coding curriculum
💬Interactive REPLs
Flag this post
I built a comprehensive PWA toolbox (PDF/Image tools) using Vanilla JS and no build step.
🌐Browser REPLs
Flag this post
Code review: Tiny in-memory task manager with async CloudEvent emission – idiomatic Go?
🐹Go Runtime
Flag this post
It's LIT! Reliability-Optimized LLMs with Inspectable Tools
arxiv.org·3d
🪜Recursive Descent
Flag this post
Loading...Loading more...