Moving on from XML? A teaser for a possible alternative
genodians.org·6h·
Discuss: Hacker News
📝Concrete Syntax
Cold Calculation
kae3g.codeberg.page·4h·
Discuss: Hacker News
⚡Incremental Computation
The Unknotting Number is Not Additive
divisbyzero.com·2d·
Discuss: Hacker News
🕸️Algebraic Topology
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·2d·
Discuss: Hacker News, r/programming
🌳Incremental Parsing
OCaml 5.4 Release: New Features, Fixes, and More
tarides.com·15h·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
Fundamental engineering principles can help identify disease biomarkers more quickly
phys.org·6h
⚙️systems theory
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·1d·
Discuss: Hacker News, r/programming
✅Format Verification
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·23h·
Discuss: Hacker News
⬌Bidirectional Typing
Nearly Instance-Optimal Parameter Recovery from Many Trajectories via Hellinger Localization
arxiv.org·2d
🧮Kolmogorov Bounds
Reverse Supply Chain Network Design of a Polyurethane Waste Upcycling System
arxiv.org·1d
🔗Supply Chain
Automated Surface Tension Profiling via Static Contact Angle Analysis & Bayesian Inference
dev.to·3h·
Discuss: DEV
🌀Differential Geometry
ARES: Multimodal Adaptive Reasoning via Difficulty-Aware Token-Level Entropy Shaping
arxiv.org·1d
🧮Kolmogorov Complexity
Bayesian Optimization for Dynamic Sample Size Allocation in A/B Testing
dev.to·2h·
Discuss: DEV
🧮Kolmogorov Bounds
Memgoose – An In-Memory Mongoose Impersonator
github.com·13h·
Discuss: Hacker News
🔄Sync Engine
Quantum Agents: The Algorithmic Alchemists Reshaping Discovery
dev.to·12h·
Discuss: DEV
⚛️Quantum Algorithms
Average Controlled and Average Natural Micro Direct Effects in Summary Causal Graphs
arxiv.org·1d
✨Effect Handlers
Two-Stage Voting for Robust and Efficient Suicide Risk Detection on Social Media
arxiv.org·1d
💾Binary Linguistics
TransFIRA: Transfer Learning for Face Image Recognizability Assessment
arxiv.org·2d
📊Learned Metrics
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org·2d
🔨Compilers
Flavonoid Fusion: Creating a Knowledge Graph to Unveil the Interplay Between Food and Health
arxiv.org·2d
🗂️Information Architecture