A Poet Completes the Square
denisegaskins.com·1d
⚔️Lean Tactics
2011 N1 = 2024 A2
blog.evanchen.cc·1d
🔬Lean
FSM Library for Embedded C Projects
hackster.io·4d
🦀Embedded Rust
Checkout this poem I wrote, about anonymous care, with my workflow
theaiworld.substack.com·41m·
Discuss: Substack
⬜Minimalism
Adding lookbehinds to rust-lang/regex
systemf.epfl.ch·3d·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
Old alt text advice – HTML Accessibility
html5accessibility.com·11h
🖋Typography
A distributed systems reliability glossary
antithesis.com·2d·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
Zig's new Writer
openmymind.net·1d·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
Unlock Gemini’s reasoning: A step-by-step guide to logprobs on Vertex AI
developers.googleblog.com·1d
⚡Proof Automation
Using AI in the development of stdlib
dev.to·6h·
Discuss: DEV
📏Code Metrics
A Rust Shaped Hole
mnvr.in·2d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Hazel: A live functional programming environment with typed holes
github.com·2d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Mitigating Object Hallucinations via Sentence-Level Early Intervention
arxiv.org·21h
👂Psychoacoustic Coding
I cloned this VC-funded AI super agent app in a weekend, here's how🪄✨
dev.to·11h·
Discuss: DEV
⚡Proof Automation
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·3d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
Machine Learning Fundamentals: dimensionality reduction tutorial
dev.to·10h·
Discuss: DEV
📐Vector Dimensionality
PLEX: Perturbation-free Local Explanations for LLM-Based Text Classification
arxiv.org·1d
💻Local LLMs
Are we trading our hard-earned intelligence for convenience?
lmyslinski.com·16h·
Discuss: Hacker News
📏Code Metrics
Reading in the Age of AI
damngrav.substack.com·6h·
Discuss: Substack
🏛Digital humanities
Connecting legibility to theory building in programming
ashwinsundar.com·2d·
Discuss: Hacker News
💻Programming languages