Keyframes Tokens: Standardizing Animation Across Projects
smashingmagazine.comยท2d
๐Gradual Languages
Flag this post
Nov 22: Updates On Things I've Tried
tinylogger.comยท5h
๐ indieweb
Flag this post
Post-Conj update
๐ฎClojure
Flag this post
Markdown Is Holding You Back
๐Self-Documenting Code
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
๐ Capstone Project Completed! ๐
๐ฑMinimal ML
Flag this post
AI assistance in Development
โกLive Coding
Flag this post
"Is this just a wrapper?" (How a Reddit Comment Changed My Roadmap)
๐ฎLanguage Ergonomics
Flag this post
GuardScan: Building a Privacy-First SAST Tool with Multi-Language AST Parsing
โ๏ธTOML Parsers
Flag this post
Claude Loves a Challenge, Bonus Secret Menu Attached. (Ultimate Guide to Claude, from Claude, Saving Face and Rising to the Occasion).
๐ฌInteractive REPLs
Flag this post
Why Not Just Train For Interpretability?
lesswrong.comยท1d
๐ฑMinimal Interpreters
Flag this post
<p>**Abstract:** This paper introduces Automated Interview Transcript Scoring and Insight Generation for Enhanced Candidate Evaluation (AITSIGE), a novel system...
freederia.comยท1d
๐Tokenizers
Flag this post
How to Build a Multimodal AI Assistant That Sees and Hears (with Hugging Face)
pub.towardsai.netยท3d
๐ฑTiny Languages
Flag this post
The best AI chatbots in 2026
zapier.comยท2d
๐Tokenizers
Flag this post
Loading...Loading more...