#proofs — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #proofs, aggregated by home.social.
-
At CDIS at KTH and listening to June Andronick on seL4 and I'm left wondering how scalable relying on global axiom of choice is in the era of vibe coders. Perhaps nothing has changed? We just commit to to do MORE proofs by vibe proving? As Terrence Tao (@tao) has pointed out, in this era it is not important who produces an artifact, it is however important to ingest the artifact in such a way that we collectively can build trust against said artifact. Personally I feel that, in this era, it is time to outlaw weak programming languages and require formal verification for any operating software, vibe coded or not. #proofs #formal #verification #vibecoding
-
We have created two mini apps: Fantastic Fractals and Triangular Geometry. The web versions are available at https://driota.xyz. Android versions are also currently in preview (see the webpage for information). Comments and suggestions are greatly appreciated.
Tutorial videos are available on YouTube:
https://www.youtube.com/watch?v=1p4UONYYCo8
https://www.youtube.com/watch?v=Cawd_Qzz2yQ#math #geometry #proofs #triangle #fractal #interactive #animated
-
AI could destroy mathematics and barely touch it
https://davidbessis.substack.com/p/the-fall-of-the-theorem-economy
#AI challenges the "theorem economy" by automating #proofs while overlooking human intuition. Bessis argues that math's true product is understanding, not just results, which AI cannot yet replicate. The discipline's focus on theorems over concepts makes it vulnerable to machines that solve problems without building meaning. To remain relevant, mathematicians must emphasize the field's role in human sense-making rather than competitive symbol-pushing. Success depends on valuing the process of cognitive elevation and the creation of shared conceptual language.
#mathematics #philosophy -
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 -
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 -
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 -
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 -
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?
#HackerNews #Math #Rigor #Digitized #Proofs #Mathematics #Education #Digital #Innovations
-
In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far?
#HackerNews #Math #Rigor #Digitized #Proofs #Mathematics #Education #Digital #Innovations
-
In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far?
#HackerNews #Math #Rigor #Digitized #Proofs #Mathematics #Education #Digital #Innovations
-
In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far?
#HackerNews #Math #Rigor #Digitized #Proofs #Mathematics #Education #Digital #Innovations
-
In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far?
#HackerNews #Math #Rigor #Digitized #Proofs #Mathematics #Education #Digital #Innovations
-
"How do we balance the creativity needed to discover new mathematical connections with the rigor needed to ensure that every logical step is undeniable?"
-
@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://www.evshift.com/389480/the-proofs-in-the-drive-mini-millyrock-youtubeshorts/ The proof’s in the drive. #MINI #MillyRock #YoutubeShorts #2016 #car #CarDetails #CarHumor #CarHumour #drive #driving #ElectricCars #ElectricVehicles #EV #funny #FunnyCarVideo #MilliRock #MillyRock #millyrock #mini #MiniCooper #proofs #TheNewMiniCooper #YouAreNotTheFather #YoutubeShorts #youtubeshorts
-
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 -
XML-Lib – An over-engineered XML workflow with guardrails and proofs
https://github.com/farukalpay/xml-lib
#HackerNews #XMLLib #OverEngineering #XMLWorkflow #Guardrails #Proofs #GitHub
-
XML-Lib – An over-engineered XML workflow with guardrails and proofs
https://github.com/farukalpay/xml-lib
#HackerNews #XMLLib #OverEngineering #XMLWorkflow #Guardrails #Proofs #GitHub
-
XML-Lib – An over-engineered XML workflow with guardrails and proofs
https://github.com/farukalpay/xml-lib
#HackerNews #XMLLib #OverEngineering #XMLWorkflow #Guardrails #Proofs #GitHub
-
XML-Lib – An over-engineered XML workflow with guardrails and proofs
https://github.com/farukalpay/xml-lib
#HackerNews #XMLLib #OverEngineering #XMLWorkflow #Guardrails #Proofs #GitHub
-
XML-Lib – An over-engineered XML workflow with guardrails and proofs
https://github.com/farukalpay/xml-lib
#HackerNews #XMLLib #OverEngineering #XMLWorkflow #Guardrails #Proofs #GitHub
-
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
-
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
-
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
-
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
-
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
-
Claim: GPT-5-pro can prove new interesting mathematics
https://twitter.com/SebastienBubeck/status/1958198661139009862
-
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.
-
To be a better programmer, write little proofs in your head
https://the-nerve-blog.ghost.io/to-be-a-better-programmer-write-little-proofs-in-your-head/
#HackerNews #betterprogrammer #programming #proofs #mindset #learning #coding
-
[A] new paper [...] demonstrates a method for tricking a commercially available proof system into certifying false statements, even though the system is demonstrably secure if you accept the random oracle model."
https://www.quantamagazine.org/computer-scientists-figure-out-how-to-prove-lies-20250709/
#Computing #Randomness #HashFunctions #RandomOracle #Security #Proofs
-
[A] new paper [...] demonstrates a method for tricking a commercially available proof system into certifying false statements, even though the system is demonstrably secure if you accept the random oracle model."
https://www.quantamagazine.org/computer-scientists-figure-out-how-to-prove-lies-20250709/
#Computing #Randomness #HashFunctions #RandomOracle #Security #Proofs
-
[A] new paper [...] demonstrates a method for tricking a commercially available proof system into certifying false statements, even though the system is demonstrably secure if you accept the random oracle model."
https://www.quantamagazine.org/computer-scientists-figure-out-how-to-prove-lies-20250709/
#Computing #Randomness #HashFunctions #RandomOracle #Security #Proofs
-
[A] new paper [...] demonstrates a method for tricking a commercially available proof system into certifying false statements, even though the system is demonstrably secure if you accept the random oracle model."
https://www.quantamagazine.org/computer-scientists-figure-out-how-to-prove-lies-20250709/
#Computing #Randomness #HashFunctions #RandomOracle #Security #Proofs
-
[A] new paper [...] demonstrates a method for tricking a commercially available proof system into certifying false statements, even though the system is demonstrably secure if you accept the random oracle model."
https://www.quantamagazine.org/computer-scientists-figure-out-how-to-prove-lies-20250709/
#Computing #Randomness #HashFunctions #RandomOracle #Security #Proofs
-
"Proofs really aren't there to convince you that something is true – they're there to show you why it is true." – Andrew Mattei Gleason (1921–2008)
#quote #mathematics #maths #math #proofs
