June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·21h
🧮Prolog Parsing
The Product Topology, or, How Not to Stumble into the Box Topology
relatedwork.blogspot.com·3d·
Discuss: relatedwork.blogspot.com
🏗️Constructive Mathematics
Coping with Complexity
slott56.github.io·4d
🔗Concatenative Programming
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·6h·
Discuss: Substack
🦀Rust Macros
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·1d
⚖️Hoare Logic
Explaining software and computational methods
blog.khinsen.net·21h·
Discuss: Hacker News
📝Concrete Syntax
Conceptual Modelling for Life Sciences Based on Systemist Foundations
arxiv.org·1d
⚙️systems theory
Cactus Language • Syntax 10
inquiryintoinquiry.com·3d
📝Concrete Syntax
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Godel's Incompleteness Theorem
news.ycombinator.com·4h·
Discuss: Hacker News
🔤Type Theory
The Bitter Lesson is coming for Tokenization
lucalp.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Monadic Parsing
What LLMs Know About Their Users
schneier.com·10h·
Discuss: Hacker News
💻Local LLMs
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·17h
🔍Concolic Testing
Why Dyad?: A Perspective for Modelica Users
juliahub.com·6h·
Discuss: Hacker News
💧Liquid Types
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·11h·
Discuss: DEV
🧮Kolmogorov Complexity
PEGTL -- Parsing Expression Grammar Template Library
github.com·22h·
Discuss: Hacker News
🔗Parser Combinators
Semantic-Aware Parsing for Security Logs
arxiv.org·1d
📝Log Parsing
Practical tips to optimize documentation for LLMs, AI agents, and chatbots
biel.ai·1d·
Discuss: Hacker News
🤖Archive Automation
The Guide to the Foundation Models Framework
azamsharp.com·7h·
Discuss: Hacker News
λLambda Formalization
Validating Mechanistic Interpretations: An Axiomatic Approach
arxiv.org·1d
⚖️Hoare Logic