🛠 Language Design

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

DNS at IETF 123
potaroo.net·1d
🌐DNS Security
Group Technology, the Forgotten Cousin of Lean Manufacturing
construction-physics.com·3h
🇷🇺Soviet Computing
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·3d·
Discuss: Substack, r/programming
🎯Proof Tactics
Getting started with CodeQL, GitHub's declarative static analyzer for security
tweag.io·17h
✅Archive Validation
Project Ire autonomously identifies malware at scale
microsoft.com·2d·
Discuss: Lobsters, Hacker News
🦠Malware Analysis
Improving 9-1-1 Operations with Artificial Intelligence
ntia.gov·1h·
Discuss: Hacker News
🚨Incident Response
Writing culture
splits.org·1d·
Discuss: Hacker News
🧠Personal Knowledge Base
Announcing ChaCha12-BLAKE3: Secure, Simple and Fast encryption for any CPU
kerkour.com·1d·
Discuss: Hacker News
🔐Cryptographic Archaeology
The hiring test that defeated AI
bitecode.dev·2d·
Discuss: Hacker News
✅Shell Verification
Show HN: Elf0 – Build and run AI agent workflows in YAML (CLI)
elf0.com·2d·
Discuss: Hacker News
👑Isabelle
Microglia–neuron crosstalk via Hex–GM2–MGL2 maintains brain homeostasis
nature.com·1d
🧲Magnetic Domains
The SmartBase - IoT Adjustable Bed for Comfort and Safety (2019)
hackster.io·2d·
Discuss: Lobsters, Hacker News
🏠Home Automation
Why do children take things so literally?
phys.org·1d
🌲Parse Trees
Remini: Leveraging Chatbot-Mediated Mutual Reminiscence for Promoting Positive Affect and Feeling of Connectedness among Loved Ones
arxiv.org·1d
🌍Cultural Algorithms
The Subfactorial and Some Historical Notes
pballew.blogspot.com·1d·
Discuss: www.blogger.com
🖋Typography
HeQ: a Large and Diverse Hebrew Reading Comprehension Benchmark
arxiv.org·2d
🔍Information Retrieval
DRIVE-T: A Methodology for Discriminative and Representative Data Viz Item Selection for Literacy Construct and Assessment
arxiv.org·13h
🗺️Competency Maps
Multi-Granularity Feature Calibration via VFM for Domain Generalized Semantic Segmentation
arxiv.org·1d
📊Learned Metrics
Causal Disentanglement and Cross-Modal Alignment for Enhanced Few-Shot Learning
arxiv.org·1d
📊Learned Metrics
Point-Based Shape Representation Generation with a Correspondence-Preserving Diffusion Model
arxiv.org·13h
🌀Riemannian Computing