jolmg

54 ms·

931.
by jolmg 5y ago
Context: https://news.ycombinator.com/item?id=27698955
932.
by jolmg 5y ago
Reminds me of how lambdas got added to mainstream languages like Python, Java, and C++, when various other languages like Lisp, Smalltalk, SML, etc. had had them decades before.
933.
by jolmg 5y ago
Saw the headline a few times before noticing it wasn't Xerox.
934.
by jolmg 5y ago
Gravity is probably also learned at the same time we learn how to use our muscles from how we must compensate for it when moving, also from seeing how things have a tendency to approach the ground unless something gets in the way, and from
935.
by jolmg 5y ago
> don’t remember the title. Found this: https://news.ycombinator.com/item?id=17687533 which leads to: https://www.newyorker.com/tech/elements/people-cured-blindne... which leads to: https:&#x2
936.
by jolmg 5y ago
If this calculator is rent vs buy, why does the graph compare house vs apartment? For both houses and apartments, they can be bought or rented. Are you someplace where one type of home can only be bought and the other can only be rented?
937.
by jolmg 5y ago
Shameless plug: https://github.com/jolmg/cq
938.
by jolmg 5y ago
> As a final argument, it does not let us cleanly do the usual stack-esque wind and unwind, i.e. do A if (error) goto out_a; do B if (error) goto out_b; do C if (error) goto out_c; goto out; out_c: undo C
939.
by jolmg 5y ago
From the TOS[1]: > If you upload Content that already comes with a license granting GitHub the permissions we need to run our Service, no additional license is required. [1] https://docs.github.com/en/github/sit
940.
by jolmg 5y ago
Find a way to resolve it? You could negotiate or find another job that lets you manage the time you need to run your business. I don't think the options are necessarily limited to either quit employment and go full-time on the business
941.
by jolmg 5y ago
> If you are putting up code on GitHub to which you don’t have all the rights you’re actually in violation of their TOS and you are violating the rights of other copyright holders. I can't find where in the TOS it says that you must
942.
by jolmg 5y ago
You're right. That's pretty practical. I guess I try too hard to avoid writing to disk when I can.
943.
by jolmg 5y ago
> You can ssh host1 tail -F log | sed -e s/^/host1:/ That's only for one host. If you mean something akin to: tail -F <(ssh ...) <(ssh ...) that wouldn't work, because `tail` would wait for the firs
944.
by jolmg 5y ago
mkdir foo bar sshfs foo.server:foo.dir/ foo/ sshfs bar.server:bar.dir/ bar/ tail -F foo/foo.log bar/bar.log A method that doesn't involve sshfs: servers=(foo bar) pipes=("${servers
945.
by jolmg 5y ago
rsync.net Maybe they're not little-known here, but their service of a restricted shell to large-storage-capacity machines for backups seems pretty unique.
946.
by jolmg 5y ago
Even with e.g. it doesn't make much sense.
947.
by jolmg 5y ago
Sorry, I actually meant 5px without the space, because the HN title here says 4px despite it actually being 5px if you include the space. The font I use is actually 6px wide (the 6x9 version).
948.
by jolmg 5y ago
That's very interesting. I've never heard of subpixels being used to make fonts extremely small.
949.
by jolmg 5y ago
Yes, as well as for the window titles and panel bars for system status and other things. The resolution I'm mostly using right now is 1366x768. When I decided on that font I was using a netbook though, so the screen was quite smaller.
950.
by jolmg 5y ago
Wow. I've been using 5px wide Fixed[1] for years because I'd never seen another font that is as readable that small, but this seems pretty nice. [1] https://en.wikipedia.org/wiki/Fixed_(typeface)
951.
by jolmg 5y ago
Was it this one? https://news.ycombinator.com/item?id=27111887 Found by typing "lightning vaccine" in the search box below, and setting the box filters as "Search <comments> by <date> for <past
952.
by jolmg 5y ago
What kind of intuition do they rely so much on to call them intuitionists that is everyday in nature rather particular to their domain, but that programmers don't also rely on? Are we talking "everyday" like "I need to b
953.
by jolmg 5y ago
And when I mentioned writers, I was thinking of the work that's probably required to build the plot, even before writing it. I'm not a writer, but I would imagine it involves holding a world and timeline in their head and tweak it
954.
by jolmg 5y ago
As if programming can't involve intuition. There isn't one way to do things nor do we operate with strictly defined rules to follow. We need a fair amount of intuition from experience to make the decisions that will be more benefi
955.
by jolmg 5y ago
Architects, lawyers... EDIT: Removed writers. Architects and lawyers don't have as much room for mistakes and technical detail matters more in their work.
956.
by jolmg 5y ago
> Nobody else constructs models in their minds that are almost purely mechanical and specific to a small problem. Every model the sales guy or manager uses has very few knobs to twist What about mechanical engineers, electronic engineers
957.
by jolmg 5y ago
> developers legitimized the exchange of real money for in-game money (through the buying and selling of game time) Are there people making a living by earning in-game currency and exchanging it for a real-world currency?
958.
by jolmg 5y ago
> `vector-sized` package[1]. This does not directly support multi-dimensional indices as the size type parameter must be of kind KnownNat, but they can be nested, Oh! That's neat. Nesting would eliminate the need for a list at the t
959.
by jolmg 5y ago
Yes. For example, Adobe's[1] which describes the policy for Photoshop and their other apps describes what specific data they may collect which is all related to the operation of their apps and services, and then they say they may provi
960.
by jolmg 5y ago
> if the range of y depended on the value of x, this wouldn't turn into an array, where you need all dimensions to have regular length Yes, that's the issue I encountered with the Monad definition. Had to handle the case where

More ›