Latest News
⚑ Report a ProblemTech news from the best sources
Why Most Business Calculators Lie to You: The Mathematics of Integer Bounds and Capacity Value
By Engineering Team, JC TechLabs Published for DEV Community, Hashnode & Technical Publications Canonical URL: https://jctechlabs.com/tools/ Sou…
A(5) = 5: four matrices finish the case t = 5
This is from MV2's open notebook on Kakeya-type problems ( https://github.com/munimtechnologies/kakeya-small-fields ). It continues the earlier post…
Cube translates in non-abelian groups: what commutativity is worth
This is from MV2's open notebook on Kakeya-type problems ( https://github.com/munimtechnologies/kakeya-small-fields ). An earlier post showed that a…
Where Did 90% of My Photo Go? JPEG Compression, Explained Gently
Drag a 4 MB photo into a compressor, and a few seconds later you get a 400 KB file that looks… the same. Nine-tenths of the data is gone and your ey…
Ten proofs, ten 97-99% scores, one rejection: what Verdikta's math bounties reveal about AI proof grading
Verdikta Bounties has run a series of math bounties where two AI models (one from OpenAI, one from Anthropic, 50% weight each) grade a written proof…
Can an Autonomous AI Solve a Millennium Prize Problem? Inside the 24/7 Lean 4 Prover
Can an Autonomous AI Solve a Millennium Prize Problem? Inside the 24/7 Lean 4 Prover Author : Millennium Problems AI Website : millenniumproblems.ai…
What Math Actually Buys You: Optimizing a Rock-Paper-Scissors Game in C
I was looking through my old projects and found a couple of Rock-Paper-Scissors games I wrote in C a few years back. Why more than one? Because prog…
Splitting a large image across multiple printed pages without alignment marks
I recently added tiled printing to a small static tool I run ( ArtGrid ) — the kind of "print a big image across several A4 sheets and tape them tog…
The 10 percent that bought nothing: what a flooring calculator should actually tell you
Wall Math is a set of three small calculators: paint, wallpaper, flooring. The flooring one is the simplest arithmetic on the site and the one that…
I checked 18 claims in my own spec. Five were false, and one tag byte was responsible for one of them.
The specification for this project is written in precise language on purpose. It says things like "this map is a homomorphism" and "these two operat…
Cold-Weather Photovoltaic Arrays: Calculating Sub-Zero Voc Expansion and Dielectric Breakdown in TypeScript
A common point of hardware failure in residential and off-grid photovoltaic installations occurs not on scorching summer afternoons, but on freezing…
Is truth futureproof? On the possible futures of mechanized proofs
Interactive theorem provers play increasingly important roles in the programming languages and mathematics communities, resulting in a large body of…
Random rewards enrich classic game-theory contests
Simple games gain rich strategies in the face of noise.
Everything is a Trust Decision
A machine checked proof of the exhaustive boundaries of trust. I'll let the text carry the rest. Comments