Experimenting with ACL2 and Claude Code
mikedodds.orgยท2dยท
Discuss: Hacker News
๐Ÿ’ฌInteractive REPLs
Introducing PromptIntel
blog.securitybreak.ioยท12h
๐Ÿ›ก๏ธSecurity Type Systems
The Morality of Modeling
isaacbound.substack.comยท45mยท
Discuss: Substack
๐Ÿ’ซEffect Systems
Implicit `operator bool` participates in comparison
quuxplusone.github.ioยท2d
๐ŸŽญPolymorphic Variants
ใ€UPDATEDใ€‘Hangul/Khitan-Style Sinofied Cantonese Jyutping (ๅปฃๆฑ่ฉฑๆผขๅŒ–็ฒตๆ‹ผ๏ผ‰
reddit.comยท6hยท
Discuss: r/neography
๐Ÿ”—Concatenative
TASI Lectures On Topological Field Theories And Differential Cohomology
arxiv.orgยท2d
๐ŸŽฏType Theory
๐Ÿ”ฅ MicroPython on ESP32: Build a Smart Sensor in 15 Minutes Without Writing C! ๐Ÿ˜ฑ
dev.toยท1hยท
Discuss: DEV
๐Ÿค–Embedded Go
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.toยท1dยท
Discuss: DEV
๐Ÿง Memory Ordering
Beyond the AI Hype: Guido van Rossum on Python's Philosophy, Simplicity, and Th
scour.ingยท1dยท
Discuss: Lobsters
๐Ÿ“–Literate Programming
SE371 - Assignment 1
dev.toยท1dยท
Discuss: DEV
๐Ÿ“šSelf-Documenting Code
How to Design a Rate Limiter on a System Design Interview?
dev.toยท3hยท
Discuss: DEV
๐Ÿ“ŠProfilers
Quantifying Narrative Coherence: A Hybrid Symbolic-Neural Approach for Automated Literary Evaluation
dev.toยท13hยท
Discuss: DEV
โš–๏ธWeighted Automata
The Case for Separating Thinking (GPU) and Compute (CPU)
gojiberries.ioยท12hยท
Discuss: Hacker News
๐ŸŽญProgram Synthesis
Wild and Dangling Pointers in C
dev.toยท1dยท
Discuss: DEV
๐Ÿท๏ธMemory Tagging
**Mastering Rust Unsafe Code: When and How to Break Safety Rules Responsibly**
dev.toยท2hยท
Discuss: DEV
๐Ÿ”’Rust Borrowing
Macros 2.0 is one of the most exciting Rust features I'm looking forward to
reddit.comยท1dยท
Discuss: r/rust
๐Ÿฆ€Rust Macros
The Sculptor's Studio: YAGNI, KISSS, and DRY as Tools of the Trade
dev.toยท20hยท
Discuss: DEV
๐ŸชžMetaprogramming
ParsTranslit: Truly Versatile Tajik-Farsi Transliteration
arxiv.orgยท2d
๐Ÿ”คLanguage Tokenizers
Raw string literals in .NET, both useful and entertaining
dev.toยท4dยท
Discuss: DEV
๐Ÿ“Rope Editors
Can AI Tools Implement Designs Perfectly?
dev.toยท11hยท
Discuss: DEV
๐ŸŽญProgram Synthesis