tpush

53 ms·

721.
by tpush 8y ago
I find dark modes depressing when I stare at them for too long. Take the new macOS dark mode. Looked great when I first switched to it, but after a few hours I happily switched back to light mode. I also only really read/code at day&#x
722.
by tpush 8y ago
I'm really a fan of the type-driven development process Edwin shows of here. Especially the part where it can generate the correct matrix transposition logic as soon as it's been told that 'matrix' can only be used once.
723.
Edwin Brady – Idris 2: Type-Driven Development of Idris – Code Mesh LDN 18(youtube.com)
6 points by tpush 8y ago|1 comments
724.
by tpush 8y ago
I wish gorhill would make a Safari content-blocker version of ublock. None of the existing blockers (who mostly just package existing block lists and charge money for it..) work as well as uBlock IME.
725.
by tpush 8y ago
> In most western countries it's around 50/50 or 60/40 one way or the other. Not really, it's 70/30 Android/iOS for the whole of Europe on average.
726.
Greece's Varoufakis to Run in European Election – In Germany(reuters.com)
15 points by tpush 8y ago|3 comments
727.
CppCon 2018: Jason Turner “Surprises in Object Lifetime”(youtube.com)
4 points by tpush 8y ago|0 comments
728.
by tpush 8y ago
These days you can just use clang on Windows. Latest standard supporting frontend + MSVC ABI compatibility.
729.
by tpush 8y ago
I mean, there's CppCon as mentioned in the article, and C++ has pretty much the same wide reach as C.
730.
by tpush 8y ago
> A good comparison is degrees Celsius, which are just as arbitrary/unscientific (the standard metric unit is the Kelvin). Celsius is literally the same scale as Kelvin, just shifted so that 0c = water freezing.
731.
by tpush 8y ago
What is easier or more reliable about iMessage? Consider that large portions of the world (among them Germany with its extremely old population) use WhatsApp pretty much exclusively; they don't seem to have a problem using it. Whereas
732.
The Free Public License (0-clause BSD License)(opensource.org)
3 points by tpush 8y ago|0 comments
733.
Google's planned Berlin campus becomes a home for social engagement(translate.google.de)
1 points by tpush 8y ago|0 comments
734.
by tpush 8y ago
Yeah, I wouldn't trust this source on anything privacy related. They present themselves as user privacy champions but primarily make money via, you guessed it, advertisements. They are owned by Burda, a large German media organization
735.
by tpush 8y ago
> [...] it's also the fact that running an ad blocker means giving a third party an enormous amount of power over your browser. That's why Safari's content blocker API is so great[0]. Creators of these extension have no ac
736.
Facebook: Last Week Tonight with John Oliver (HBO)(youtube.com)
2 points by tpush 8y ago|1 comments
737.
by tpush 8y ago
> Crazy thought, but, what if the primary motivation of the creator of JGuitar has nothing to do with his website, his reputation, etc.? For example, what if his primary motivation is to do something useful for others? What if his primar
738.
by tpush 8y ago
Considering the political shit storms on Twitter that occur what feels like every 5 minutes, I’m actually really happy for Twitter’s(and social media’s in general) relatively low popularity in Germany.
739.
Using Rust for Game Development [video](youtube.com)
247 points by tpush 8y ago|49 comments
740.
Handmade Hero Chat 015 – Interview with Team from Carnegie Mellon(youtube.com)
1 points by tpush 8y ago|0 comments
741.
by tpush 8y ago
Again, languages with a built in bottom usually have sub typing behavior that makes bottom a subtype of everything (so you can give a value of type bottom to everything). 'forall a. a' is just how you define the bottom type in Sys
742.
by tpush 8y ago
When the Bottom type is included in a language it usually exhibits sub typing behavior. That can be expressed in Haskell, too: {-# LANGUAGE RankNTypes #-} type Bottom = forall a. a -- zero inhabitants f :: Bottom -> a f x = x
743.
by tpush 8y ago
The key is that you can (in theory, I don't know if Haskell has a proper bottom that can act as a type) give a value of Void/Bottom to anything, analogous to logic in that a proof of nonsense can be used as a proof of anything. Ta
744.
by tpush 8y ago
Since one can prove anything if you're assuming nonsense, a function of the type 'Void -> a' should be able to just return its argument. And assuming the theory is consistent(so no infinite loops etc.) this is the only ins
745.
by tpush 8y ago
> Oh noes, you have to have the platform from the company to make apps for the platform from the company. The horror. Useless snark. > I honestly cannot take seriously any complaints about having to have a Mac to make Mac apps. How on
746.
by tpush 8y ago
Nonsense. A quick Google search[0] shows that the following countries all have cheaper groceries than the US: Spain, Germany, Netherlands. [0] http://www.nationmaster.com/country-info/stats/Cost-of-livin...
747.
by tpush 8y ago
The whole story sounds completely ridiculous. Probably the best option for people who value their sanity is to just not associate with anyone involved in these nonsense Twitter dramas.
748.
by tpush 8y ago
Certificate is valid for me using Safari (expires October 7th).
749.
by tpush 8y ago
Holy hell, an actual Holocaust denier. You know, there are survivors of these extermination camps still around; some even speaking of their experiences. All liars in your warped world view?
750.
by tpush 8y ago
You missed this parts of the article: > "Rosenberg does occasionally raise the issue of Jews. On March 28, 1941, he referred to the opening conference of his brainchild, the Institute for Research into the Jewish Question. I regard

More ›