tikhonj

38 ms·

541.
by tikhonj 4y ago
There is no "paradox". C++ is dangerous because of memory management and awful semantics (undefined behavior/etc), both of which are orthogonal to static typing. It's a bit like saying that there's a paradox: everyo
542.
by tikhonj 4y ago
Yeah, definitely. We're working on adding a guide[1] like that to haskell.org as we speak :) If you have a chance, you could look over the PR and tell me whether this is roughly what you're thinking of. [1]: https://git
543.
by tikhonj 4y ago
Have you tried the Haskell language server? I don't think it has project-wide automatic refactoring—maybe that's something people are working on, but also seems quite difficult—but it definitely tightens the write/compile&#x2
544.
by tikhonj 4y ago
Cabal's been fundamentally redesigned to have "Nix-style" builds. This has solved most of the problems I remember encountering with the tool. These days, I only have issues when packages have incorrect or incompatible version
545.
by tikhonj 4y ago
Personally, what I want out of "accountability"—in general, not just here—is not consequences for their own sake (or for punishment) but rather taking actions to address the problem and bearing the natural costs of those actions.
546.
by tikhonj 4y ago
> One of the big reasons why FP languages have so little penetration is because the advocacy usually feels like someone trying to talk you into a religion. That's exactly what worked for OOP—have we collectively forgotten just how h
547.
by tikhonj 4y ago
Far more than 8% of inmates live subhumanly because public prisons are awful too . Focusing on private prisons distracts us from how much of the problem is systemic and political—cruelty is built into the justice system top-down in the nam
548.
by tikhonj 4y ago
...because you don't want to eat outside or at home?
549.
by tikhonj 4y ago
I have a One Plus 7 Pro and it can scan QR codes, but you have to press a button in the camera app first. Not entirely intuitive up-front and a bit finnicky even once you know about it, but it's been good enough in practice.
550.
by tikhonj 4y ago
Who said anything about "mindless"? Just because work wasn't planned in detail in advance does not make it mindless—the people actually doing the work make creative, nuanced decisions as they're working . Not pushing a
551.
by tikhonj 4y ago
You can predict some things, sure—but there's a massive leap from that to planning "the entire next 3 months"! If you can get a bunch of people into a room and plan out what everyone on a software team is doing for the nex
552.
by tikhonj 4y ago
I've had a good experience with direnv[1] and emacs-direnv[2]. Direnv can automatically load an environment when you enter a directory, so it automatically "opens" virtualenvs/nix shells/etc. The Emacs direnv mode e
553.
by tikhonj 4y ago
You can't create Hollywood blockbusters or video games without huge, global industries working together to produce the tools and content. Popular media has biases and, clearly, social consequences as well—there's a reason people t
554.
by tikhonj 4y ago
In my ideal world the role would be called something like "product developer" with the responsibility to develop and articulate a clear vision for the product (with a holistic understanding of "product").
555.
by tikhonj 4y ago
There's a qualitative difference between using AI for sourcing —that is, finding candidates you would not find normally—and using it for assessment . The impact of a biased source is attenuated by having other sources and by the rest
556.
by tikhonj 4y ago
I've seen exactly the same dynamic happen in hierarchical organizations—the hierarchy and bureaucracy might have ameliorated some of the pathologies, but it just as easily magnified others while also bringing in its own. It definitely
557.
by tikhonj 4y ago
Modern Emacs, at least, works better in GUI mode than in terminal mode. It's got a different style and design philosophy than VSCode et al—which results in a steeper learning curve for most people—but it's absolutely comparable
558.
by tikhonj 4y ago
The ^ operator is defined in Haskell's standard library for raising values of any numeric type to non-negative, integral powers. Conceptually a ^ n just expands to a * a * ... * a, but the actual code is a bit more complex[1] for perfo
559.
by tikhonj 4y ago
Google certainly has a bunch of extensions in IMAP. I'm not sure about the messages themselves, but I wouldn't be surprised if Google has extra metadata and supports features that only work within the world of GMail and gracefully
560.
by tikhonj 4y ago
There's an obvious asymmetry in power and impact! Having one of X employees leave is absolutely nothing like losing your one of one job. A closer analog would be when a business stops working with a consultant who has other clients; no
561.
by tikhonj 4y ago
The trick is that Go isn't a new language, it's an old language with a new coat of paint.
562.
by tikhonj 4y ago
That is, companies are a meritocracy as long as "merit" means "making your bosses happy".
563.
by tikhonj 4y ago
I would hope that the point of security systems would be to make the company secure . Being bureaucratic and following "proper" procedures ranges from being a way to achieve that goal to being actively counterproductive. It'
564.
by tikhonj 4y ago
The problem is that we need not just a language like that, but a version of Nixpkgs-the-codebase designed for that language with corresponding sensibilities. And that's a much bigger obstacle than coming up with a language!
565.
by tikhonj 4y ago
Having used Nix a bunch, the system has been hard to use and learn in exactly the same ways that messy legacy codebases I've worked with have been hard—which makes sense since Nixpkgs is an absolutely massive codebase that's evolv
566.
by tikhonj 4y ago
There's some real selection bias in that observation: if we overestimate a technology's impact in the long term, nobody's going to remember the technology or the estimates by the time the long term rolls around.
567.
by tikhonj 4y ago
There was an example of what it means to write minimal code to pass a test with QuickCheck which illustrates pretty much exactly the stuff you quoted.
568.
by tikhonj 4y ago
"Notorious" isn't always negative—the connotations of the word depend on context (and probably regional use?) in sometimes confusing ways.
569.
by tikhonj 4y ago
Exactly the same thing is gradually happening with lights at home. In the past, light bulbs always had some variant of the standard screw-in socket because the bulbs would wear out so often; with modern LEDs, the lights last far longer so m
570.
by tikhonj 4y ago
People don't generally use "proofed" like that—I would always use "proven" to talk about something that had a mathematical proof, and "proofed" only comes up in specialized areas like publishing (where it&

More ›