ithinkso

When I was doing my sailing license one of the mandatory training thing was a 'person overboard' maneuver. And the very first thing you do is to designate someone from the crew to point (with a finger and arm extended) and look at the person in the water at all times

That's not it, X for Y sounds completely normal as in 'food for kids' or something. But I have read the title as if io_uring added support for libuv.

It's the same 'for' in the title that I don't understand in the 'Windows subsystem for Linux'. English is not my native language but it is only recently that I started to notice this usage of for. Has it always been used like this?

Github post does it normally: 'Add io_uring support for several asynchronous file operations:'

> and decide what I'll do with the rest of my life.

Travel?

> In other words: in finite fields there's no restriction on the evaluation points

What about prime-power order? Does it also hold?

I'm not sure I understand you correctly but in boolean logic it is super hard to be somewhere between truth and false. Fuzzy logic is what you're after

youtube version of xkcd?

You really have to say this first to anyone you give the 'advice' from your previous post

That might not be enough as in the case of Gabriel's horn [0]

[0] https://en.wikipedia.org/wiki/Gabriel%27s_horn

This is tangential at best but I was in Chicago,US once for a business trip and we had weekends off so we did some sight-seeing and one Sunday late afternoon we were close to Fermilab so we decided to take a look.

The building was empty but open, there's a museum upstairs but when we got lost between floors we would just walk between cubicles that were clearly in use during the week, it was super wierd and cool at the same time. We didn't see the accelerator of course but still, we saw some control rooms etc..., to this day I'm not sure if we broke in or what

There is a Caspian sea in Asia, which is a lake to make it more clear.

In the end, the disctinction based on size is a wonky one and makes no sense in the long run so I don't mind having large lakes that are bigger than some seas

The sole reason I had compiz back then was to have the cube effect. I do miss my cube even in i3

Then you reunite the clocks and discover they show completely different time!

The sheer number of scare quotes in this essay makes it very uncomfortable to read, and in the end, I don't think it says anything substantial about the concept of numbers. Even if you distill out the usual finite automata fillers

It may be a global minimum but it doesn't have to be. If it ends up in a local minimum then going to a global one would reduce the total energy of the system but it may require additional energy first to 'go over the bump'.

I can't find a good source with packing but a very similar phenomenon is a soap film on a wire frame. Sometimes it gets stuck in a non-optimal configuration until you blow on it to give it a kick needed to reconfigure. You can see it at 19:35 in this talk by Matt Parker[1]

[1]: https://youtu.be/Iip8VNrHK_8?t=1175

Universe is looking for local minima, solving NP-complete problem means finding a global minimum

> How are matrices important in their own right besides as representations of linear maps

they can also represent groups

The authors have this P=NP 'proof' for more than a decade. When the trisector comes[0] and offers you money for finding a mistake you are not going to see any money

[0] http://web.mst.edu/~lmhall/WhatToDoWhenTrisectorComes.pdf

> (especially on a site where you can't delete comments)

Though I think the username annie_muss is a play on anonymous

> but the best algorithm we have (Djikstra’s) runs in exponential time in the worst case

Dijkstra doesn't handle negative weights so in that case you can use Ford-Bellman. It's slower than Dijkstra but far from exponential - O(VE) or something like that.

Well, at least you were a teen when you realized it. In my case it was 1min ago in this very HN thread...

I always assumed it was kind of a 'life's a bitch' aphorism

True, but the mandatory scheme to hand over your project to a vote also has consequences. The point it what's better overall and I don't think there is a clear and universal answer that works in all cases so we are left with the safer option

I see subreddits the same as opensource projects in this regard - users have all the tools and rights to fork. And the mods/maintainers can run the original to the ground if they so wish

That's why be don't deserve the title of engineer in software and we should stick with coder or programmer.

'Hi mate. We just bought this rebar from Alibaba, saved as a ton of money. Could you sign here real quick? We need to finish that bridge!'

would you not serve me ads if I did?

All newspapers/magazines, VHS/DVDs, cable TVs etc. were are 'subscription' in the sense you had to pay for them. Ads were still there. If paying a subscription for websites was normalized then soon enough they would as well be filled with ads.

Isn't uint8 exactly what your 'integer[modulo 256]' is? And for unbounded you do need bignum and dynamic allocation so I'm not sure I see any benefits to explicitely fine-graining the range instead of using machine word at all times and bignums when needed

This is not exactly a list when AC is dropped but if one takes as an axiom 'Axiom of Choice is false'

Recreational mathematics - you usually don't end up with large codebases and most is just a single file/single use code to test some number theory hypothesis or find an integer with some properties/find a counterexample.

With no attribution nevertheless :) (/s)

I love how, without the 'hello, world' message itself, 25% of your entire HELLO.ASM codebase is from a random HN comment

Edit: I saw the new commit, HN is lovely

Interesting, Erlang comes up here on HN rather frequently but I haven't really looked into it. I think I should though, any resources you can specifically recommend?