-0--1-<p><a href="https://mastodon.social/tags/Proof" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Proof</span></a> <a href="https://mastodon.social/tags/JunkieGrifter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>JunkieGrifter</span></a></p>
Recent searches
No recent searches
Search options
Only available when logged in.
social.coop is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Fediverse instance for people interested in cooperative and collective projects. If you are interested in joining our community, please apply at https://join.social.coop/registration-form.html.
Administered by:
Server stats:
490active users
social.coop: About · Status · Profiles directory · Privacy policy
Mastodon: About · Get the app · Keyboard shortcuts · View source code · v4.3.4
#proof
2 posts · 2 participants · 0 posts today
Jan :rust: :ferris:<p>Iris Project | A Higher-Order Concurrent Separation Logic Framework,<br>implemented and verified in the Rocq Prover</p><p><a href="https://iris-project.org/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">iris-project.org/</span><span class="invisible"></span></a></p><p><a href="https://floss.social/tags/FormalVerification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FormalVerification</span></a> <a href="https://floss.social/tags/Iris" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Iris</span></a> <a href="https://floss.social/tags/ConcurrentSeparationLogic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ConcurrentSeparationLogic</span></a> <a href="https://floss.social/tags/Proof" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Proof</span></a></p>
Marlon Joseph Tesoro Battad<p>I HEREBY SHEW PROOF THAT I CAN PLAY "EASY MUSIC" AND SING N'AT, AND SIMULTANEOUSLY ANNOUNCE, NAY, DEMONSTRATE WHAT I'VE BEEN DOING TO THIS HYMN FOR, HEH, QUITE SOME TIME NOW! WHO KNOWS HOW LONG ITLL TAKE TO FINE TUNE!? TEN YEARS!? ELEVEN!?<br>MWAHAHAHAHAHAHAHAH!!!<br><a href="https://youtu.be/5hxgi8hnRBk" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">youtu.be/5hxgi8hnRBk</span><span class="invisible"></span></a></p><p><a href="https://mastodon.art/tags/MARLONBATTAD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MARLONBATTAD</span></a> <a href="https://mastodon.art/tags/SANCTUS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SANCTUS</span></a> <a href="https://mastodon.art/tags/BLANKNIGHT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>BLANKNIGHT</span></a> <a href="https://mastodon.art/tags/MARLONJOSEPHTESOROBATTAD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MARLONJOSEPHTESOROBATTAD</span></a> <a href="https://mastodon.art/tags/COPYRIGHT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>COPYRIGHT</span></a> <a href="https://mastodon.art/tags/EASYMUSIC" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>EASYMUSIC</span></a> <a href="https://mastodon.art/tags/PRACTICESESSION" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PRACTICESESSION</span></a> <a href="https://mastodon.art/tags/PIANO" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PIANO</span></a> <a href="https://mastodon.art/tags/ONEMANBAND" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ONEMANBAND</span></a> <a href="https://mastodon.art/tags/LATINTRANSLATION" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LATINTRANSLATION</span></a> <a href="https://mastodon.art/tags/CHURCHLATINTRANSLATION" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CHURCHLATINTRANSLATION</span></a> <a href="https://mastodon.art/tags/OPENCREATIVEPROCESS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OPENCREATIVEPROCESS</span></a> <a href="https://mastodon.art/tags/HOSANNA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HOSANNA</span></a> <a href="https://mastodon.art/tags/PROOF" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PROOF</span></a> <a href="https://mastodon.art/tags/WIPWEDNESDAY" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>WIPWEDNESDAY</span></a></p>
Paul Houle<p>✂️ Dudeney's 120-year-old dissection puzzle solution proves optimal</p><p><a href="https://phys.org/news/2025-03-dudeney-year-puzzle-solution-optimal.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">phys.org/news/2025-03-dudeney-</span><span class="invisible">year-puzzle-solution-optimal.html</span></a></p><p><a href="https://mastodon.social/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> <a href="https://mastodon.social/tags/geometry" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>geometry</span></a> <a href="https://mastodon.social/tags/puzzles" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>puzzles</span></a> <a href="https://mastodon.social/tags/dissection" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>dissection</span></a> <a href="https://mastodon.social/tags/proof" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>proof</span></a></p>
Crypto News<p>SEC’s Proof-of-Work Mining Statement Draws Fire From Democratic Commissioner - The sole Democratic voice on the U.S. Securities and Exchange Commission (SEC), Ca... - <a href="https://news.bitcoin.com/secs-proof-of-work-mining-statement-draws-fire-from-democratic-commissioner/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">news.bitcoin.com/secs-proof-of</span><span class="invisible">-work-mining-statement-draws-fire-from-democratic-commissioner/</span></a> <a href="https://schleuss.online/tags/proof" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>proof</span></a>-of-work(pow) <a href="https://schleuss.online/tags/regulation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>regulation</span></a> <a href="https://schleuss.online/tags/sec" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>sec</span></a></p>
Crypto News<p>Proof-of-Work Crypto Mining Doesn’t Trigger Securities Laws, SEC Says - Proof-of-work cryptocurrency mining does not trigger federal securities laws, according t... - <a href="https://www.coindesk.com/policy/2025/03/20/proof-of-work-crypto-mining-doesn-t-trigger-securities-laws-sec-says" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">coindesk.com/policy/2025/03/20</span><span class="invisible">/proof-of-work-crypto-mining-doesn-t-trigger-securities-laws-sec-says</span></a> <a href="https://schleuss.online/tags/bitcoinmining" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>bitcoinmining</span></a> <a href="https://schleuss.online/tags/proof" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>proof</span></a>-of-work <a href="https://schleuss.online/tags/policy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>policy</span></a> <a href="https://schleuss.online/tags/sec" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>sec</span></a></p>
Crypto News<p>SEC Clarifies Proof-of-Work Mining Excludes Securities Regulations Under Trump Administration - The U.S. Securities and Exchange Commission (SEC) under the Trump administration s... - <a href="https://news.bitcoin.com/sec-clarifies-proof-of-work-mining-excludes-securities-regulations-under-trump-administration/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">news.bitcoin.com/sec-clarifies</span><span class="invisible">-proof-of-work-mining-excludes-securities-regulations-under-trump-administration/</span></a> <a href="https://schleuss.online/tags/proof" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>proof</span></a>-of-work(pow) <a href="https://schleuss.online/tags/cryptonews" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>cryptonews</span></a> <a href="https://schleuss.online/tags/securities" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>securities</span></a> <a href="https://schleuss.online/tags/mining" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mining</span></a></p>
Markus Redeker<p>Proof by starvation: This is a proof form in which you first prove that a counterexample to the theorem must have property X, then, using X, prove that it must also have property Y, then that it must also have property Z, ... until you have piled up so many requirements on a counterexample that everybody sees that it cannot exist.</p><p>I have done that a few times. It is a nice way to organize one's thoughts.</p><p><a href="https://mathstodon.xyz/tags/Proof" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Proof</span></a> <a href="https://mathstodon.xyz/tags/Mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mathematics</span></a></p>
Crypto News<p>Ethereum Research Paper Challenges Centralization With Decentralized Block Proposal System - A new research paper published on Ethereum’s community research forum proposes a d... - <a href="https://news.bitcoin.com/ethereum-research-paper-challenges-centralization-with-decentralized-block-proposal-system/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">news.bitcoin.com/ethereum-rese</span><span class="invisible">arch-paper-challenges-centralization-with-decentralized-block-proposal-system/</span></a> <a href="https://schleuss.online/tags/proof" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>proof</span></a>-of-stake <a href="https://schleuss.online/tags/ethereum" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ethereum</span></a>(eth) <a href="https://schleuss.online/tags/cryptonews" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>cryptonews</span></a></p>
Akshar Varma<p><span class="h-card" translate="no"><a href="https://mathstodon.xyz/@BernhardWerner" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>BernhardWerner</span></a></span> My favorite alternative <a href="https://mathstodon.xyz/tags/proof" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>proof</span></a> strategy for <a href="https://mathstodon.xyz/tags/induction" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>induction</span></a> proofs are <a href="https://mathstodon.xyz/tags/combinatorial" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>combinatorial</span></a> (counting) proofs.</p><p>I suppose the standard example might be the proof of the coefficients in the binomial theorem expansion, or for the sum of binomial coefficients being powers of 2. These can be proved by induction, of course, but I'm not sure that's common given how easier it is to do a counting proof. It is also much clearer and avoids tedious algebra.</p><p>One I like is proving that the sum 1 + 2 + 3 + ⋯ + 𝑛 is 𝑛 + 1 choose 2, the binomial coefficient \(\binom{n+1}{2}\). Bijection proof, counts the same thing in two ways. The thing being counted is the number of ways of choosing two things (distinct, without repetition) from the set {0, 1, ..., 𝑛}. By definition, it is the binomial coefficient we want. The other way to count is to fix the larger number 𝑘, the remaining choices are any of the 𝑘 numbers from 0 to 𝑘 - 1. Thus, across all possible larger numbers, we get the sum from 1 to n.</p><p>An alternative alternate proof of the same, slightly more geometric is as follows: arrange dots in a triangle, 1 on row 1, 2 on row 2, and so on up to row n, with n dots. Add a phantom row of n+1 dots below. We want to add up all dots in first n rows: ∑ 𝑖. If you think of all of this as a binary tree/DAG, then every dot has two children (imagine Pascal's triangle). If you pick any two dots in the phantom row, their common ancestor is unique. So counting dots is same as picking two dots in phantom row. Which is the binomial coefficient we want.</p><p>Benjamin and Quinn's book on combinatorial proofs is amazing for interpretations of this form (I learned the first proof from it). See also: <a href="https://en.wikipedia.org/wiki/Combinatorial_proof" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">en.wikipedia.org/wiki/Combinat</span><span class="invisible">orial_proof</span></a></p>
WordofTheHour<p><a href="https://mastodon.social/tags/proof" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>proof</span></a> : that degree of evidence which convinces the mind of any truth or fact, and produces belief</p><p>- French: une preuve</p><p>- German: abdichten, der Nachweis</p><p>- Italian: prova</p><p>- Portuguese: prova</p><p>- Spanish: prueba</p><p>------------</p><p>Fill in missing translations @ <a href="https://wordofthehour.org/r/translations" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">wordofthehour.org/r/translatio</span><span class="invisible">ns</span></a></p>
getmisch<p>Flag down on the play, B&H Photo-Video! Was repeatedly assured in-store that buying items & having them shipped would not incur any charges (I bought $200 of stuff!). So when it shipped & I saw a shipping charge, I called right away. Not like them, they're usually more honest.<br><a href="https://masto.nyc/tags/B" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>B</span></a>&H <a href="https://masto.nyc/tags/Photo" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Photo</span></a> <a href="https://masto.nyc/tags/Video" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Video</span></a> <a href="https://masto.nyc/tags/Store" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Store</span></a> <a href="https://masto.nyc/tags/free" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>free</span></a> <a href="https://masto.nyc/tags/shipping" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>shipping</span></a> <a href="https://masto.nyc/tags/not" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>not</span></a> <a href="https://masto.nyc/tags/really" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>really</span></a> <a href="https://masto.nyc/tags/called" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>called</span></a> for <a href="https://masto.nyc/tags/credit" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>credit</span></a> <a href="https://masto.nyc/tags/back" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>back</span></a> <a href="https://masto.nyc/tags/filter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>filter</span></a> <a href="https://masto.nyc/tags/holder" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>holder</span></a> <a href="https://masto.nyc/tags/effects" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>effects</span></a> <a href="https://masto.nyc/tags/photography" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>photography</span></a> <a href="https://masto.nyc/tags/pictures" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>pictures</span></a> <a href="https://masto.nyc/tags/instant" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>instant</span></a> <a href="https://masto.nyc/tags/color" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>color</span></a> <a href="https://masto.nyc/tags/black" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>black</span></a>& <a href="https://masto.nyc/tags/white" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>white</span></a> <a href="https://masto.nyc/tags/negatives" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>negatives</span></a> <a href="https://masto.nyc/tags/proof" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>proof</span></a> <a href="https://masto.nyc/tags/sheet" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>sheet</span></a> <a href="https://masto.nyc/tags/roll" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>roll</span></a> <a href="https://masto.nyc/tags/film" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>film</span></a> <a href="https://masto.nyc/tags/bellows" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>bellows</span></a> <a href="https://masto.nyc/tags/camera" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>camera</span></a> <a href="https://masto.nyc/tags/shoot" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>shoot</span></a></p>
Chamber of Leather Craft<p>Here's a bit of how I <a href="https://mastodon.social/tags/work" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>work</span></a> . </p><p>I make my patterns myself - the ones I use to cut out pieces for <a href="https://mastodon.social/tags/leather" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>leather</span></a> <a href="https://mastodon.social/tags/goods" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>goods</span></a> and the ones I use for a <a href="https://mastodon.social/tags/handcarved" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>handcarved</span></a> <a href="https://mastodon.social/tags/decoration" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>decoration</span></a> . </p><p>Two of these <a href="https://mastodon.social/tags/leather" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>leather</span></a> <a href="https://mastodon.social/tags/belts" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>belts</span></a> are decorated by a pattern that are inspired by <a href="https://mastodon.social/tags/Estonian" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Estonian</span></a> <a href="https://mastodon.social/tags/folkart" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>folkart</span></a> . </p><p>The other two are decorated by a sort of pattern that makes them <a href="https://mastodon.social/tags/unique" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>unique</span></a> as they're cut onto the leather without any prepared drawing. </p><p>So as there is no <a href="https://mastodon.social/tags/written" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>written</span></a> <a href="https://mastodon.social/tags/proof" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>proof</span></a> of the making process - are they <a href="https://mastodon.social/tags/real" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>real</span></a> or are they <a href="https://mastodon.social/tags/myth" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>myth</span></a> ?</p>
Steve Dustcircle 🌹<p><a href="https://masto.ai/tags/FactCheck" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FactCheck</span></a>: <br>NO <a href="https://masto.ai/tags/Proof" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Proof</span></a> <a href="https://masto.ai/tags/US" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>US</span></a> Allocated $50 Million Solely For <a href="https://masto.ai/tags/Condoms" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Condoms</span></a> In <a href="https://masto.ai/tags/Gaza" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Gaza</span></a></p><p><a href="https://leadstories.com/hoax-alert/2025/01/fact-check-no-proof-us-allocated-50-million-for-condoms-in-gaza.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">leadstories.com/hoax-alert/202</span><span class="invisible">5/01/fact-check-no-proof-us-allocated-50-million-for-condoms-in-gaza.html</span></a></p>
claude<p>inspired by tavis' deep field <a href="https://post.lurk.org/tags/nebulabrot" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>nebulabrot</span></a> <a href="https://post.lurk.org/tags/DeepZoom" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>DeepZoom</span></a> images on <a href="https://post.lurk.org/tags/fractal" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fractal</span></a> <a href="https://post.lurk.org/tags/fractals" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fractals</span></a> forums, I did a little shader that for each c in the complement of the <a href="https://post.lurk.org/tags/MandelbrotSet" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MandelbrotSet</span></a> M, colours according to how often z <- z^2 + c hits a given small target disc , weighted by derivative (as a proxy for point density).</p><p>it looks as though the hit sources are distributed everywhere near the boundary of M, which i think i can prove for target discs outside a sufficiently large esape circle, but i'm not sure how for discs nearer M. intuitively, by the time any cell pair in binary decomposition of exterior escapes, it covers an annulus with radii R, R^2, so any disc outside R will be hit by some region in every cell pair.</p><p><a href="https://post.lurk.org/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> <a href="https://post.lurk.org/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</span></a> <a href="https://post.lurk.org/tags/proof" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>proof</span></a> <a href="https://post.lurk.org/tags/ComplexDynamics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ComplexDynamics</span></a></p>
Jan :rust: :ferris:<p>‘Interpretability’ and ‘alignment’ are fool’s errands: a <a href="https://floss.social/tags/proof" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>proof</span></a> that controlling misaligned large language models is the best anyone can hope for (Oct 2024)</p><p><a href="https://link.springer.com/epdf/10.1007/s00146-024-02113-9?sharing_token=3rRsMdH1UdNlnQQmqcozX_e4RwlQNchNByi7wbcMAY6BPcdnFvH2qz5wBW_MWVfuP6XiIjUuOaAkAylpJWYcV7ptG9FICiiQIbLIhD2SwblgAxawIQPIF0AJKzQaIv6wgiJRo4GtMJ1R6AewBvbdRekNszwAag_WVijImJA2dlc%3D" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">link.springer.com/epdf/10.1007</span><span class="invisible">/s00146-024-02113-9?sharing_token=3rRsMdH1UdNlnQQmqcozX_e4RwlQNchNByi7wbcMAY6BPcdnFvH2qz5wBW_MWVfuP6XiIjUuOaAkAylpJWYcV7ptG9FICiiQIbLIhD2SwblgAxawIQPIF0AJKzQaIv6wgiJRo4GtMJ1R6AewBvbdRekNszwAag_WVijImJA2dlc%3D</span></a></p><p>"This paper [...] show[s] that it is empirically impossible to reliably interpret which functions a large language model (<a href="https://floss.social/tags/LLM" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LLM</span></a>) <a href="https://floss.social/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> has learned, and thus, that reliably aligning LLM behavior with human values is provably impossible."</p><p>This affects much more than just alignment!</p><p><a href="https://floss.social/tags/LLMs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LLMs</span></a> <a href="https://floss.social/tags/Paper" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Paper</span></a> <a href="https://floss.social/tags/ArtificialIntelligence" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ArtificialIntelligence</span></a></p>
Crypto News<p>Blockchain Startup BTQ Proposes More Energy Efficient Alternative to Crypto's Proof of Work - A recently published journal article by researchers at BTQ, a startup working to build bl... - <a href="https://www.coindesk.com/tech/2025/01/28/btq-proposes-quantum-alternative-to-crypto-s-proof-of-work" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">coindesk.com/tech/2025/01/28/b</span><span class="invisible">tq-proposes-quantum-alternative-to-crypto-s-proof-of-work</span></a> <a href="https://schleuss.online/tags/quantumcomputing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>quantumcomputing</span></a> <a href="https://schleuss.online/tags/proof" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>proof</span></a>-of-work <a href="https://schleuss.online/tags/bitcoinmining" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>bitcoinmining</span></a> <a href="https://schleuss.online/tags/tech" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>tech</span></a></p>
getmisch<p>Over seventy percent of the <a href="https://masto.nyc/tags/GOP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GOP</span></a> wants to see the <a href="https://masto.nyc/tags/white" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>white</span></a> <a href="https://masto.nyc/tags/supremacist" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>supremacist</span></a> <a href="https://masto.nyc/tags/terrorists" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>terrorists</span></a> <a href="https://masto.nyc/tags/pardoned" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>pardoned</span></a>, for shitting in the <a href="https://masto.nyc/tags/Capitol" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Capitol</span></a> and spreading it on the walls, for parading a <a href="https://masto.nyc/tags/confederate" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>confederate</span></a> <a href="https://masto.nyc/tags/flag" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>flag</span></a> there for the first time, for trying to <a href="https://masto.nyc/tags/kill" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>kill</span></a> the <a href="https://masto.nyc/tags/vice" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>vice</span></a> <a href="https://masto.nyc/tags/president" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>president</span></a> and trying to <a href="https://masto.nyc/tags/overthrow" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>overthrow</span></a> the <a href="https://masto.nyc/tags/government" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>government</span></a> in a <a href="https://masto.nyc/tags/violent" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>violent</span></a> coup. Zero <a href="https://masto.nyc/tags/evidence" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>evidence</span></a>, lost over sixty cases, no <a href="https://masto.nyc/tags/proof" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>proof</span></a> yet they lie still.<br>They were terrorists, not rioters (<a href="https://masto.nyc/tags/rioters" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>rioters</span></a> have legit grievances).<br><a href="https://masto.nyc/tags/never" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>never</span></a> <a href="https://masto.nyc/tags/forget" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>forget</span></a> <a href="https://masto.nyc/tags/Jan6" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Jan6</span></a> <br><a href="https://www.cbsnews.com/news/poll-analysis-republicans-jan-6-attack/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">cbsnews.com/news/poll-analysis</span><span class="invisible">-republicans-jan-6-attack/</span></a></p>
AKK<p>Elsevier being <a href="https://mastodon.social/tags/Elsevier" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Elsevier</span></a> again results in "Evolution Journal Editors Resign En Masse":<br>"[...] <a href="https://mastodon.social/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> processing continues to be used and regularly reformats submitted <a href="https://mastodon.social/tags/manuscripts" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>manuscripts</span></a> to change meaning and formatting and require extensive author and editor oversight during <a href="https://mastodon.social/tags/proof" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>proof</span></a> stage." In addition, the author page charges for JHE are significantly higher than even Elsevier's other for-profit journals, as well as broad-based open access journals like Scientific Reports.[...]"</p><p><a href="https://science.slashdot.org/story/24/12/30/2243201/evolution-journal-editors-resign-en-masse" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">science.slashdot.org/story/24/</span><span class="invisible">12/30/2243201/evolution-journal-editors-resign-en-masse</span></a></p>
Akshar Varma<p>For anyone interested, here are links to the relevant sections of Wikipedia pages for the proofs in order:</p><p>1. Well-Ordering Principle<br><a href="https://en.wikipedia.org/wiki/Well-ordering_principle#Properties" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">en.wikipedia.org/wiki/Well-ord</span><span class="invisible">ering_principle#Properties</span></a></p><p>2. Euclidean Division<br><a href="https://en.wikipedia.org/wiki/Euclidean_division#Proof" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">en.wikipedia.org/wiki/Euclidea</span><span class="invisible">n_division#Proof</span></a></p><p>3. Bézout's identity<br><a href="https://en.wikipedia.org/wiki/B%C3%A9zout%27s_identity#Existence_proof" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">en.wikipedia.org/wiki/B%C3%A9z</span><span class="invisible">out%27s_identity#Existence_proof</span></a></p><p>4. Euclid's Lemma<br><a href="https://en.wikipedia.org/wiki/Euclid%27s_lemma#Using_B%C3%A9zout's_identity" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">en.wikipedia.org/wiki/Euclid%2</span><span class="invisible">7s_lemma#Using_B%C3%A9zout's_identity</span></a></p><p>5. Unique Prime Factorization<br><a href="https://en.wikipedia.org/wiki/Fundamental_theorem_of_arithmetic#Proof" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">en.wikipedia.org/wiki/Fundamen</span><span class="invisible">tal_theorem_of_arithmetic#Proof</span></a></p><p><a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> <a href="https://mathstodon.xyz/tags/proof" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>proof</span></a> <a href="https://mathstodon.xyz/tags/NumberTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>NumberTheory</span></a> <a href="https://mathstodon.xyz/tags/prime" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>prime</span></a></p>
ExploreLive feeds
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.
LoginDrag & drop to upload