🛠 Language Design

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

How Teen Mathematician Hannah Cairo Disproved a Major Conjecture in Harmonic Analysis
scientificamerican.com·2d
📐Mathematical Art
Sharing practical guidance: Launching Microsoft Secure Future Initiative (SFI) patterns and practices
microsoft.com·6h
🎯Threat Hunting
Making of SARE: Master Seeds in Hybrid Post-Quantum Encryption
zola.ink·1d·
Discuss: Hacker News
🌳Archive Merkle Trees
C Language Enum Tips & Tricks (2021)
kubyshkin.name·3d·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
HBM roadmaps for Micron, Samsung, and SK hynix: To HBM4 and beyond
tomshardware.com·9h
🖥️Hardware Architecture
The Ghost in the Graph, Pt. 2, or Why Winning Big Is the Fastest Way to Lose
vasily.cc·2d·
Discuss: Hacker News
⚙️systems theory
How to Teach Programming Badly
benjaminschneider.ch·3d·
Discuss: Hacker News
🦀Rust Macros
I Spent $500 To Test Devin For Prompt Injection So That You Don't Have To
embracethered.com·14h·
Discuss: Hacker News
🧮Z3 Solver
Three bad things: threads, garbage collection, and nondeterministic destructors
apenwarr.ca·3d·
Discuss: Hacker News
🧠Separation Logic
[D] Seeking advice on choosing PhD topic/area
reddit.com·1d·
Discuss: r/MachineLearning
🧠Machine Learning
Roll Your Own Virtual Ontology with Claude Code
github.com·2d·
Discuss: Hacker News
📋Document Grammar
Building an AI Tokenization Demo: From Workshop to App
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
Towed Movable Antenna (ToMA) Array for Ultra Secure Airborne Communications
arxiv.org·1d
⚽Sphere Packing
A Novel Sliced Fused Gromov-Wasserstein Distance
arxiv.org·1d
🌀Differential Geometry
Pay What LLM Wants: Can LLM Simulate Economics Experiment with 522 Real-human Persona?
arxiv.org·18h
💻Local LLMs
A matrix preconditioning framework for physics-informed neural networks based on adjoint method
arxiv.org·18h
🌀Riemannian Computing
Keynote: From Grass to Glass: Chitale Dairy's App Tra... Vishvas Parshuram Chitale & Dilpreet Bindra
youtube.com·8h
🌊Streaming Systems
Toward using explainable data-driven surrogate models for treating performance-based seismic design as an inverse engineering problem
arxiv.org·2d
🧠Machine Learning
Manual Branding Tasks – Solved by Runway ML
dev.to·5h·
Discuss: DEV
🦋Format Metamorphosis
I Was Tired of Proving I Wasn’t Lying So I Built Devlog!
dev.to·23h·
Discuss: DEV
🚀Indie Hacking