Gradual type systems let you call a dynamically typed function from a statically typed function, correct? So there’s no guarantee in the signature of a function...
bsky.app·19h·
Discuss: Bluesky
⚙Functional Programming
(BT) Diversity from (LC) Diversity
golem.ph.utexas.edu·1d
🧮Programming Language Theory
Building My Own Astrodynamics Library in Zig
atempleton.dev·3h·
Discuss: Hacker News
🏗️Software Architecture
Done
abeeinthevoid.bearblog.dev·5h
👐Open Source Software
Retrieval-augmented generation with Llama Stack and Python
developers.redhat.com·1d
🧭SMT Solvers
DSPy Simba Explained
blog.mariusvach.com·1d·
Discuss: Hacker News
🧭SMT Solvers
When Claude Code Did a Volkswagen on Me
blog.alexsanjoseph.com·1d·
Discuss: Hacker News
🧩Theorem Proving
The way you think about the exponential function is (probably) wrong.
threadreaderapp.com·17h
🔢Mathematical Logic
Prompt injection engineering for attackers: Exploiting GitHub Copilot
blog.trailofbits.com·1d
👐Open Source Software
We beat GPT-4o's baseline with a simple re-prompting loop
aimon.ai·1d·
Discuss: Hacker News
🎲Probabilistic Programming
Program management update — July 2025
blog.rust-lang.org·2d
🦀Rust
GoLang appreciation post
reddit.com·1d·
Discuss: r/golang
📝Lisp
From "Aha Moments" to Controllable Thinking: Toward Meta-Cognitive Reasoning in Large Reasoning Models via Decoupled Reasoning and Control
arxiv.org·39m
🎲Probabilistic Programming
Talk Highlights: Documenting the Design of the Linux Kernel – Chuck Wolber, The Boeing Company; Kate Stewart, The Linux Foundaiton; Gabriele Paoloni, Red Hat
elisa.tech·21h
🔧Compiler Design
The State Of TTS: A Case Study with Human Fooling Rates
arxiv.org·39m
🔗Parser Combinators
Love, Lies and Misalignment
lesswrong.com·18h
🧫Cellular Automata
Kimi K2 vs Grok 4: Which AI Model Codes Better?
dev.to·1d·
Discuss: DEV
🧮Programming Language Theory
DBAIOps: A Reasoning LLM-Enhanced Database Operation and Maintenance System using Knowledge Graphs
arxiv.org·2d
🗄️Database Theory
I wrote a free book on keeping systems flexible and safe as they grow — sharing it here
github.com·2d·
Discuss: r/programming
🔧Compiler Design
Things I Wish I Had Known Before Starting ML
towardsdatascience.com·1d
🔗Parser Combinators