Happy Fibonacci Day! #Math #1123
blog.adafruit.com·4h
🧮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·17h
🌲Tree-sitter
Flag this post
Angular v21 Adds Signal Forms, New MCP Server
thenewstack.io·1d
🎮Language Ergonomics
Flag this post
Scientists Discover Universal Jailbreak for Nearly Every AI, and the Way It Works Will Hurt Your Brain
futurism.com·5h
🎲Parser Fuzzing
Flag this post
Home network diagramming - thoughts on a design, and a useful copilot-instruction file
🤖Embedded Go
Flag this post
Pinning is a kind of static borrow
🔒Rust Borrowing
Flag this post
I Built a Fake-Data Generator for Developers and QA — Here’s Why It Matters
✨Code Formatters
Flag this post
Show HN: Curious about tones in Chinese? An extension for language learners
🌉Language Bridges
Flag this post
Building a Contest Alarm App for Codeforces & AtCoder — Need Suggestions
🎨Domain-Specific Languages
Flag this post
Introducing Styleframe — a new way to write type-safe, composable, future-proof CSS in TypeScript
🌈Gradual Languages
Flag this post
Loading...Loading more...