tikhonj

52 ms·

691.
by tikhonj 6y ago
Scrum is like PowerPoint or C: I'm sure it's possible to use it mostly well, but its defaults actively push bad patterns so the vast majority of Scrum implementations are actively counter-productive. In the most common case I&#x
692.
by tikhonj 6y ago
> While not directly related to strictness, a pain point on the PureScript side that I didn’t experience in Haskell was stack safety. Stack safety is directly related to laziness—Haskell being lazy[1] by default is what lets function
693.
by tikhonj 6y ago
I mean, greater brevity in theory , but having used both s-expressions and JSON for config files, I can tell you that the s-expression version ends up noticeably less verbose and noisy in practice. > This despite the fact that that not
694.
by tikhonj 6y ago
Program synthesis seems like the most promising area of research for that—treat compilation as a search problem or even a series of search problems rather than as a pipeline of (mostly) deterministic steps. Couple a compiler with search-bas
695.
by tikhonj 6y ago
I just saw something similar on Twitter[1]: a script that takes a ZFS snapshot after every command. This lets you jump back to the state of the whole filesystem after every single command that you ran, giving you a sort of global history. I
696.
by tikhonj 6y ago
> how would a team of mediocre developers have tackled this problem? In my experience, mediocre developers would stick to a simple language like Python and only use simple Python features... and write a completely impenetrable, 100% co
697.
by tikhonj 6y ago
Haskell needs its own Elixir: a language different enough to fix fundamental problems but similar enough to inhabit the same world. I'm imagining a language with its own frontend and some of its own features that could still reuse GHC
698.
by tikhonj 6y ago
The practical problem is that backwards compatibility and making real improvements to the language are fundamentally at odds . There's just no way around it. If you can't break compatibility, you can't make meaningful improv
699.
by tikhonj 6y ago
It also really helps in the opposite direction. Games that had release issues but fixed most of them have mediocre overall reviews but positive recent reviews, and I've found that's a pretty good sign that a game is worth trying.
700.
by tikhonj 6y ago
You (mostly) don't have to deal with data migrations with statically typed languages. Releasing a new version of some code is usually easier than making structural changes to a database that's in active use.
701.
by tikhonj 6y ago
If people are working on completely unrelated things, what do you get from a stand-up other than a group status update?
702.
by tikhonj 6y ago
A bit of a controversial take: if you need standups for this sort of communication, your work and work culture are way too siloed. With a flexible and collaborative culture, people will communicate these things naturally as part of doing th
703.
by tikhonj 6y ago
Negotiating scope is a different mindset than negotiating estimates . Even better would be making sure the team understands both the real goal they're trying to achieve and how time plays into it, letting the team make scope tra
704.
by tikhonj 6y ago
> the only limit to your velocity is you I have never seen this to be the case outside small, self-contained projects. Even with a fixed scope (its own can of worms), major slow-downs often clearly come from outside the team—unexpected
705.
by tikhonj 6y ago
This comment ended up as a bit of a rant, on a topic where you have way more experience than I do. Sorry about that! At this point, I'm just using this as a chance to gather my own thoughts on the subject, and I figure I'll post i
706.
by tikhonj 6y ago
I think this works, but only in cases where two things are true: - the team is actually responsible for the date—often, there's massive asymmetric pressure to aim for less time - if it's an actual deadline, the team has the aut
707.
by tikhonj 6y ago
I've used the nixos/nix image from Docker Hub[1] to run some CI scripts using Nix to build my projects. As far as I understand it, it's basically Alpine Linux with the Nix package manager and tools preinstalled, but it worked
708.
by tikhonj 6y ago
I use Emacs's direnv integration. Haven't had any trouble. It straight-up works better than alternatives I tried before like trying to turn pyvenv mode on automatically. I also manage Emacs, its packages and its packages' nat
709.
by tikhonj 6y ago
> Using a special command (nix-shell) whenever I needed to do development things (e.g. Rust builds) was not my idea of fun. Funny you should mention that, because that's exactly what got me using Nix everywhere :). I've alway
710.
by tikhonj 6y ago
High-end office builds are also efficient rectangular prisms far more often than not, yet they don't feel like hospitals, schools or prisons. I've spent extensive time in all of these except prisons, and I can tell you the diffe
711.
by tikhonj 6y ago
Also, when they did deliver a Half Life game, it was incredibly well executed and novel in a way that could simply not happen at a different company with a different culture. Normally I'd dismiss claims like that as puffery, but here i
712.
by tikhonj 6y ago
Hanging around on Reddit's /r/fantasy, I see a surprising number of people talking positively about self-published fantasy books. The coupled I tried reading—stellar Goodreads ratings aside—were utter garbage, but I bet there
713.
by tikhonj 6y ago
I worked on a research project using these—the design is totally wild, and not just because they don't have clocks. I remember talking to one of the other people at the company, and he had a debugging story that—if I'm recalling c
714.
by tikhonj 6y ago
People say this, but it seems like a false dichotomy. I use Emacs exactly because I choose productivity! Emacs might take more time to configure, but that's time measured in hours or, at most, days—a tiny blip compared to the total a
715.
by tikhonj 6y ago
I think what makes Org special—just like Emacs—is that it's a small system that can grow . You can customize it however you like, and it's easy to add functionality on top of (or into) the core system. In practice, would standard
716.
by tikhonj 6y ago
Yep, I use org-reveal which has an annotation for fragments. Here's a link to the source for that particular talk: https://github.com/TikhonJelvis/talks/tree/master/haskell-lo... Should have thought
717.
by tikhonj 6y ago
I've been doing all my talk slides for the past few years with org-mode and Reveal.js. Really happy with both the workflow and the result[1]. I've settled on a pretty simple system with three main files: ideas.org → outline.org →
718.
by tikhonj 6y ago
Seems like that depends on what kind of conventional startup wisdom you're thinking about. For example, from what I've read about SaaS business plans, the conventional approach is drawn from the experiences and data of hundreds
719.
by tikhonj 6y ago
I worked on an SMT-based superoptimizer research project[1] as an undergrad. We were targeting a weird stack-based chip so the details were pretty different, but it worked surprisingly well. Really fun project for sure! SMT solvers are an i
720.
by tikhonj 6y ago
I was half-remembering some story I heard a while ago about the work needed to arbitrage between some US ETF and some securities on a Brazilian exchange, or something to that effect. I don't remember the details, and I'm not even

More ›