∃! David Turner
1.5K posts

∃! David Turner
@DaveCTurner
@[email protected] TZ=Europe/London https://t.co/eTflCWfZp9 #blacklivesmatter
Leeds, UK Katılım Ocak 2013
221 Takip Edilen371 Takipçiler

@DaveCTurner I think it's long press background, wallpaper and style, disable themed icons
English

@gibbondemon A nice slice of cake would make a good prize I reckon.
English


@MissAmyTobey Wild. Hat’s off to that mechanical engineer who designed this.
English

@gibbondemon I found Tommy Edison's description of transparent objects to be thought-provoking, maybe there's a story idea here? youtu.be/UoyYSAAY3ks

YouTube
English

@dysinger See also C, C++, C#, Python, Go, Dart, Rust, Carbon, ...
Deutsch

@xeraa Gonna be fun to see how often I can use "back-channel" in my security-unrelated PR titles...
English

"security wording was detected" is the next level of automated security scanners with questionable results 🙄
PS: discuss.elastic.co/c/announcement… for a list or real security issues


Appd8@appd8_io
Elasticsearch (@elastic) v8.3.3 released! 🚀 We detected #security fixes ⚠️ Details: appd8.io/tools/elastics… URL: elastic.co/guide/en/elast…
English

@b0rk I wrote a blog post about the diagrams I draw when debugging timezone issues here: davecturner.github.io/2019/04/14/tim…
English

@warkolm Theoretically seems reasonable, 12V DC is 12V DC, but the voltage in vehicles can vary a lot (± a couple of volts) and can be pretty noisy, whereas power from a regular battery is very clean, so it depends how tolerant the device is to this kind of thing.
English

@chrsmddck And were they open on 2021-12-28, there most recent Bank Holiday Tuesday?
English

@bjhomer But yes, my understanding is that ISO8601 dates are always interpreted in the Gregorian calendar (proleptic if needed), so 1582-10-14 would be right.
English

@bjhomer "The" Gregorian switch is misleading, different countries switched at different times. Britain and much of North America changed in 1752. Alaska switched when it changed hands in 1867. Sweden tried to change gradually but screwed up and invented Feb 30. It's a total mess.
English

So, if I’m understanding this correctly, October 4, 1582 (the day before the Gregorian switch) should properly be encoded under ISO 8601 as “1582-10-14”. Is that correct? Because in the proleptic Gregorian calendar, those dates weren’t skipped.
Seriously, dates are so weird.
Ridley @ Moved Away@11rcombs
@bjhomer As per ISO 8601 standard (which requires dates to be consecutive), JS is using the proleptic Gregorian calendar (which does _not_ have 10 missing days; October 4th 1582 in the Julian calendar is October 14th 1582 in the proleptic Gregorian calendar). Swift is wrong here.
English

@norootcause A cold cache (which can be fixed by warming it up)
Cold storage (slower to access but cheaper per unit volume)
We talk about hot code paths but not cold ones strangely.
English

@srockets @hillelogram @janl_apache @colmmacc @lvh Tbf it didn't say it was using _mathematical_ induction (i.e. over N) and this is a legitimate use of _wellfounded_ induction.
English









