SAT/SMT by Example
https://t.co/scQvRAEFDQ #pdf #book #formalmethods
https://t.co/GtEgmKua7f
- lobsters
#newsbot
The Past, Present, and Future(s): Verifying Temporal Software Properties
https://t.co/WSTDIkp69e #formalmethods
https://t.co/ciNuj6w7W5
- lobsters
#newsbot
Let's Prove Leftpad
by @Hillelogram
https://t.co/RixxJwptKw #formalmethods
https://t.co/PQpI7xYazK
- lobsters
#newsbot
One of my favorite @eevee quotes, from one of my favorite #tech / #programming articles: "It turns out that being Right is much less important than being Not Wrong"
Ah, it seems #AV1 got finalized for realsies and will be playable in both chrome and firefox soon: https://www.chromestatus.com/feature/5729898442260480
This is at base interesting for #peertube as it is a nextgen royalty free codec(format to store videos), but it is also sorta important for us Krita devs to keep track of because much like hevc has heif, av1 will have avif, which would be a sort of nextgen jpeg.
thought experiment:
imagine if linus got the same reactions to his emails as women do
being either ignored or tone policed
¯\_(ツ)_/¯
this feels like im at some sort of slave market
so I own this anime grill now
Well, I guess it was bound to happen.
Docker is a conspiracy to shut people with low end hardware out of contribution.
>Servers SHOULD NOT deliver Block Activities to their object.
Lotta shoulds and not musts in there.
米MSがGitHub買収 75億ドル | 2018/6/5(火) - Yahoo!ニュース https://news.yahoo.co.jp/pickup/6285019 @YahooNewsTopics
速報：マイクロソフト、MinecraftのMojangを25億ドルで買収。作者Notchは退社し個人で実験作に専念 https://japanese.engadget.com/2014/09/15/minecraft-mojang-25-notch/ @engadgetjpさんから
The trendings definitely don't work. There are still tags with literal 0 people talking and 0 posts. Yet I post with the #cuteposting, but it's nowhere to be seen.
Theorem Proving in Lean
https://t.co/3EQloXHOQ4 #formalmethods #math
https://t.co/zqJ6KdWAqG
- lobsters
#newsbot
Learn HTTP with this simple sheet.
"They used a manual [...] which showed how to extend #Emacs, but didn't say it was a #programming. So the #secretaries, who believed they couldn't do programming, weren't scared off. They read the manual, discovered they could do useful things and they learned to program."
https://www.gnu.org/gnu/rms-lisp.html
