Text to Speech Sam
texttospeechrobot.com·4h·
Discuss: Hacker News
🗣️CMU Pronouncing
Flag this post
A Proof of the Riemann Hypothesis
future.forem.com·3d·
Discuss: DEV
⚔️Lean Theorem
Flag this post
How I turned Zig into my favorite language to write network programs in
lalinsky.com·10h·
Discuss: Hacker News, r/Zig
🔗Concatenative Programming
Flag this post
The Coasean Singularity in Patents
symmetrybroken.com·6h·
Discuss: Hacker News
🔍Vector Forensics
Flag this post
Beyond Arithmetic: Understanding Computation and Computers
madeunraveled.xyz·3d·
Discuss: Hacker News
🎞️Tape Combinatorics
Flag this post
Matilda, Mars and Markup: The Curious Case of Mrs. Agnes Zevens
vinayprabhu.substack.com·23h·
Discuss: Substack
🔍Vector Forensics
Flag this post
Reagami: a Reagent-like library in less than 100 lines of Squint CLJS
blog.michielborkent.nl·1d·
Discuss: Hacker News
🎯Gradual Typing
Flag this post
Beyond pilots: A proven framework for scaling AI to production
aws.amazon.com·2d
🌊Stream Processing
Flag this post
A Vision for Future Low-Level Languages
antelang.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Borrowing
Flag this post
Mastering Prompt Engineering: Patterns for Effective AI Interaction
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Flag this post
Meta-Awareness Enhances Reasoning Models: Self-Alignment Reinforcement Learning
dev.to·4d·
Discuss: DEV
🧠Intelligence Compression
Flag this post
AI Scoring Agent Behavior: The Good, The Bad, and The Ugly
dev.to·4d·
Discuss: DEV
⚡Proof Automation
Flag this post
Benchmarking Reasoning Reliability in Artificial Intelligence Models for Energy-System Analysis
arxiv.org·2d
🧠Intelligence Compression
Flag this post
Hybrid Latent Reasoning via Reinforcement Learning
arxiv.org·2d
💻Local LLMs
Flag this post
Counting R in strawberry – nanochat guide
github.com·2d·
Discuss: Hacker News
🧪Binary Fuzzing
Flag this post
AI Agents: From Assistants for Efficiency to Leaders of Tomorrow?
towardsdatascience.com·7h
🤖AI Curation
Flag this post
AI Can Help You Code Faster – But at What Cost
codesmarternotharder.substack.com·13h·
Discuss: Substack
🏗️Compiler Archaeology
Flag this post
Set up an open-source AI analyst for PostgreSQL in 2 minutes
dev.to·2d·
Discuss: DEV
📐Proof Assistants
Flag this post
Coding by Vibe, by Tests, or by Spec Which Hat Are You Wearing?
dev.to·1h·
Discuss: DEV
📏Code Metrics
Flag this post
ProofFlow: The Transparent AI Ledger
dev.to·19h·
Discuss: DEV
🔗Data Provenance
Flag this post