Software convergence
underlap.org·1d
🔢Denotational Semantics
CodeSOD: Copy of a Copy of a
thedailywtf.com·3d
🌲B-tree Forensics
Get Back To WARP
binary.ninja·16h
🧪Binary Fuzzing
WeakC4, or Distilling an Emergent Object
2swap.github.io·9h·
Discuss: Hacker News
🔲Cellular Automata
Algebra 2 Problems of the Day (Algebra 2 Regents, August 2024 Part III)
mrburkemath.blogspot.com·2d·
Discuss: www.blogger.com
📐Linear Algebra
Beyond Bézier
beyondbezier.ch·46m·
Discuss: Hacker News
📖Nordic Typography
Code Smell 308 - The Key to Safer, Cleaner, More Polymorphic Code
hackernoon.com·5d
🎯Gradual Typing
Pgschema: Postgres Declarative Schema Migration, Like Terraform
pgschema.com·17h·
Discuss: Hacker News
🚚Data Migration
Stemming -- The Evolution and Current State with a Focus on Bangla
arxiv.org·1d
🔤Morphological Analysis
Semcheck: Spec-Driven Development Using LLMs
labs.rejot.dev·18h·
Discuss: Hacker News
⚡Proof Automation
Herb Sutter "Three Cool Things in C++26"
herbsutter.com·2d·
Discuss: Hacker News
🔩Systems Programming
Ergonomic errors in Rust: write fast, debug with ease, handle precisely
gmcgoldr.github.io·16h·
Discuss: Hacker News
⚡Dependent Rust
You could have invented CuTe hierarchical layout (but maybe not the rest of it?)
blog.ezyang.com·1d·
Discuss: blog.ezyang.com
⟷Bidirectional Programming
Advanced Aerosol Classification via Dynamic Feature Fusion and Bayesian Inference in Cleanroom Monitoring
dev.to·2d·
Discuss: DEV
📄Document Digitization
how to decide on the sequence of computable numbers
academia.edu·2d·
Discuss: Hacker News, r/programming
🎞️Tape Combinatorics
Show HN: Tabwise – AI data analyst that outperforms ChatGPT and Claude
tabwise.ai·18h·
Discuss: Hacker News
⚡Proof Automation
Building a Regex Engine
abstractsyntaxseed.com·2d·
Discuss: Lobsters, Hacker News
🔍RegEx Engines
Unification
eli.thegreenplace.net·5d·
Discuss: Hacker News
🤝Unification Algorithms
Centrally Collecting Events from Go Microservices
pliutau.com·20h·
Discuss: r/golang
📝Log Parsing
Introduction to Julia for R Users
nrennie.rbind.io·1d·
Discuss: Hacker News
🦀Rust Macros