#proofs — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #proofs, aggregated by home.social.
-
Why are some #proofs #human-readable and others aren’t?
Why do I understand my own proofs when writing them, but am struggling to understand them when reading them after a long break?
There are many tiny inference steps that are implicit in the write-up and need to be rediscovered by the reader.
My feeling is that natural language facilitates these implicit inferences if the proof is written in a suitable way.
So a #human-readable proof needs to trigger natural language inferences!
-
Why are some #proofs #human-readable and others aren’t?
Why do I understand my own proofs when writing them, but am struggling to understand them when reading them after a long break?
There are many tiny inference steps that are implicit in the write-up and need to be rediscovered by the reader.
My feeling is that natural language facilitates these implicit inferences if the proof is written in a suitable way.
So a #human-readable proof needs to trigger natural language inferences!
-
Why are some #proofs #human-readable and others aren’t?
Why do I understand my own proofs when writing them, but am struggling to understand them when reading them after a long break?
There are many tiny inference steps that are implicit in the write-up and need to be rediscovered by the reader.
My feeling is that natural language facilitates these implicit inferences if the proof is written in a suitable way.
So a #human-readable proof needs to trigger natural language inferences!
-
Why are some #proofs #human-readable and others aren’t?
Why do I understand my own proofs when writing them, but am struggling to understand them when reading them after a long break?
There are many tiny inference steps that are implicit in the write-up and need to be rediscovered by the reader.
My feeling is that natural language facilitates these implicit inferences if the proof is written in a suitable way.
So a #human-readable proof needs to trigger natural language inferences!
-
Why are some #proofs #human-readable and others aren’t?
Why do I understand my own proofs when writing them, but am struggling to understand them when reading them after a long break?
There are many tiny inference steps that are implicit in the write-up and need to be rediscovered by the reader.
My feeling is that natural language facilitates these implicit inferences if the proof is written in a suitable way.
So a #human-readable proof needs to trigger natural language inferences!
-
Dungeon Proof Crawler: learn how to write proofs with RPG
https://dhilst.github.io/algae/game/index.html
#HackerNews #DungeonCrawler #RPG #Learning #Proofs #Game #Development
-
Dungeon Proof Crawler: learn how to write proofs with RPG
https://dhilst.github.io/algae/game/index.html
#HackerNews #DungeonCrawler #RPG #Learning #Proofs #Game #Development
-
Dungeon Proof Crawler: learn how to write proofs with RPG
https://dhilst.github.io/algae/game/index.html
#HackerNews #DungeonCrawler #RPG #Learning #Proofs #Game #Development
-
Dungeon Proof Crawler: learn how to write proofs with RPG
https://dhilst.github.io/algae/game/index.html
#HackerNews #DungeonCrawler #RPG #Learning #Proofs #Game #Development
-
Dungeon Proof Crawler: learn how to write proofs with RPG
https://dhilst.github.io/algae/game/index.html
#HackerNews #DungeonCrawler #RPG #Learning #Proofs #Game #Development
-
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 -
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 -
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 -
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 -
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?"
-
"How do we balance the creativity needed to discover new mathematical connections with the rigor needed to ensure that every logical step is undeniable?"
-
"How do we balance the creativity needed to discover new mathematical connections with the rigor needed to ensure that every logical step is undeniable?"
-
"How do we balance the creativity needed to discover new mathematical connections with the rigor needed to ensure that every logical step is undeniable?"
-
"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
-
@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
-
@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
-
@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
-
@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
-
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
-
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
-
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
-
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! 😡
-
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! 😡
-
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! 😡
-
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! 😡
-
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
-
Lies, Damned Lies and Proofs: Formal Methods Are Not Slopless
#HackerNews #Lies #Damned #Lies #Formal #Methods #Proofs #Technology
