🛠 Language Design

Type Systems, Compiler Theory, Syntax Evolution, Memory Models, Syntax Creation, Parser Design, Domain Languages, Programming Paradigms

StillMind – AI meditation app I built for my yoga teacher wife
apps.apple.com·10h·
Discuss: Hacker News
⬜Minimalism
Flag this post
Advent of Code is 12 days this year
adventofcode.com·2d·
Discuss: Hacker News
🧮Z3 Solver
Flag this post
Visualizing the C++ Object Memory Layout Part 1: Single Inheritance
sofiabelen.github.io·6d·
Discuss: r/cpp, r/programming
🦀Rust Borrowing
Flag this post
Show HN: Three Realms Protocol v1.0 – A Living Base Protocol for Civilization
github.com·2d·
Discuss: Hacker News
📝ABNF Parsing
Flag this post
Random Thoughts About AI
dinosaurseateverybody.com·4d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Flag this post
I'm a Senior Developer and I Still Google Everything (And That's Perfectly Normal)
dev.to·3d·
Discuss: DEV
⚙️Proof Engineering
Flag this post
Truenas is giving me pain, help needed
reddit.com·1h·
Discuss: r/homelab
💿Proxmox HA
Flag this post
The Versity S3 Gateway: A High-Performance S3 Translation Service
github.com·3d·
Discuss: Hacker News
🏎️Varnish Cache
Flag this post
Day 12: Rediscovering the Longest Word Without `len()`
dev.to·2d·
Discuss: DEV
🔗Concatenative Languages
Flag this post
Sync or Sink: Bounds on Algorithmic Collective Action with Noise and Multiple Groups
arxiv.org·3d
🧮Kolmogorov Bounds
Flag this post
TabR1: Taming GRPO for tabular reasoning LLMs
arxiv.org·5d
🤖Grammar Induction
Flag this post
Robust Reinforcement Learning in Finance: Modeling Market Impact with Elliptic Uncertainty Sets
arxiv.org·2d
🔲Cellular Automata
Flag this post
SPAN: Continuous Modeling of Suspicion Progression for Temporal Intention Localization
arxiv.org·2d
📊Learned Metrics
Flag this post
The Breakneck Future of Codegen: Why AI SWE Must Be Matched with AI SRE
devops.com·2d
🔄Reproducible Builds
Flag this post
DART: A Structured Dataset of Regulatory Drug Documents in Italian for Clinical NLP
arxiv.org·4d
🎙️Whisper
Flag this post
Socialized Learning and Emergent Behaviors in Multi-Agent Systems based on Multimodal Large Language Models
arxiv.org·4d
🔲Cellular Automata
Flag this post
The Difference Between AI Assistants and AI Agents (And Why It Matters)
dev.to·14h·
Discuss: DEV
📐Proof Assistants
Flag this post
Tech With Tim: How to Write Production Python Code
dev.to·3d·
Discuss: DEV
⚔️Lean Tactics
Flag this post
Tech With Tim: ULTIMATE AI Coding Tutorial with Warp Code
dev.to·3d·
Discuss: DEV
🎬WebCodecs
Flag this post
Reasoning Under a Cloud: Making Smarter AI Decisions with Fragmented Knowledge by Arvind Sundararajan
dev.to·3d·
Discuss: DEV
🧠Computational Logic
Flag this post