Smaug123

45 ms·

541.
by Smaug123 4y ago
For those who don't know, this is an actual thing: a UK company had a name which Companies House listed as "[NAME AVAILABLE ON REQUEST FROM COMPANIES HOUSE]" until the company changed name to "THAT COMPANY WHOSE NAME USE
542.
by Smaug123 4y ago
The removal of about 500 people (not all of whom will leave London) and perhaps their families from a city of population about 9mm? I imagine not.
543.
by Smaug123 4y ago
They're pretty damn expensive in the UK, certainly - around £2500 a couple of years ago in central London. (It would have been much cheaper for me to just buy a CPAP and try it out, than to have a polysomnography, but it's notiona
544.
by Smaug123 4y ago
(Prompt engineering is a powerful technique with humans as well as LLMs!)
545.
by Smaug123 4y ago
Wait til you see the eight ways Nix has of packaging Rust applications! https://nixos.wiki/wiki/Rust#Packaging_Rust_projects_with_ni...
546.
by Smaug123 4y ago
They can certainly get a warrant to seize and search a phone, yes. They can also get a warrant to seize the contents of the WhatsApp server, for what little good it will do them (assuming we believe they are in fact end-to-end encrypting th
547.
by Smaug123 4y ago
I believe you don't know the meaning of the term "end-to-end encryption". Obviously the application itself (and the phone) can see the text you put into it, because it has to display that text. "End-to-end encrypted&quot
548.
by Smaug123 4y ago
Eh? It is possible for size to be decreasing most of the time. Just make traffic extremely bursty - add 60 on the hour every hour, and consume at one per minute.
549.
by Smaug123 4y ago
That's just not the kind of goal natural selection is capable of optimising towards. Natural selection instils the execution of adaptations which on average have historically demonstrated increased reproduction rates. It does nothing
550.
by Smaug123 4y ago
(In case it wasn't clear, the downvotes are probably coming because you appear to have entirely missed the point - you replied to a comment saying "the C tooling is not broken" with "nonsense, Rust doesn't break&quo
551.
by Smaug123 4y ago
The slides are linked, at https://sylvestre.ledru.info/presentations/coreutils-fosdem-... (for example), if you don't want to watch a video which discusses why they're doing it.
552.
by Smaug123 4y ago
Even the general constraint solver? There are tools like Z3 which are designed to solve this sort of problem (quickly and exhaustively), and then there are tools like TLA+ which can solve this sort of problem (slowly and exhaustively).
553.
by Smaug123 4y ago
Zulip is in a league of its own, though - I'd say Slack is pretty similar to other non-Zulip options.
554.
by Smaug123 4y ago
If you're allowed the "exhaustion" excuse, then I'm certainly allowed the same excuse for not going into the office! In-person interaction is EXHAUSTING for a lot of people. You're trying to absorb dozens more nonve
555.
by Smaug123 4y ago
ChatGPT displays many of the exact same failures! (But presumably deriving them without already knowing them would require access to the model, yes.)
556.
by Smaug123 4y ago
Is that… something that ever happens in a meeting in person?
557.
by Smaug123 4y ago
My team kept a Webex room open at the start of every morning for just turning up and chatting in; it would generally stay open in the background until everyone had left for meetings. It certainly worked well for us. Sometimes people just wo
558.
by Smaug123 4y ago
This is all in response to a comment which basically said "why do people think AC is obvious - if you can't even name all elements of the set, why would you expect to be able to choose them". (Which is handwavy, of course, an
559.
by Smaug123 4y ago
Honestly, I really am trying, but as far as I can see you are using the word "named" in a sense that allows most numbers to be called "0". I really can't see how your words make sense given any other definition. Is
560.
by Smaug123 4y ago
Moreover, there cannot be a constructive proof using this construction, because the Banach-Tarski construction will fail if all sets are measurable (which can happen in the absence of Choice). A constructive proof would continue to succee
561.
by Smaug123 4y ago
If I asked you to divide an apple by a stone, what would your answer be? Infinity is simply not a thing that your carefully-honed real-world intuitions about division apply to. Hilbert's hotel is precisely a thought experiment to prove
562.
by Smaug123 4y ago
You're using "being named" in a very unusual sense. Most people would consider you not to have named something if you're literally never allowed to stop speaking (or writing) the name. Most reals "have infinitely lo
563.
by Smaug123 4y ago
In case you were wondering, this is downvoted because it's pure sneer and violates at least the first two of the site guidelines ( https://news.ycombinator.com/newsguidelines.html ): > Be kind. Don't be snarky.
564.
by Smaug123 4y ago
(I don't know where the pipeline operator originated, but F# certainly had it before Julia, by the way.)
565.
by Smaug123 4y ago
F# allows arbitrary names within double-backtick identifiers. The following is a valid declaration, where I've used a hyphen, en-dash, and em-dash: let ``foo-bar–baz—quux`` = 3
566.
by Smaug123 4y ago
Out of interest, how often do you do this, and what are the semantics of the numbers you're grepping for? I literally can't remember a time I've ever tried to grep for a number.
567.
by Smaug123 4y ago
Mathematica uses a lot of syntactic sugar. You will find all Mathematica code unreadable until you've learned to read it; `//` is no exception.
568.
by Smaug123 4y ago
(You almost certainly know this, but I presume the parent doesn't.) GCC can be passed `-fno-delete-null-pointer-checks` precisely to prevent this. Linux uses it, see e.g. https://lkml.org/lkml/2018/4/4&#x
569.
by Smaug123 4y ago
This is pretty misleading, isn't it? Idris and Agda, for example, have coinductive types, which you could in principle use to write a "coprogram" that provably never terminates, such as an operating system (where "termin
570.
by Smaug123 4y ago
If we're being pedantic, this is only true if your type system is weak enough to lack type-level natural numbers.

More ›