pdpi

42 ms·

751.
by pdpi 3y ago
> There are 16 functions mapping 2 bits -> 1 bit. Think 4 possible inputs, 2 possible output values for each input (0 or 1), so there are 2^4 = 16 such functions. When people talk about algebraic data types, they tend to forget about
752.
by pdpi 3y ago
> Is it? Why? Because, while gaming, the vents in my case blow air at over 40 degrees Celsius, and that heat has to go somewhere. Absent a setup that can put the case several meters away from me, that "somewhere" is on top of m
753.
by pdpi 3y ago
> Desktop pcs requiring a ludicrous amount of power and cooling is absolutely problematic. High-end PSUs now overlap with smaller space heaters on power output. My living room is usually 3-4 degrees hotter around my desk than it is by th
754.
by pdpi 3y ago
In case you're wondering: Where this becomes incredibly powerful is in how it relates to ad-hoc polymorphism. Again, imagine this is pseudo-java. // Alternative one: subtype polymorphism. You have to implement Format
755.
by pdpi 3y ago
Avoiding burnout and optimising for long-term performance is one side of this coin. Even if you pretend that your team can sustain 100% effort in the long term, and are willing to disregard the effects of working that way on their lives, th
756.
by pdpi 3y ago
It's easier to make the parallel between type-level and value-level reasoning. 1 is a value, and int is a concrete type. function increment(x) { return x + 1 } is a value-level function. You feed it a value x and you get a value back.
757.
by pdpi 3y ago
I don't expect it to work magically without effort on my part. What I'm saying is that it's a tradeoff, and that the tradeoff doesn't really work that well for me. I'm simultaneously pretty gregarious and pretty i
758.
by pdpi 3y ago
Some companies can't for cultural reasons. Sometimes, it's really just that you got your strategy wrong and now you have a bunch of domain/technical experts who specialise in stuff that's altogether useless for your new
759.
by pdpi 3y ago
I keep saying this — as a fairly senior engineer, remote has basically blocked me from actually doing many of the things that made me good at my job. I don't have all my juniors around me, so I can't overhear their conversations,
760.
by pdpi 3y ago
Never mind “pretending they can handle full power”. Remember this story? https://arstechnica.com/gadgets/2016/02/google-engineer-find...
761.
by pdpi 3y ago
I might've been a bit overzealous in keeping my own opinion out of it. I didn't meant to paint a bad picture of JeanHeyd. In fact, I specifically tried to highlight how he tried to avoid drama. Ultimately, I don't even think
762.
by pdpi 3y ago
JeanHeyd Meneide was invited to give a keynote at RustConf. He was not planning on giving a talk at all (can't recall whether he was planning on going to the conference in the first place), and he says he was plenty clear about what he
763.
by pdpi 3y ago
I don’t think GP’s point was that you have to use an LSP server to write serious projects. Rather, the quality of LSP support is rapidly becoming a good proxy for the overall state of tooling for a language (and, arguably, good tooling is a
764.
by pdpi 3y ago
I replaced my first G502 only a few weeks ago after many years of service. The left click was starting to be a wee bit unreliable, but the real reason for replacing it is that, AFAICT, my sweat was slowly but inexorably corroding the metal
765.
by pdpi 3y ago
> The other thing worth considering here, is that it is fair; there are benchmarks out there [1] that show other languages may have lower latency in some cases, but the overall fairness of the BEAM scheduler is better, and per above has
766.
by pdpi 3y ago
The "spark of genius" might very well be a novel implementation strategy.
767.
by pdpi 3y ago
There’s two bits that concerns me about this article, taking his statement at face value. One is the lack of transparency. Honestly, the guy sounds like an arsehole, but even arseholes should be treated fairly. “Quit or we’ll fire you” when
768.
by pdpi 3y ago
> Credit isn’t something you can steal in the dead of night; everyone knows who did the work. Sadly, that's not how it works in practice. In fact, a person I worked with was the perfect counter-example. As an SEM, he routinely portr
769.
by pdpi 3y ago
Given that he added that middle "initial" himself and he didn't actually have a middle name, I like thinking that he added it precisely to make that joke work. Probably not true, but I still like it.
770.
by pdpi 3y ago
for music production? I can see how you'd carry a midi keyboard but no keyboard for typing.
771.
by pdpi 3y ago
Current-gen 12" iPad Pro is 1.5 lbs to the MacBook Air's 2.7 lbs. That's a considerable weight difference still.
772.
by pdpi 3y ago
"Foda-se Björn" in Portuguese, which is, interestingly, a bit different in meaning. For the lack of a better description, it's closer to disappointment than anger. "Well, fuck me, Bjorn " rather than "Fuck you,
773.
by pdpi 3y ago
> v8 is a JS runtime. JSC is a JS runtime. SpiderMonkey is a JS runtime. V8, JSC and SpiderMonkey have no way to interact with the outside world. Without some supporting structure, running JavaScript does anything other than being an ove
774.
by pdpi 3y ago
My personal favourite is that an anagram of Banach-Tarski is Banach-Tarski Banach-Tarski.
775.
by pdpi 3y ago
The JEP identifies the scope as "implementation" and the component as "hotspot/runtime", so I do assume it's an implementation detail, yes.
776.
by pdpi 3y ago
The fact that it's Ryan Gosling specifically is largely irrelevant. The fact that it was K's actor who wrote that particular scene is integral to the point the article is making.
777.
by pdpi 3y ago
Could it have been a misunderstanding? Interlaken is, as the name implies, between two lakes, one of which called Brienz. Could have been "Brienz cheese" or something similar? There is a sbrinz cheese that's made nearby, but
778.
by pdpi 3y ago
It’s not a contrived example. It’s the canonical embedded hello world, written against two different libraries. At any rate, the C++/Rust part can be a distraction, because the interesting point here is the technique of encoding progra
779.
by pdpi 4y ago
One of the guys on the Cracking the Cryptic sudoku Youtube channel keeps accidentally triggering Alexa on his videos. It's pretty funny.
780.
by pdpi 4y ago
It's sort of amusing to see Deimos described as "little-known". I grew up playing Doom, so I learned about Mars's moons Phobos and Deimos way earlier than I did any of the other, better known moons in the solar system.

More ›