Slip – A Lisp System in JavaScript
lisperator.net·8h·
Discuss: Hacker News
📏Linear Types
Memory Retrieval and Consolidation in Large Language Models through Function Tokens
arxiv.org·18h
🔤Tokenization
Zen of Python
webaligo.bearblog.dev·1h
✨Code Aesthetics
Three ways formally verified code can go wrong in practice
buttondown.com·4h
📏Linear Types
Building the Reasoning Engine at Axiom
axiommath.ai·2h·
Discuss: Hacker News
🧮SMT Solvers
Let's Write a Macro in Rust
hackeryarn.com·6h·
Discuss: Hacker News
🎭Rust Macros
Experimenting with ACL2 and Claude Code
mikedodds.org·9h·
Discuss: Hacker News
🪄Prompt Engineering
Lobsters Interview with Zdsmith
lobste.rs·16h·
Discuss: Lobsters
⚡Developer Experience
Effects in Rust (and Koka)
aloso.foo·22h·
Discuss: r/rust
🦀Rust
Towards a Typology of Strange LLM Chains-of-Thought
lesswrong.com·23h
🪄Prompt Engineering
A Manifesto for the Programming Desperado
github.com·6h·
Discuss: Hacker News
🪄Prompt Engineering
Item Patterns and Struct Await
noratrieb.dev·16h·
Discuss: Hacker News
🦀Rust
2025-10-10 # LLMs Are Transpilers
alloc.dev·22h·
Discuss: Hacker News
🏆LLM Benchmarking
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·7h·
Discuss: Hacker News
🦀Rust Web Services
SLip - An aspiring Common Lisp environment in the browser.
lisperator.net·9h·
Discuss: r/programming
🌿Leptos
Does Go have types?
youtube.com·9h·
Discuss: r/golang
🧩Types
(Forward) automatic implicit differentiation in Rust with num-dual 0.12.0
reddit.com·6h·
Discuss: r/rust
🎭Rust Macros
Open Lineage
usenix.org·18h
📘Typescript
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·20h·
Discuss: Hacker News, r/programming
📑Inverted Indexes
Stress-Testing Model Specs Reveals Character Differences among Language Models
arxiv.org·18h
🔤Tokenization