Viewing profile — grumdan

> but he is a good guy That definitely doesn't seem to be the case, especially if you look beyond his bio-hacking endeavors. His treatment of employees and ex-partners seems pretty…

For many languages there are mature parsers out there that can be reused (e.g. Google's Closure compiler or babel for JavaScript, or the Soot framework for Java that also simplifie…

It doesn't work super well during live collaboration, but Overleaf does allow git access to the underlying document: https://www.overleaf.com/learn/how-to/Using_Git_and_GitHub

Programming-related humor is pretty tricky. I once told a UDP joke, but nobody got it..

How did the Three Wise Men find their way to baby Jesus? A Star. (This joke works better when spoken out loud instead of written)

One example that comes to mind is type state [0]. I'm not aware of any other language (including those with support for dependent types, like Agda) where these properties can be ch…

> If only Jolla devs had kept their promises of open-sourcing more of their code. I think that's a big part of the answer to why it hasn't caught among techies. When I tried using …

Well two differing conventions above are both for x86, so you can't "match x86".

You can provide this implementation yourself easily enough though. I agree it's maybe not ideal that this needs to be done for every Trait you want this behavior for.

At least now we are checking that two pieces of saying what we want a program to do match up. It's less likely to get both the implementation and specification (in the form of type…

> At the same time we finally got a phone that is built with some security in mind (Librem). If it ever materializes. It's already more than half a year behind schedule and after p…

I guess I shouldn't use terms that could also have a precise chemical meaning. My understanding is that they cause similar effects to LSD, but analogue is probably not the right wo…

I agree that prohibition does cause a lot of issues. This makes even less sense since one difference is that there is no equivalent to "alcohol poisoning" with LSD. A dose at which…

I have found Rust to be a nice middle-ground for this. Sure, the borrow checker takes some getting used to, but it features an ML-style type system (though I still miss some extens…

> because all existing implementations are bad I'm also not sure why in OOP-land, generics are this crazy experimental weird feature, when in functional languages, people figured o…

I was asking if you think it's equally bad for gay people in Iran and the west, or worse in Iran. Your first statement sounded like you think it's no better in the west, and the se…

> [...] is as worse as hanging them > I know that Iran is worse Which one is it?

> Everyone already agrees with you. That's really not my experience. A significant portion of people I meet, including technical people, articulate some form of "I have nothing to …

While disk space may not often be an issue (though small SSDs are commonplace), RAM usage certainly is an issue if every little tool is an electron app.

If that were such a big factor, then allowing guns wouldn't make a difference, as criminal could still choose to carry a knife for this reason.

I know the comment you replied to was in jest, but he did actually say quite the contrary (at least according to Theravada, one major Buddhist tradition): He in several places said…

Still not as good as Google Maps, but I find maps.me (also open-source and based on OSM data) significantly nicer than the default OSM client for Android (I think it's called OsmDr…

Having a good shell (like zsh) that shows available flags with descriptions when hitting tab goes a long way toward not having to remember tools' flags.

I really recommend Amethyst, which is an xmonad-like tiling window manager for OSX. It's still not as configurable as xmonad, but certainly nicer for me than the default WM: https:…

This reminds me a lot of Charles Stross' talk at 34C3, where he described corporations and competition between them as "human-powered AIs" that maximize profit as their only goal, …