Binding Application in Idris
andrevidela.com·6h·
Discuss: Hacker News
🦀Rust programming language
LLMs show cultural theory was right about the death of the author
programmablemutter.com·12h·
Discuss: Hacker News
🧠Meta-creativity
HMQ: Principal Type Inference Under a Prefix
microsoft.com·1d·
Discuss: Hacker News
🦀Rust programming language
LLM Failures
funcall.blogspot.com·2d·
Discuss: Hacker News
🦀Rust programming language
Object Oriented Programming is an expensive disaster which must end
medium.com·1d·
Discuss: Hacker News
🛠️Creative Coding Frameworks
Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com·1d·
Discuss: Hacker News
🧮Computer science
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com·11h·
Discuss: Substack
🛠️Creative Coding Frameworks
Introducing Rudy: A Toolchain for Rust Debuginfo
samjs.io·15h·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust programming language
Programming = proving? The Curry-Howard correspondence today
xavierleroy.org·3d·
Discuss: Hacker News
🧮Computer science
Every AI Integration Is Held Together with Parsing Logic and Prayer
blog.dottxt.co·17h·
Discuss: Hacker News
🎲procedural generation
Writing Bounds-Safe Code in C with Arrays
uecker.codeberg.page·12h·
Discuss: Hacker News
🧮Computer science
Types are Transforming Python
spin.atomicobject.com·1d·
Discuss: Hacker News
🛠️Creative Coding Frameworks
There are exponentially many vectors with small inner product
lmao.bearblog.dev·11h·
Discuss: Hacker News
🧮Computer science
Show HN: Optiverse – Evolving Code with LLMs
mathieularose.com·13h·
Discuss: Hacker News
🧮Computer science
My first verified (imperative) program
markushimmel.de·3d·
Discuss: Lobsters, Hacker News, r/programming
🧮Computer science
Mastering Language Models: A Deep Dive into Input Parameters
megaputer.com·11h·
Discuss: Hacker News
🎲procedural generation
ANN: Miso-lynx, create iOS apps with Haskell and LynxJS
github.com·1d·
Discuss: Hacker News
🦀Rust programming language
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·12h·
Discuss: Lobsters, Hacker News
🛠️Creative Coding Frameworks
floccinaucinihilipilification
en.wiktionary.org·18h·
Discuss: Hacker News
🧠Meta-creativity
The Unreasonable Effectiveness of Recurrent Neural Networks
karpathy.github.io·1d·
Discuss: Hacker News
🖼️Neural Art