The mathematical essence of origami blue-and-white porcelain
aperiodical.com·3d
📐Mathematical Art
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·3d
🌳Archive Merkle Trees
The modern text processing pipeline: Overview
newroadoldway.com·3d·
Discuss: Lobsters, r/programming
🔤Unicode Normalization
Why Dyad?: A Perspective for Modelica Users
juliahub.com·1d·
Discuss: Hacker News
💧Liquid Types
Refactoring English: Effective Writing for Software Developers
refactoringenglish.com·16h·
Discuss: Hacker News
🎯Gradual Typing
Programming Entry Level: how to interpreter
dev.to·2d·
Discuss: DEV
🔗Lisp
LLMs Are Faking Neutrality—And We Can Now Measure It
hackernoon.com·20h
📝Concrete Syntax
Hypercubical manifolds in homotopy type theory
arxiv.org·1d
🔶Cubical Type Theory
Day 11 - Building the Document Management System
dev.to·14h·
Discuss: DEV
⚖️Legal Compliance
Causal discovery in deterministic discrete LTI-DAE systems
arxiv.org·20h
🧠Machine Learning
new2
dev.to·21h·
Discuss: DEV
🧠Query Planners
Floating-Point Data Transformation for Lossless Compression
arxiv.org·2d
🌊Streaming Compression
Perspectives in Play: A Multi-Perspective Approach for More Inclusive NLP Systems
arxiv.org·20h
📚Digital Humanities
Imitation Box Horse - Personal Center Page (19)
dev.to·1d·
Discuss: DEV
📖Nordic Typography
Python Programming
dev.to·3h·
Discuss: DEV
📝Concrete Syntax
🚀 Mastering Vectors in Rust
dev.to·5h·
Discuss: DEV
🦀Rust Borrowing
AMF-MedIT: An Efficient Align-Modulation-Fusion Framework for Medical Image-Tabular Data
arxiv.org·1d
🤖Advanced OCR
An ab initio foundation model of wavefunctions that accurately describes chemical bond breaking
arxiv.org·20h
🕸️Tensor Networks
Mastering Laravel's MVC: A Practical Guide for Cleaner Code
dev.to·1d·
Discuss: DEV
🔬Refinement Types
Building Scalable Web Applications with Advanced JavaScript Patterns
dev.to·1d·
Discuss: DEV
🛠Language Design