🔗 Lisp

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

June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·3d
🧮Prolog Parsing
Building a Real-Time SFU in Rust with ASCII Video Rendering
youtube.com·1d
🦀Embedded Rust
Announcing crabstep: A pure Rust, cross-platform, zero-dependency Apple/NeXTSTEP typedstream deserializer
github.com·2d
🔒Linear Types
The MIDL compiler still has trouble with double greater-than signs, sadly
devblogs.microsoft.com·4d·
Discuss: Hacker News
💻Programming languages
The collective waste caused by poor documentation
shanrauf.com·3d·
Discuss: Hacker News
📦Deflate
Show HN: AI-gent Workflows – locally reasoning AI Agents
ai-gents.work·1d·
Discuss: Hacker News
⚡Proof Automation
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·3d·
Discuss: Hacker News
💻Local LLMs
The AI delegation dilemma
foxhound.systems·4h·
Discuss: Hacker News, r/programming
🗺️Competency Maps
The Heart of Software Engineering Still Beats
annievella.com·1d·
Discuss: Hacker News
📏Code Metrics
The 50-Year Story of the Rise, Fall, and Rebirth of Neural Networks
thenewstack.io·10h
🔲Cellular Automata
Memory Safety in Web Rust System Zero Cost Secure（1750594760521200）
dev.to·5d·
Discuss: DEV
🦀Rust Borrowing
LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization
arxiv.org·3d
🔗Monadic Parsing
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·3d
⚖️Hoare Logic
Why MindsDB is the Fastest Way to Build AI Agents Today
dev.to·15h·
Discuss: DEV
🌀Brotli Internals
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·2d·
Discuss: DEV
🧮Kolmogorov Complexity
Building a Go Concurrency Task Scheduler: Efficient Task Processing Unleashed
dev.to·3d·
Discuss: DEV
🌊Stream Processing
Machine Learning Fundamentals: active learning with python
dev.to·2d·
Discuss: DEV
🧠Machine Learning
Build a Dynamic Color Changer using HTML, CSS & JavaScript 🎨 (Beginner Project)
dev.to·7h·
Discuss: DEV
🎯Gradual Typing
From Manual API Testing to AI-Powered Automation: My Experience with Keploy
dev.to·17h·
Discuss: DEV
⚡Proof Automation
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols（1750830996145900）
dev.to·2d·
Discuss: DEV
🌐Network Protocols