Tail Call Optimization, Continuations, Hygiene, Educational Lisp

Happened in Hanaa – Vol. 23: November 3-9, 2025
mobilelast.itch.io·3h
⏭️Skip Lists
Flag this post
Porting Lean to the ESP32-C3 RISC-V Microcontroller
kuruczgy.com·5d·
🦀MIR Optimization
Flag this post
Instrumenting Vapor 4 with Swift OTel
blog.vapor.codes·9h·
Discuss: Hacker News
📈Performance Tools
Flag this post
Have They Found a Complete UNIX V4?
hackaday.com·17h
📖Literate Programming
Flag this post
LG-NuSegHop: A Local-to-Global Self-Supervised Pipeline For Nuclei Instance Segmentation
arxiv.org·15h
🗺️Region Inference
Flag this post
Advanced Hydraulic Fracture Optimization for Enhanced Reservoir Connectivity in Clay-Rich Dam Foundations
dev.to·1d·
Discuss: DEV
🧩Constraint Solvers
Flag this post
Ironotes, built for me, with me in mind
github.com·7h·
Discuss: Hacker News
📚Self-Documenting Code
Flag this post
Variously Effective Altruism
lesswrong.com·1h
🧱First Principles
Flag this post
As AI-powered threat detection and response become increasin
dev.to·1d·
Discuss: DEV
🛡️Taint Analysis
Flag this post
🧠 Built a VS Code extension that flags misleading function names in Python (early access) - feedback welcome!
marketplace.visualstudio.com·1d·
Discuss: DEV
Code Formatters
Flag this post
Meet Aissist - your personal AI command line sidekick
dev.to·3d·
Discuss: DEV
💬Interactive REPLs
Flag this post
# 🏗️ Understanding Go Project Structure (Without Losing Your Mind)
dev.to·2d·
Discuss: DEV
🐹Go Internals
Flag this post
Building an Intelligent System
pub.towardsai.net·2d
🎭Program Synthesis
Flag this post
The hidden skills behind the AI engineer
infoworld.com·11h
🎭Program Synthesis
Flag this post
gdrcopy: Fast CPU-GPU memory copy library based on Nvidia GPUDirect RDMA
github.com·1d·
Discuss: Hacker News
🗺️Memory Mapping
Flag this post
The ultimate guide to Open Source Observability in 2025: From silos to stacks
dev.to·1d·
Discuss: DEV
↔️Bidirectional Sync
Flag this post
How to use the matches! Macro Pattern Matching
dev.to·6d·
Discuss: DEV
🐪OCaml
Flag this post
Cut AI Costs Without Losing Capability: The Rise of Small LLMs
dev.to·2d·
Discuss: DEV
🖥️Minimal VMs
Flag this post
Mechanistic insights into cargo sorting and export from the Golgi apparatus
nature.com·10h
🗺️Region Polymorphism
Flag this post
Create a MCP server from scratch
dev.to·4d·
Discuss: DEV
⚙️Configuration Parsing
Flag this post