Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·9h·
Discuss: Hacker News
🧩Types
SLip - An aspiring Common Lisp environment in the browser.
lisperator.net·19h·
Discuss: r/programming
🌿Leptos
Zen of Python
webaligo.bearblog.dev·11h
✨Code Aesthetics
Three ways formally verified code can go wrong in practice
buttondown.com·15h
📏Linear Types
Building the Reasoning Engine at Axiom
axiommath.ai·12h·
Discuss: Hacker News
🧮SMT Solvers
Let's Write a Macro in Rust
hackeryarn.com·16h·
Discuss: Hacker News
🎭Rust Macros
OCaml 5.4 Release: New Features, Fixes, and More
tarides.com·1h·
Discuss: Lobsters, Hacker News
🎭Rust Macros
Experimenting with ACL2 and Claude Code
mikedodds.org·20h·
Discuss: Hacker News
🪄Prompt Engineering
Slip – A Lisp System in JavaScript
lisperator.net·18h·
Discuss: Hacker News
📏Linear Types
A Manifesto for the Programming Desperado
github.com·16h·
Discuss: Hacker News
🪄Prompt Engineering
(Forward) automatic implicit differentiation in Rust with num-dual 0.12.0
reddit.com·17h·
Discuss: r/rust
🎭Rust Macros
My First Week of Vibecoding
underreacted.leaflet.pub·5h·
Discuss: Hacker News
🔤Tokenization
BQN "Macros" with •Decompose (2023)
saltysylvi.github.io·10h·
Discuss: Hacker News
🎭Rust Macros
Patience and Willingness to Be Slow
lesswrong.com·20h
🪄Prompt Engineering
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·18h·
Discuss: Hacker News
🦀Rust Web Services
The RAG Playbook: A Data Science Guide to Document Chunking
pub.towardsai.net·15h
🔄LLM RAG Pipelines
Beyond the AI Hype: Guido van Rossum on Python's Philosophy, Simplicity, and Th
odbms.org·8h·
Discuss: Lobsters, Hacker News
🛡️AI Safety
LLMs and reinforcement learning
sicpers.info·22h
🪄Prompt Engineering
Weaponizing Discord for Command and Control Across npm, PyPI, and RubyGems.org
socket.dev·6h
🌐Network Protocols
Dealing with Eventual Consistency and Idempotency in projections
event-driven.io·45m·
Discuss: r/programming
🔄Eventual Consistency