|
A type system is sound if it ensures what it’s designers intended it to ensure. This is much like programming: a program is correct if it does what it is supposed to do. Obscure edge-case is obscure
|
|
|
|
|
Jesus wept. Do these people even know what computers are?
(Spoken as a java very-non-aficionado)
I wanna be a eunuchs developer! Pass me a bread knife!
|
|
|
|
|
Mark_Wallace wrote: Do these people even know what computers are?
They're academicians, so their concept of a computer is some abstraction so abstracted that it no longer has any practical value except to get government grants to replace all the illegal ivory in their tower.
Marc
|
|
|
|
|
That's much more sound thinking, sounded out in fewer words than those with unsound concepts in their empty vessels (which make more sound) managed to expound in many more.
I wanna be a eunuchs developer! Pass me a bread knife!
|
|
|
|
|
The CEO and co-founder of Vivaldi, Jon von Tetzchner, called out Microsoft in a blog post today, saying that it's too hard for users to change their default browser on Windows 10. Put a stake in it?
|
|
|
|
|
Two points to take into consideration:
0: Vivaldi is actually pretty cool (although I use three other, cooler, browsers)
1. Microsoft has turned into an @rsehole academy.
OK, I'll side with the cool guys, just like I did when microsoft was cool*, and IBM wasn't.
* Dear God, how long ago was that?
I wanna be a eunuchs developer! Pass me a bread knife!
|
|
|
|
|
Anyone who can't change the browser in Windows 10 should probably not be using a computer. Seriously, it's not hard.
|
|
|
|
|
"Organisms created with synthetic DNA pave way for entirely new life forms" [^]Quote: Now, the first living organisms to thrive with an expanded genetic code have been made by researchers in work that paves the way for the creation and exploitation of entirely new life forms.
«There is a spectrum, from "clearly desirable behaviour," to "possibly dodgy behavior that still makes some sense," to "clearly undesirable behavior." We try to make the latter into warnings or, better, errors. But stuff that is in the middle category you don’t want to restrict unless there is a clear way to work around it.» Eric Lippert, May 14, 2008
|
|
|
|
|
Awesome! What could possibly go wrong?
In this present crisis, government is not the solution to our problem; government is the problem. ~ Ronald Reagan
|
|
|
|
|
Exactly.
I wanna be a eunuchs developer! Pass me a bread knife!
|
|
|
|
|
This is wrong on so many levels.
|
|
|
|
|
Quote: Scientists in the US As if Trump would ever let other life forms into the US!
There'll be a wall built around the lab quicker than you can say "Ay Caramba!"
I wanna be a eunuchs developer! Pass me a bread knife!
|
|
|
|
|
2016 was the year that DevOps became part of IT organizations’ everyday language. And by "mainstream" they mean, "stuff your manager keeps reading about"
|
|
|
|
|
And worse, stuff your manager keeps directing you to do, complete with committees, compliance departments, new and stupid security policies, dept re-orgs that break everything that was working smoothly and doesn't fix anything that wasn't working. DevOps became part of IT organizations' everyday language, like "toilet paper", "water cooler", and the PHB.
Marc
|
|
|
|
|
|
CEO: You mean, we can fire the entire testing and IT department and just let engineers declare things done and release them? I'm in!
Months later
CEO: Why isn't my computer working? Or our web site? Hey, where's my paycheck?
|
|
|
|
|
Imagine a future where you tap an app on your smartphone to summon a self-driving car. Heard this one already? Okay, what about when your robot car drives into an airless tube hundreds of miles long and careens across country at close to the speed of sound? What's the worst that could^H^H^H^H^H will happen?
|
|
|
|
|
Have you ever seen the commercial where they put a submarine sandwich in a bank vacuum tube? Well, that image comes to mind for me.
The results aren't pretty.
|
|
|
|
|
Well wouldn't need rescue services.
Clean up on loop #9.
New version: WinHeist Version 2.2.2 Beta I told my psychiatrist that I was hearing voices in my head. He said you don't have a psychiatrist!
|
|
|
|
|
What's the speed of sound in an airless tunnel?
Peter Wasser
"The whole problem with the world is that fools and fanatics are always so certain of themselves, and wiser people so full of doubts." - Bertrand Russell
|
|
|
|
|
Don't you hear the clapping of one hand?
|
|
|
|
|
It's all a conspiracy to asphyxiate those who don't know Physics.
CALL APOGEE, SAY AARDWOLF
GCS d--- s-/++ a- C++++ U+++ P- L- E-- W++ N++ o+ K- w+++ O? M-- V? PS+ PE- Y+ PGP t++ 5? X R++ tv-- b+ DI+++ D++ G e++>+++ h--- ++>+++ y+++* Weapons extension: ma- k++ F+2 X
If you think 'goto' is evil, try writing an Assembly program without JMP. -- TNCaver
"Go ahead, make my day"
|
|
|
|
|
And does it make a sound if an unmanned, self-driving car knocks over a tree in a forest?
I wanna be a eunuchs developer! Pass me a bread knife!
|
|
|
|
|
The popular Pattern Lock system used to secure millions of Android phones can be cracked within just five attempts – and more complicated patterns are the easiest to crack, security experts reveal. It's still better than some people's passwords
|
|
|
|
|
Quote: By covertly videoing the owner drawing their Pattern Lock shape to unlock their device Only five? Must not be CSI cameras...
|
|
|
|