DaLetraConfira a letra da música “44 Bars” de Logic
#Logic #44Bars
https://daletra.com.br/logic/letra/44-bars.html
#Logic #44Bars
https://daletra.com.br/logic/letra/44-bars.html
ƧƿѦςɛ♏ѦਹѤʞTautology
Stewart Lee - All Things Bright & Beautiful
N-gated Hacker News🚀 Behold the dawn of "lflean," where a gaggle of #scholars and a sprinkle of #AI sprinkle some magic dust to translate #logic statements faster than a cheetah on a skateboard. 😂 Forget years of toil - who needs it when you've got theorem fairies doing all the heavy lifting? 🌟
https://theorem.dev/blog/lf-lean/ #lflean #translation #theoremfairies #techinnovation #HackerNews #ngated
https://theorem.dev/blog/lf-lean/ #lflean #translation #theoremfairies #techinnovation #HackerNews #ngated
`lf-lean`: The frontier of verified software engineering
We present lf-lean, a verified translation of all 1,276 statements of the Logical Foundations textbook from Rocq to Lean, produced by frontier AI with ~2 person-days of human effort versus an estimated ~2.75 person-years manually (a 350x speed-up). We achieve this through task-level specification generators: because many software transformations are semantics-preserving, correctness can be defined once for an entire task class and checked automatically across all instances and codebases. This scales human oversight from 𝒪(𝓃) to 𝒪(1) regardless of program complexity. Placed on METR’s time horizon graph, our result suggests verified software engineering is advancing faster than expected.
DaLetra EnglishSee the lyrics for the song “Warm It Up” by Logic
#Logic #WarmItUp
https://daletra.com/logic/lyrics/warm-it-up.html
#Logic #WarmItUp
https://daletra.com/logic/lyrics/warm-it-up.html
jan…the magic power of mathematicians isn’t logic but intuition.
—David Bessis, Mathematica
#mathematics #logic #intuition
—David Bessis, Mathematica
#mathematics #logic #intuition
When everyone was trying to make you believe that you have to think logically, no one helped you develop your intuition. … In this context, it’s a miracle that you’ve managed to learn anything at all.
—David Bessis, Mathematica: A Secret World of Intuition and Curiosity
#mathematics #intuition #logic #learning
—David Bessis, Mathematica: A Secret World of Intuition and Curiosity
#mathematics #intuition #logic #learning
…your intuition is your strongest intellectual resource. In a sense, it’s your only intellectual resource. These aren’t just empty words. … You know that learning things by heart, applying ready-made methods, or following reasoning line by line isn’t really understanding. That’s why you never have complete confidence in logical arguments and you’re much more at ease with what you understand intuitively.
—David Bessis, Mathematica: A Secret World of Intuition and Curiosity
#mathematics #intuition #logic #formallogic
—David Bessis, Mathematica: A Secret World of Intuition and Curiosity
#mathematics #intuition #logic #formallogic
Sweet Home Alaberta 🇨🇦 🇺🇦 🏳️🌈 🏳️⚧️ 🇲🇽The most parsimonious explanation is natural origin, the alt theory is lab leak. Thus it is up to the alt theory to provide evidence, which they have not.
It is the job of science to ignore the alt theory until there is evidence provided. Instead we are endlessly trying to undermine the most likely explanation, in search of evidence of something that has no backing beyond a deviant rapist pedophile yelling "China Flu!".
China allowed foreign scientists until the evil Bannon cult started their false flag conspiracy about a bioweapon, then China closed the door.
Radio_AzureusWhy I Love freeBSD
freeBSD
Processing
I've only skimmed this nice post.
Thorough reading will follow later
Some highlights which resonate with me *as flageolets on a string instrument* are captured here in screenshots I've made on an Android
Many tools still work exactly as they did (decades ago)
The feeBSD handbook taught me an enormous ammount, more than many of my University courses, including things that had nothing to do with freeBSD specifically
This is vital
The handbook taught me the right approach
understand first, act second
This is a principle I use since I've been a peuter (NL).
- Analyze what occured
- understand why it occured
- find out under what circumstances it can occur
- close or limit those conditions
- fix the problem by repairing, cooling, modifying the break
- analyse the proposed fix before implementing
- Only replace when all other methods fail or repair is more expensive than replacement
Sources
https://it-notes.dragas.net/2026/03/16/why-i-love-freebsd/
#freeBSD #IT #notes #ITNotes #dragas #programming #OpenSource #no #Linux #logic #analysis
WenDelightful - with a limited print run of 30 and a very local distribution (until this was printed)
#Puzzle #Mathematics #Logic #Guardian #Fun #HydeParkMathZine
