Latest posts tagged with #correctness on Bluesky
Ich hatte eine Intension: (die zu recht angekreidete in-) #correctness ist einer unserer (ich nenne uns die „Vernünftigen“, Logiker, Wissenschaft..) größten Angriffsflächen, die Rechte, Reiche, (fossile) Eliten als Hebel gegen uns benutzen. Wir haben Gegner, die Hände in Pech & Glasscherben tauchen.
🔎⌨️National Proofreading Day!🖊️🔍
National Proofreading Day honnors the practice of checking the spelling pucntuation, and gramar of your writing. Have you spot the six error you just read?
#proofreading #checking #spelling #grammar #usage #errors #copy #language #correctness #proper
"That's the gap! Not between C and Rust (or any other language). Not between old and new. But between systems that were built by people who measured, and systems that were built by tools that pattern-match."
#AI #Coding #Correctness
x.com/katanalarp/s...
Why the #grooming #gangs-#scandal is WORSE than you think.
#Julie #Bindel, journalist & founder of #Justice for #Women, discuss how #political #correctness &
#elite #disdain for the working classes have
allowed the grooming gangs to run riot.
Wednesday Links - 2026-03-04
dev.to/0xkkocel/wed...
#java #jvm #spring #gradle #github #tomcat #correctness
Balancing Leakage Reduction with Correctness Preservation in RTL Code Generation (Univ. of Central Florida) A new technical paper titled “CircuitGuard: Mitigating LLM Memorization in RTL Code Gen...
#AI/ML/DL #Architectures #Design #& #Verification […]
[Original post on semiengineering.com]
Happy Hallowoke Celebrate this holiday in the right way, if you know what I mean. The post Happy Hallowoke appeared first on The Stanford Daily . The post Happy Hallowoke appeared first on The Stan...
#Humor #Cartoons #culture #culture #wars #haha #very […]
[Original post on stanforddaily.com]
Nice – more code-samples would’ve made it better:
“To Be a Better Programmer, Write Little Proofs In Your Head”, Nerve (the-nerve-blog.ghost.io/to-be-a-bett...).
Via HN: news.ycombinator.com/item?id=4457...
See Also: “The Science Of Programming”, by David Gries.
#Programming #Proofs #Correctness
“People often reach correct answers for wrong or illogical reasons.” — Stephen Jay Gould, Eight Little Piggies
#QOTD #StephenJayGould #Quote #Correctness #Illogical
I did a little case study recently to better understand where #LLMs still struggle with #accuracy and #correctness, particularly about geography. It turns out that #Claude knows a lot about Lower Austria. But there's still a lot it needs to learn... ralphmayr.substack.com/p/the-world-...
#ai #genai
Daily Mindfeed
MIND
For uncensored content visit patreon.com/travatraining
#COMPETENCE
#CORRECTNESS
#LOGIC
#CODES
#TRUTH
Mind
For uncensored content visit patreon.com/travatraining
#COMPETENCE
#CORRECTNESS
#LOGIC
#CODES
#TRUTH
Urging the #EU @vonderleyen.ec.europa.eu to spend #Russia 's money. In a #Dictator 's mind, #correctness is weakness. They abuse of the vulnerable, they rape not because they love sex, but to intimidate.They only fear other Dictators.They d't respect the EU.
youtube.com/shorts/HwLXB...
To be woke is the worst: Will the word ever recover? Hundreds of words have met the same fate as ...
www.crikey.com.au/2025/03/21/woke-wokeness...
#Culture #Opinion #culture #Donald #Trump #language #political #correctness #woke #words
Event Attributes
Goethe - A correct answer is like an affectionate kiss.
A quotation from **Goethe**
> A correct answer is like an affectionate kiss.
>
> _[Eine richtige Antwort ist wie ein lieblicher Kuß.]_
**Johann Wolfgang von Goethe** (1749-1832) German poet, statesman, scientist
_Sprüche in Prosa: Maximen und Reflexionen […]
[Original post on my-place.social]
Todays #WordOfTheDay is: Veracity
Synonyms for this word are #veracity, #truth, #accuracy, #honesty, #integrity, #authenticity, #sincerity, #candor, #factuality, #genuineness, #reliability, #trustworthiness, #correctness, #truthfulness, #faithfulness
Happening now in B310: BoF on “Toward Integrating LLMs in HPC Software Development”.
#LLM #Code
#correctness
#licensing
#datasets
#opensource
#opendata
#openweights
#openarchitecture
#finetuning
#frozenintime
#community
“Visions Of The Future: Formal Verification In Rust”, Xavier Denis (xav.io/blog/rust-fo...).
On Lobsters: lobste.rs/s/fekcju/vis...
#Rust #FormalVerification #HoareLogic #SeparationLogic #Correctness #Proof #Assertions #References #Aliasing
See also:
“How Did Software Get So Reliable Without Proof?” [1996, PDF], C. A. R. Hoare (6826.csail.mit.edu/2020/papers/...).
#FormalVerification #Paper #SoftwareEngineering #Correctness #Reliability #Software
This 👆🏽 article by the creator of #Rust is a must-read for #PLDI folks to understand why it has “mutable XOR aliased” #references, a borrow-checker, and could drop #GarbageCollection to become a #SystemsProgramming language. 👌🏽
#Logic #FormalVerification #Correctness
“Some Notes On Rust, Mutable Aliasing And Formal Verification”, Graydon Hoare (graydon2.dreamwidth.org/312681.html).
On HN: news.ycombinator.com/item?id=4037...
On Lobsters: lobste.rs/s/rushnh/som...
#PLDI #Programming #FormalVerification #Rust #References #Correctness
CppNow 2024 Session Announcement
<Random> harder better faster stronger by Adrien Devresse
schedule.cppnow.org/session/rand...
Register today at cppnow.org/registration
#Random #Benchmarking #Efficiency #Constexpr #Concurrency #Correctness #cppnow
Bei all der Kritik gegen #Gottschalk vergessen alle das Gottschalk wie auch mehr als die Hälfte des Landes in einer andern #Zeit #sozialisiert worden sind! Und die #Minderheit jetzt offensichtlich jedem der nicht #Political #Correctness betreibt sein ganzes #Lebenswerk versaut! #Wettendass
