Programming
⚑ Сообщить о проблемеПоследние новости Programming от Tech News
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…
Everything is a Trust Decision
A machine checked proof of the exhaustive boundaries of trust. I'll let the text carry the rest. Comments
Terence Tao on “prematurely solving [a maths] problem by purely AI-powered methods”
I recommend reading the whole thread, but I linked to the part I found the most relevant. I believe the same is true for programming. Comments
Designing a Game Around a Target Nobody Will Hit: The Arithmetic of 38-0-0
Most sports games ask you to win a league. 38-0-0 asks you to win every match of a Serie A season — 38 out of 38, where a single draw ends the run.…
What Weekday Is Your Birthday, Really? The Calendar Is Quietly Biased
You'd expect a date to fall on each of the seven weekdays about equally often. It doesn't — and it can't . The Gregorian calendar runs in an exact 4…
Building a Verification Pipeline for AI-Assisted Math Solutions
Mathematics assistants are useful when they reduce the mechanical burden of a problem without hiding the reasoning. They can transcribe an equation…
Is Friday the 13th really more common? I counted 400 years to find out
The superstition claims Friday the 13th is unlucky. It turns out it's also, very slightly, the most likely — the 13th lands on a Friday more often t…
Структурные аномалии базовых точек secpXXXk1: криптоанализ Биткоина и практическое моделирование в Google Colab
В данной статье в качестве криптоанализа Биткоина разберём вычислительный научный эксперимент, воспроизводящий и расширяющий наблюдение John Z…