#proofs — Public Fediverse posts

Season 2, Episode 9 is live.
Estimates behave, contours close, and a late‑night mistake gets fixed the right way.
Mathematics in motion not just results, but refinement.
#Mathematics #Proofs #LearningInPublic
https://cortexdrifter.blogspot.com/2026/04/a-small-taste-from-my-new-book-season-2_17.html

In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far?

https://www.quantamagazine.org/in-math-rigor-is-vital-but-are-digitized-proofs-taking-it-too-far-20260325/

#HackerNews #Math #Rigor #Digitized #Proofs #Mathematics #Education #Digital #Innovations

@urlyman Others might hold that there is a confluence between the limits of Algorithmic Information; the modelling of digital and analogue processes and Information Algorithms; the reasons for the effective and beneficial processing of properties states. With no proof, are LLMs and quantum computers not just the projection and gaslighting of abstract relations and the reductionist predication of presuppositions? #Models #Proofs #Algorithms #Information #QuantumComputers #LLM #PhilosophyOfAlgorithms

Phew, managed to read through the proofs of an article today. Was a bit tight, only had 15 mins of working time left. It always tends to take longer than expected.

#proofs #publishing #AcademicChatter #AcademicFedi #manuscript #science #research

Blocked by person refusing to believe a #Mathematics #textbook and #proofs because of a random #Wikipedia article that doesn't cite any Maths textbooks, and in fact has proofs in it that actually contradict the conclusion! (the series 0.1, 0.01, 0.001, 0.0001,... never reaches zero, even as the series approaches infinity - it's a hyperbola with an asymptote of 0 - which you think would be self-evident, and yet here we are) Welcome to the #disinformation age! 😡

https://dotnet.social/@SmartmanApps/115207044364101854

Lies, Damned Lies and Proofs: Formal Methods Are Not Slopless

https://www.lesswrong.com/posts/rhAPh3YzhPoBNpgHg/lies-damned-lies-and-proofs-formal-methods-are-not-slopless

#HackerNews #Lies #Damned #Lies #Formal #Methods #Proofs #Technology

This tome 📚, a veritable who’s who of the "I-can-prove-more-than-you" club, promises to transform your evenings into a thrilling journey through the land of functional data #structures, where even #algorithms get the royal proof treatment 🤓🧐. But don't worry, all #proofs are safely tucked away in #Isabelle, so you can finally find a good use for that 'Download PDF' button! 🤯💻
https://fdsa-book.net/ #functionaldata #HackerNews #HackerNews #ngated

Road to ZK Implementation: Nethermind Client's Path to Proofs

https://www.nethermind.io/blog/road-to-zk-implementation-nethermind-clients-path-to-proofs

#HackerNews #RoadToZKImplementation #NethermindClient #Proofs #Blockchain #Technology #ZKProofs

Quadratic memory reductions for Zero-knowledge Proofs

https://github.com/logannye/space-efficient-zero-knowledge-proofs

#HackerNews #Quadratic #Memory #Reductions #Zero-Knowledge #Proofs #Cryptography #Blockchain #Research

Claude Can (Sometimes) Prove It

https://www.galois.com/articles/claude-can-sometimes-prove-it

#HackerNews #Claude #Can #Sometimes #Prove #It #Galois #AI #Research #Machine #Learning #Proofs

Nice – more code-samples would’ve made it better:

“To Be a Better Programmer, Write Little Proofs In Your Head”, Nerve (https://the-nerve-blog.ghost.io/to-be-a-better-programmer-write-little-proofs-in-your-head/).

Via HN: https://news.ycombinator.com/item?id=44573409

See Also: “The Science Of Programming”, by David Gries.

#Programming #Proofs #Correctness

Reading the #proofs of a #paper during my vacation time.

I'm not sure what is more irritating, being urged to do that within 48 hours when I'm supposed to be off, or seeing that they have inserted Oxford commas everywhere but don't use en-dashes except for ranges. 😄

#OxfordComma #EnDash #Typography

#Math #Proofs

Ho ripubblicato un #repo GitHub circa delle #dimostrazioni di #matematica: qualcuno che si senta coraggioso e mi voglia dare una mano a controllarle?

https://github.com/senzanome75/Math-Proofs

#Math #Proofs

Ho ripubblicato un #repo GitHub circa delle #dimostrazioni di #matematica: qualcuno che si senta coraggioso e mi voglia dare una mano a controllarle?

https://github.com/senzanome75/Math-Proofs

#Math #Proofs

Ho ripubblicato un #repo GitHub circa delle #dimostrazioni di #matematica: qualcuno che si senta coraggioso e mi voglia dare una mano a controllarle?

https://github.com/senzanome75/Math-Proofs

#Math #Proofs

Ho ripubblicato un #repo GitHub circa delle #dimostrazioni di #matematica: qualcuno che si senta coraggioso e mi voglia dare una mano a controllarle?

https://github.com/senzanome75/Math-Proofs

Many years ago, when I went to #law school, the #IRAC structure of legal analysis was pounded into us 1Ls. Long before that, I was an undergrad #EE. We were never taught how to read and write mathematical #proofs, unlike our peers in #Maths. Did we non-maths STEMers get short-shifted during undergrad?

Interesting #math video on sparse rulers, which has applications ranging from #stellar #interferometry to #ElectricalEngineering designing voltage taps on transformers (ok, these days we have switchmode PS, but it's still cool).

https://www.youtube.com/watch?v=JQkFyuwAEdU

#discrete #maths #proofs

I'll be delivering a course on #Propositions and #Types , #Proofs and #Programs in the second week. Should be fun! http://lss.cecs.anu.edu.au/lectures/2022/2022/#ranald