0815test

10 ms·

61.
by 0815test 7y ago
> left-wing policies are more beneficial to the growth of cities Left-wing policies like urban exclusionary zoning? Yeah right. Look at how Texas and other Sunbelt states are doing, despite them being in inherently more challenging parts
62.
by 0815test 7y ago
The leaders? You're quite right, but maybe not the way you think. Trump said plenty of truly outrageous things, but he wasn't the one who generalized 50% of the population as "the basket of deplorables". Maybe Bernie is
63.
by 0815test 7y ago
> by hiring a bunch of mid-tier Java programmers Replace Java with Go (not much of a change, all things considered!) and that's exactly what Google seems to be doing. It's a big problem for them in the long run because it does
64.
by 0815test 7y ago
> It gave bad actors a lot of autonomy, but it also exposed them to scrutiny and pushback from good actors. So far, we've seen quite a bit of the former and very little of the latter. Google's work culture seems to have become
65.
by 0815test 7y ago
Also known as "unused RAM is wasted RAM".
66.
by 0815test 7y ago
Kudos for providing a nicely-formatted transcript of this talk and not forcing us to watch a video. Learning about defunctionalization (and lambda lifting, which is closely related) was how I first managed to understand what this "fir
67.
by 0815test 7y ago
Bad example, a SaaS dependency is a single point of failure and it's entirely proper to get rid of it. Of course it would be better to move to a wholly-open alternative, but if none is around an internal system is the next-best alterna
68.
by 0815test 7y ago
> something similar to a 501(c)(3) nonprofit which is established to provide a subscription service and whose directors are required to be elected by the long-term subscribers. That's a co-op, surely? It's not exactly unknown!
69.
by 0815test 7y ago
It's also associated with the freedom to specialize in an industry , and not just in relationship-specific capital. A Starbucks barista is far more comfortable and effective at making coffee than a jack-of-all-trades personal servant
70.
by 0815test 7y ago
Not "income inequality", but inequality in the marginal disutility of labor. Someone who works many hours per week in high-effort jobs will be eager to outsource even trivial tasks to a "gig economy" worker who is in a
71.
by 0815test 7y ago
> I don't think we picked the greater or the lesser of two evils, I think we picked the more consistent of two evils. ... A benevolent dictator might be better than the best democracy, but a malevolent dictator is way worse than th
72.
by 0815test 7y ago
Surely not "because of the borrow checker", since it's trivial to relax its enforcement with very limited runtime overhead. The tasks that essentially require GC (and this is pretty much always the case, even wrt. C!) are t
73.
by 0815test 7y ago
Modern graphical programming has nothing to do with setting pixels on a framebuffer the way you would in typical BASIC or LOGO implementations. You're essentially dealing purely with "surfaces" that work pretty much like glor
74.
by 0815test 7y ago
You'll always be able to roll your own. What this is about is like running a live distro w/ "persistence", except from your own hard drive instead of external media. With comparable benefits and drawbacks, I assume - in
75.
by 0815test 7y ago
The actual nice thing about those packages was the straightforward support they provided for the mostly gaming-oriented hardware features in those machines (particularly the Amiga). In this way, they were close precursors to present-day gam
76.
by 0815test 7y ago
Well, as some people say: you can write FORTRAN in any language! And BASIC is just substandard FORTRAN.
77.
by 0815test 7y ago
> providing clear and relatively foolproof syntax Meh. BASIC-like languages are "clear and relatively foolproof", but not because of their syntax . The genuinely "clear" elements that they do have, such as the use of
78.
by 0815test 7y ago
> much of the syntax differs needlessly from C like languages. It massively increases the cognitive overhead for someone coming from Java, C++, C#, C-like language world. And it decreases the cognitive overhead for someone coming from
79.
by 0815test 7y ago
> The west squandered a chance to implement a “Marshall plan” and make a strong ally out of the Soviets. We definitely made this particular mistake much later on, in the 1990s; I'll give you that. But what you're saying wrt. th
80.
by 0815test 7y ago
> (Bounded) model checking Oh come on. If your bounded model checking is actually checking every possible input or program state, then it's not just a method of verification but an actual proof. (It may be a subjectively inelegan
81.
by 0815test 7y ago
LED's are the modern blinkenlights. They can be useful if the OS supports them properly (Linux is slowly but surely getting there), so that failure states or heavy load can be conveniently signaled in a way that doesn't impact act
82.
by 0815test 7y ago
> The same can be said of any variable in Rust that is passed to a function via immutable reference... I don't think this is correct. Rust does not really have immutable references, it has shared references vs. exclusive ones. S
83.
by 0815test 7y ago
The Rust type syntax is not weird. C-like languages are weird, because their syntax grew by accretion from a much simpler use case where something like "int x;" or even "int f(int a, int b);" could make sense. But ev
84.
by 0815test 7y ago
"Global refactors" work well with type system support, and not at all otherwise - and more modern languages do tend to come with better such support. Even for C++ itself, LLVM has a few bespoke tools to help you refactor old code
85.
by 0815test 7y ago
> I thank it for making me a better software engineer It's especially nice that Rust has kept this basic attitude from C/C++ and in fact strengthened it a lot and aligned it with modern trends, even as it got rid of the annoy
86.
by 0815test 7y ago
I thought polio itself was on the brink of complete eradication, with humans as the only viable reservoir? Seems quite unlikely that it would be mutating this recently, so this has to be something pre-existing.
87.
by 0815test 7y ago
> The 1998-2011 gap has made a lot of damage to c++ in term of "market share". Not really... Rust 1.0 is from mid-2015, well past 2011.
88.
by 0815test 7y ago
> (I'm looking at you, MIT!) You couldn't choose a worse example than that. MIT famously screwed Aaron Swartz legally over public domain (pre-1923) papers, by baselessly claiming that his access had been "unauthorized&qu
89.
by 0815test 7y ago
Model checkers are essentially glorified fuzzers, so the way they work is inherently vulnerable to state space explosion. The way to address that is to move closer to building things that are correct "by construction", and prove t
90.
by 0815test 7y ago
See https://arxiv.org/abs/0903.0340 for a basic introduction to the issues, and https://arxiv.org/abs/0908.3347 for a slightly more extensive treatment, also mentioning proof nets. This does not

More ›