From Dev.to Community
Tech Articles
Curated developer articles, tutorials, and guides — auto-updated hourly
The Mansions of Science4d ago • 1 min read
Finite Depth Quantum Circuits and Symmetry Protected Topological Phases
Suppose you start with a bunch of uncorrelated qubits. This is called the “trivial product state”,.....
#math#physics
0 0
Nobuki Fujimoto4d ago • 17 min read
Paper 158 v0.2 — The Collatz Exit Layer: Zero-Sorry Lean 4 Formalization of m_p = (4^p 1)/3, and an Honest Map of the Seven-Route Wall Beyond
Lean 4 axiom-free (zero-sorry) formalization of the Collatz exit layer formula m_p = (4^p−1)/3 (Exit...
#math#lean#research#ai
0 0
Nobuki Fujimoto11h ago • 18 min read
Paper 168 v0.2 — Nāgārjuna's Empty Vessel: Lean 4 Axiom-Free ZCSG Encoding of Pratītyasamutpāda Field, Vessel Trap, and SELF Separation (Rei-AIOS)
Lean 4 axiom-free encoding of Nāgārjuna's 「空の器」 in ZCSG (Paper 61). Following Fujimoto 2026 4-koma m...
#philosophy#math#lean#research
0 0
The Mansions of Science4d ago • 2 min read
D-Modules = Derivatives + Vector Space (That’s it)
Let's recap the 12 rules for how to build a vector space is: You have a set (M) of elements, a set...
#math#physics
0 0
The Mansions of Science6d ago • 3 min read
Conformal Transformations, 2-step Proof that Angles do not Change
Step 1: Write down the limit Step 2: Use the arc-cosine formula A complex function, f(z), would...
#math#physics
0 0
The Mansions of Science4d ago • 1 min read
Frobenius Map Generates the Entire Galois Group
Start with a finite field F_q (meaning there are a finite number of elements, actually exactly q...
#math#physics
0 0
SEN LLC6d ago • 5 min read
Building an Expression Calculator in Rust — Pratt Parsing Turns Precedence into Two Numbers, and Rationals Kill Float Error
A terminal calculator where 1 + 2 * 3 is 7, 2^3^2 is 512 (= 2^9), and 0.1 + 0.2 is exactly 0.3 — not...
#rust#parsing#cli#math
0 0
simon2d ago • 4 min read
The Hidden Logic of Minesweeper: A Complete Strategy Guide
The Hidden Logic of Minesweeper: A Complete Strategy Guide Most casual players treat...
#minesweeper#logic#math
0 0
ludy.dev2d ago • 1 min read
Bayesian math is hard, so I built a zero-database A/B test & conversion calculator
Keeping the UI Fast For the frontend, I went with React and Tailwind CSS. Instead of...
#javascript#webdev#math#analytics
0 0
Nobuki Fujimoto4d ago • 41 min read
Paper 162 v0.8 — Shannon Excluded Meaning; SIT Fills the Gap; Recreation Paradigm Is One Implementation (Rei-AIOS)
Synthesis/perspective paper articulating the 3-step logical chain (Shannon 1948 scope-out of semanti...
#math#research#ai#philosophy
0 0
ryujinchoi2d ago • 5 min read
Resolving the 7 Millennium Prize Problems and Grand Unified Theory via Pure Algebraic Error Sterilization Infrastructure
Introduction For over a century, theoretical physics and pure mathematics have been...
#opensource#python#math#physics
0 0
Wanda4d ago • 6 min read
Math Term Paper Topics High School
Top 10 Best Services for Math Term Paper Topics (High School) – Complete Guide Choosing the right...
#math#term#paper#topics
0 0
Epickson6d ago • 8 min read
Math Sample Paper Term
Top 10 Best Math Sample Paper Term 2 Writing Services (2026 Guide) Searching for a math sample paper...
#math#sample#paper#term
0 0
Lee Lee1d ago • 4 min read
Free Online Calculators Students Actually Use in 2026
A practical guide to the free online calculators students reach for most: percentage, GPA, time, BMI...
#calculators#students#productivity#math
0 0
Lee Lee1d ago • 1 min read
Percentage Calculator — Discounts, Tips, Grades & Growth (2026 Guide)
Master everyday percent math: sale price, tip at restaurant, grade on a test, and percent change — w...
#math#percentage#finance#education
0 0
GFIL5d ago • 1 min read
Expected Value in Trading: The Math of Long-Term Success
EV = (Win% × AvgWin) - (Loss% × AvgLoss) Example: System wins 40% at 1:3 R/R EV = (0.4 × 3) - (0.6 ...
#trading#riskmanagement#math
0 0