Happy Fibonacci Day! #Math #1123
blog.adafruit.com·3h
🧮Combinator Calculus
Flag this post
Typing Monkeys
🌱Tiny Languages
Flag this post
I built an event/invite system because ICS files were making me lose my mind – can someone sanity-check?
💬Error Messages
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
original ↗
zylstra.org·16h
🌲Tree-sitter
Flag this post
Angular v21 Adds Signal Forms, New MCP Server
thenewstack.io·1d
🎮Language Ergonomics
Flag this post
Made a plugin for Flutter : offline Piper Text-to-Speech plugin (only for Android now, more devices coming up later.)
🌱Tiny Languages
Flag this post
Beyond the Hype: How to Use AI to Actually Increase Your Productivity as a Dev
docker.com·2d
🎭Program Synthesis
Flag this post
Web Directions Developer Summit 2025
web-goddess.org·14h
⚡Live Coding
Flag this post
How Gemini 3.0 Pro Broke a Real Legal Workflow (Involving Ombudsman, Ministry and Construction Authorities)
🎮Language Ergonomics
Flag this post
_AugmentedIntelligence v3.0 (WIP)
🔄Incremental Lexing
Flag this post
A small fine-tune of Gemma 3 4B focused on translation and text transformation
🔤Language Tokenizers
Flag this post
Why C Took 52 Years to Get a Real Bool
🏷️Memory Tagging
Flag this post
Loading...Loading more...