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! 😡
#Proofs
Lies, Damned Lies and Proofs: Formal Methods Are Not Slopless
#HackerNews #Lies #Damned #Lies #Formal #Methods #Proofs #Technology
AI Notkilleveryoneism Memes (@AISafetyMemes)
Gemini의 논증이 단순히 기존 증명을 재포장한 것이 아니라, 트윗 작성자가 자신이 직접 낼 만한 수준의 통찰을 제공했다고 평가받았다는 내용입니다. 이는 Gemini 모델의 고급 추론·창의적 문제 해결 능력을 강조하는 사례입니다.
fun book http://concrete-semantics.org/
(pdf available)
found on this thread https://lobste.rs/s/eulydi/which_programming_resource_changed_your
Robbe Van den Eede shares insights on #proofs and their role in #logic-based languages for #KnowledgeRepresentation, discussing the paper “A Sequent Calculus for Generalized Inductive Definitions”, co-authored with Robbe Van Biervliet and Marc Denecker, which received the Best Paper Award at LPNMR 2024.
https://blogic.ink/p/a-sequent-calculus-for-general-inductive-definitions/
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
DeepMind’s latest: An AI for handling mathematical proofs https://arstechni.ca/6UBg #InternationalMathematicalOlympiad #Computerscience #Science #proofs #math #AI
XML-Lib – An over-engineered XML workflow with guardrails and proofs
https://github.com/farukalpay/xml-lib
#HackerNews #XMLLib #OverEngineering #XMLWorkflow #Guardrails #Proofs #GitHub
Unpopular opinion: I actually enjoy reading #proofs of the accepted article. It’s probably the last chance to read the “masterpiece” from start to finish.
The funny part is, they sent me the proofs early on Saturday morning and asked me to get it done ideally within 48 hours. 🥲
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
Why build Proof-Transport?
Formal proofs often “rot” when proof assistant kernels evolve (e.g. disabling Cut, tactic changes).
This forces re-verification at high cost.
Proof-Transport provides continuity: it re-compiles old proofs into new kernels and issues stability certificates.
New open-source release: Proof-Transport
Preserve formal proofs across kernel evolution (e.g. when Cut is disabled).
✔️ CI pipeline + schemas
✔️ v0.1.0 release
✔️ Live demo explorer
Repo: https://github.com/sequentlabs/proof-transport
Demo: https://sequentlabs.github.io/proof-transport/
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
"There are some massive plot holes here…"—Ricky Hale @cemedia
The Tyler Robinson story has completely fallen apart >
https://www.councilestatemedia.uk/p/the-tyler-robinson-story-has-completely
#cover_up #Tyler_Robinson #Charlie_Kirk #convoluted_story #vanished_note #proofs #plot_holes #prejudice #fair_trial #unreliable_claims #screwdriver #claims #evidence #digital_footprint #Christo_fascism #USA #shooting #Gun_laws #fascist_USA #crime #doubts #Kash_Patel #nazi_USA #DNA_tests #DoJ #disclosure #possible_psyOp
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.
Once again, my fascination with triangles is proving invaluable in completing the proofs of several well-known mathematical formulas/theorems.
Once again, my fascination with triangles is proving invaluable in completing the proofs of several well-known mathematical formulas/theorems.
Client Info
Server: https://mastodon.social
Version: 2025.07
Repository: https://github.com/cyevgeniy/lmst