@gasmholic.bsky.social✨ 🍽️ [맛집 사장님 단골마트 가즘홀릭] 식자재마트 가즘홀릭 단독 제안
"이른 새벽에 발로뛰며 대학생과 함께 하는 #Lean #Start-up 다용도 향신료 그리고 요링에 빠지지 않는 #팔각 #팔각향 [500g]"
💬 후기: 포장 꼼꼼하고 배송도 빠르네요. 맛은 말할 것도 없이 일품입니다.
🔥 특가: 76% (32,900원 -> 7,890원)
👉 구경가기: smartstore.naver.com/gasmholic/pr...
@mathify-dev.bsky.social722 Manuscripts, 372 Families—and a Verification Bottleneck
Follow for the equations hiding behind the news.
#mathematics #formalverification #lean #artificialintelligence
@mathify-dev.bsky.social722 Manuscripts, 372 Families—and a Verification Bottleneck
Follow for the equations hiding behind the news.
#mathematics #formalverification #lean #artificialintelligence
@gradientbrief.bsky.socialAIProver is an agentic framework that combines a 119B open-weight language model with an evolved tool-calling harness for proof auto-formalization and synthesis, using verifiers to address missing concepts and…
#AIResearch #AutoFormalization #Lean #MathAI
https://arxiv.org/abs/2610.05367
@detectivecox.bsky.socialSong of the day - Bill Withers “Lean On Me” #phil_d_music #songoftheday #billwithers #soul #lean
youtube.com/shorts/0Mrvi...
@fmontesi.bsky.socialThe goal is to distribute responsibility while preserving CSLib's collaborative and consensus-oriented nature.
Decision making: github.com/leanprover/c...
Governance: github.com/leanprover/c...
3/3
@gweelink.bsky.social
@rcatanho.bsky.socialHepatopatía esteatósica asoc a disf metab magra fenotipo c enf histológica más leve y variables clínicas similares a asoc a sobrepeso/obesidad, gravedad de fibrosis asoc c/pronóstico, medición de rigidez hepática es confiable en magros #MASLD #lean jamanetwork.com/journals/jam...
@derralf.friends.librescrum.org.ap.brid.gyfreut sich, morgen nach #stuttgart zu fahren, um dann einen kurs von @NadjaBoehlmann zu besuchen 🎉
@mymarketingfile.bsky.social
@jchyip.bsky.socialWhat I’ve been reading (and watching) week ending 4 October 2026 medium.com/@jchyip/what... #AI #LeanStartup #Lean #Geopolitics #Cooking
@rockshire.bsky.socialNext up on the list is Isolde!
Donning the villainess persona of Madame IQ, she wipes the memories of her victims until they're walking husks!
#pokemon #oc #furry #art #artwork #anthro #commission #adoptable #malamar #megaevolution #megamalamar #sfw #lean #skinny #villain #supervillain
@davidkiapprend.bsky.social5 questions pour résoudre N'IMPORTE QUEL problème commercial
La technique des 5 Pourquoi (Toyota Production System).
→ Cause racine identifiée = Solution pérenne
👇 Prompt vivreaveclia.blogspot.com/2026/10/le-p...
#IntelligenceArtificielle #Lean #Consulting #Prompt #RésolutionDeProblèmes
@devstackdaily.bsky.socialFORALL-LEAN-AGENT is a frontend-agnostic framework for auditable reasoning in Lean, combining isolated workspaces, axiom audits, and independent proof checking to make acceptance of candidate proofs traceable. On the…
#Lean #FormalVerification #AIResearch #DevTools
https://arxiv.org/abs/2610.00885
@nobsagile.bsky.socialThomas Michl hat ein Backlog aufgeräumt wie ein Lager: mit ABC- und XYZ-Analyse.
Ein Ticket, das seit Monaten rumliegt, ist kein Plan. Es ist Lagerbestand.
@escape-velocity.functional.cafe.ap.brid.gyIf you thought autoformalization efforts were already terrible, wait until you find out the kind of bullshit a part of the #algorithms community is coming up with in #lean
https://laxarchive.org/about.html
Note that their absolutely genius idea is to… introduce axioms for unproved theorems and […]
@peterb.bsky.social
@davy.quest
@janmr.comFunctional Programming in Lean, a free book on using Lean as a programming language lean-lang.org/functional_p... #lean #functional #programming #book #online
