🔗 Lisp

Functional Programming, S-expressions, Code as Data, Recursion

4 Unconventional Ways to Cast in Typescript
wolfgirl.dev·3d·
Discuss: Lobsters, Hacker News, r/programming
🎯Gradual Typing
Flag this post
html-is-a-tree
glfmn.io·2d·
Discuss: Lobsters, Hacker News, Hacker News
📝Concrete Syntax
Flag this post
Formal or not formal? That is the question in AI for theorem proving.
xenaproject.wordpress.com·3d
🔬Lean
Flag this post
Agentic AI from First Principles: Reflection
towardsdatascience.com·1d
✨Effect Handlers
Flag this post
Flat Combining: A Simple Rust Experiment
khayyamguliyev.substack.com·1d·
Discuss: Substack
⚡Hardware Transactional Memory
Flag this post
My journey to Go
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
Flag this post
An Introduction to JavaScript Expressions
css-tricks.com·3d
🔗Concatenative Programming
Flag this post
The Road to Flux 1.0
github.com·2d·
Discuss: Hacker News
✨Effect Handlers
Flag this post
Ken Thompson's "Trusting Trust" compiler backdoor - Now with the actual source code (2023)
micahkepe.com·1d·
Discuss: Hacker News, Hacker News, r/programming
💻Programming languages
Flag this post
Language Modeling with Hierarchical Reasoning Models: Lessons from 1M Parameters
williamthurston.com·6h·
Discuss: Hacker News
📊Quantization
Flag this post
Converting code in IDA with a simple script
gabrielcybersecurity.com·3d
🐚Shell scripting
Flag this post
The Essence of Prompt Engineering Is the Art of Asking Questions
ramsayleung.github.io·19h·
Discuss: Hacker News, r/programming
⚡Proof Automation
Flag this post
A Practical Tour of How Code Runs: Binaries, Bytecode and Shared Libraries
cefboud.com·17h·
Discuss: r/programming
🔩Systems Programming
Flag this post
Valgrind 3.26 Released
sourceforge.net·19h·
Discuss: Hacker News
🔩Systems Programming
Flag this post
Learn TLA+
learntla.com·3d·
Discuss: Hacker News
✅Formal Methods
Flag this post
Parsing Webpages with a LLM – Revisited
hdembinski.github.io·1d·
Discuss: Hacker News
📝Concrete Syntax
Flag this post
Joy & Curiosity #59
registerspill.thorstenball.com·5h
🏺ZIP Archaeology
Flag this post
Dependent Session Types for Verified Concurrent Programming
arxiv.org·3d
📞Session Types
Flag this post
Fast TypeScript (Code Complexity) Analyzer
ftaproject.dev·1d·
Discuss: Hacker News
📊Static Analysis
Flag this post
MIT 6.851: Advanced Data Structures (Spring'21)
courses.csail.mit.edu·23h·
Discuss: Hacker News
💻CS
Flag this post