Tom Sydney Kerckhove
@kerckhove_ts
Building https://nix-ci.com Learning American Sign Language
I'm looking for work: 12+ years of technical experience 6+ years of Team Lead / EM experience Robust Sustainable Engineering Haskell, Rust, Nix Find my cv at cs-syd.eu/cv DMs are open Please retweet for reach.
Types don't constrain what you can write. Types extend what you can write to include code that the compiler can already tell you won't work at runtime.
My dad programmed punchcard computers, worked with a scanning electron microscope for years, and still yells out in frustration about the coffee machine. I wonder what that's going to look like for me in the future.
Can confirm, some of these are "just" orthorexia.
My wife just compared all this tech-adjacent extreme longevity focus in men to anorexia in women. A physical manifestation of anxiety and lack of control. And now I can't get the thought out of my head. Spot on.
NixCI does this by design.
Nothing is more satisfying than a CI pipeline still working after 2 years of inactivity
Maybe they're right afterall; AI can replace developers!
This. I'm so happy you wrote this so I don't have to. These are exactly my thoughts as well!
happyfellow.bearblog.dev/computational-…
Google maps: "Head east on ..." Me: "Crap, I forgot my compass! If only there were some sort of navigation tool I could be using..."
Had a very similar experience with social-dance.today, minus any money at all :p
My first exit! 3 years ago I began my first startup: weegee, a shared flat search for Switzerland It's sold now, even though it was at $0 MRR Here's my little story: 🧵
With all due respect to Chris; This trend has to die. People can have all the right experience and still be wrong. It does not help to imply that you can only be wrong if you are inexperienced.
you must not've done anything difficult in your career yet
In other words: A typed language is just an untyped language that also has types.
Anything that works in an untyped language can work in a typed language but not the reverse. That should be all you need to know to use a typed language; it's strictly more expressive.
It's only called Bouillon if it comes from the Bouillon region of Belgium. Otherwise it's just sparkly meat-water.
Anything that works in an untyped language can work in a typed language but not the reverse. That should be all you need to know to use a typed language; it's strictly more expressive.
Are these wind directions in Farenheidt or something?
West Virginia and Kentucky are not North, no. That's just the first two states that I know are definitely Southern States that come to mind. I'm back in the South but apparently I lived in the midwest(Ohio) up until four days ago, huh, I thought I was in the Northeast
In fact, I think much of the hostilities in modern discourse is "just" because some people put useful above true and others the reverse. I myself put true far above useful and have had to learn to listen to people who talk the other way around.
I've thought about this too, but in reverse. Topics that are _clearly_ false but where it's still useful to pretend.
NixCI fixes the first two options.
CI has failed, now I get to ...
I've thought about this too, but in reverse. Topics that are _clearly_ false but where it's still useful to pretend.
i should keep a list of topics that are a) true b) not worth discussing because of the sorts of people who will inevitably crawl into my mentions