tpush

82 ms·

871.
by tpush 10y ago
Right, because you use seat belts every time you drive. So they are always a factor. I do not use Telegrams security features though, so whether they are any good isn't relevant to me(and many other people).
872.
by tpush 10y ago
Most people who I know use Telegram(me included) use it because it's frankly the nicest(fast, looks good) Messenger out there, not because of its security features. Personally I don't use the secret chat functionality; I would use
873.
by tpush 10y ago
Well, think of all the devs who do not work on a Mac.
874.
Jonathan Blow: Jai Demo: Back End Speed(youtube.com)
4 points by tpush 10y ago|1 comments
875.
by tpush 10y ago
The number one reason why I personally prefer native apps (at least os macOS) is the fact that they consume way less battery than Electron-based ones.
876.
by tpush 10y ago
Yeah, I don't Arch or Gentoo are good recommendations if one of his complaints is having to manually install a driver.
877.
by tpush 10y ago
"I remember discovering that unnamed semaphores don't work on OS X" Yeah, Posix semaphores don't work on macOS. Confusingly, support for unnamed semaphores exists however in Apple's libdispatch, using dispatch_sema
878.
Chandler Carruth: “Garbage In, Garbage Out: Arguing about Undefined Behavior”(youtube.com)
2 points by tpush 10y ago|0 comments
879.
A Functional Programmer's Guide to Homotopy Type Theory(youtube.com)
3 points by tpush 10y ago|0 comments
880.
Simple Generic Sum Type in C++(gist.github.com)
2 points by tpush 10y ago|0 comments
881.
by tpush 10y ago
And the Reichstag fire was not a false flag operation, it was just exploited afterwards as an excuse to finish up German democracy. The perpetrator had a criminal record for arson. Maybe you should read articles that you link to? From the
882.
The Theory and Practice of First-Class Prompts [pdf](cs.tufts.edu)
2 points by tpush 11y ago|0 comments
883.
by tpush 11y ago
Maybe I'm misunderstanding you, but why wouldn't it work in an expression based language? Isn't if let pat = expr1 { expr2 } just syntactic sugar for match expr1 { pat => { expr2 } _ => { } meaning
884.
by tpush 11y ago
Well d'oh, should've clicked the link. Thanks :-) I would argue that allowing 'let' values to be initialized on multiple paths is uglier than having them be always initialized by exactly one expression. But, I see their
885.
by tpush 11y ago
if/else and switch as expressions: These are conceptually interesting things to support, but many of the problems solved by making these into expressions are already solved in Swift in other ways. Making them expressions introduces si
886.
by tpush 11y ago
"POSIX_ME_HARDER"
887.
by tpush 12y ago
Interestingly, there's no mention of type theory in Foundations or Compuer Science.
888.
by tpush 12y ago
Still not quite my point :-) What I'm talking about is modeling this aspect of Scheme's behavior: (define x 5) (define (f y) (+ x y)) (f 5) => 10 (set! x 10) (f 5) => 15 Scheme's lambda evaluates its body
889.
by tpush 12y ago
I'm sorry, I didn't quite convey what I actually wanted to know. I'm aware of how to model mutable state by simply passing in and "returning" the state, that's not the problem. Let me try to explain again, bear
890.
by tpush 12y ago
How would that work to model mutable closures? During the evaluation of a Scheme lambda expression, the current environment needs to be captured somehow. Assuming the resulting value of the evaluated lambda expression is something like
891.
by tpush 12y ago
How would you implement mutable closures without using IORefs, though? In Scheme the environment that is captured by a lambda expression is mutable; how would you accomplish that without IORefs? (Genuine question, as I'm currently im
892.
by tpush 12y ago
#define ARRAY_SIZE(x) ((&(x))[1] - (x)) :-)
893.
by tpush 12y ago
And if you follow your link, you'll see that the MIT license grants all these freedoms and is thus considered to be a Free Software license.
894.
C++ unified call syntax: x.f(y) vs. f(x,y) [pdf](isocpp.org)
61 points by tpush 12y ago|69 comments
895.
by tpush 12y ago
Thanks for the information! Looking very much forward to rust 1.0.
896.
by tpush 12y ago
Would there also be a performance boost compared to C code which properly uses 'restrict'?
897.
by tpush 12y ago
Am I missing something? '==' has a higher precedence than '||', so it should always evaluate as true.
898.
by tpush 12y ago
At least in my experience, compilers are pretty good at pointer chasing and inlining. For example, in my code a function calls another function through a function pointer that was previously set via an exposed function. Much indirection,
899.
by tpush 12y ago
Well, good then that C++ allows you to easily use your own memory allocation scheme via custom allocators. You can even use STL's data structures :-).
900.
by tpush 12y ago
He seems to be really obsessed with Canonical and its (former) Community Manager Jono Bacon.

More ›