Formal Grammar Verification, Parser Correctness, Syntax Validation, Language Safety

#051: A Neat Little Rcpp Trick
dirk.eddelbuettel.comยท1d
๐ŸŽฏGradual Typing
Oink Oink! I'm a little piggie for Sora 2's AI slop.
businessinsider.comยท1h
๐Ÿ•นEmulation
Building an IoT Notification Device from Scratch
bertwagner.comยท9hยท
Discuss: Hacker News
๐Ÿ“ปHomebrew Protocols
Implementing a local AI coding agent is hard
svana.nameยท3dยท
Discuss: Hacker News
๐ŸŽ™๏ธWhisper
Designing for Delegation
adhoc.teamยท3hยท
Discuss: Hacker News
๐Ÿ”Capability Systems
Dubernetes: Vibe Coding a Dumb Container Orchestrator
blog.esc.shยท1dยท
Discuss: Hacker News
๐Ÿ Homelab Orchestration
How I Built Google's "Adaptive Timeout" Feature 9 Years Before Google Did
hackernoon.comยท19h
โฑ๏ธSMPTE Timecode
Writing Memory Safe JIT Compilers
medium.comยท5dยท
Discuss: Hacker News
๐Ÿ—๏ธCompiler Archaeology
Dorothy โ€“ A dotfile ecosystem: cross-shell, cross-OS, cross-arch
github.comยท1dยท
Discuss: Hacker News
๐Ÿ”ŒOperating system internals
Unbiased Binning: Fairness-aware Attribute Representation
arxiv.orgยท2d
๐Ÿง Machine Learning
Using AI for Secure Coding: Avoiding Common Vulnerabilities
dev.toยท2dยท
Discuss: DEV
๐ŸงชProtocol Fuzzing
RedNote-Vibe: A Dataset for Capturing Temporal Dynamics of AI-Generated Text in Social Media
arxiv.orgยท2d
โš–๏ธFeed Ranking
Are You Ready for the AI Artist Inside Your Pocket? Exploring Generative AI!
dev.toยท11hยท
Discuss: DEV
๐ŸŽงLearned Audio
Mitigating Visual Hallucinations via Semantic Curriculum Preference Optimization in MLLMs
arxiv.orgยท1d
๐Ÿง Learned Codecs
Spontaneous High-Order Generalization in Neural Theory-of-Mind Networks
arxiv.orgยท18h
๐Ÿ”ฒCellular Automata
The eval() Conundrum
slott56.github.ioยท3d
๐Ÿ’งLiquid Types
NeuroTTT: Bridging Pretraining-Downstream Task Misalignment in EEG Foundation Models via Test-Time Training
arxiv.orgยท18h
๐Ÿ“ŠLearned Metrics
Building GitusAI: An AI-Powered Commit Message Generator
dev.toยท1hยท
Discuss: DEV
๐Ÿ”„Reproducible Builds