Smaug123

22 ms·

331.
by Smaug123 2y ago
I enjoyed Hofstadter's _Le ton beau de Marot_, which is precisely about this question; it studies many people's different translations of one particular obscure poem, and asks what properties of the original should be preserved.
332.
by Smaug123 2y ago
I prefer the following to make the rhyme less tenuous: > You want some wages, Smaug-you-are? Your attitude won't take you far.
333.
by Smaug123 2y ago
I do not like this interview; I will not pander, crawl, or moo.
334.
Braid, Anniversary Edition Podcast: Getting the Game Going(rss.com)
2 points by Smaug123 2y ago|1 comments
335.
by Smaug123 2y ago
> At the end of 2023, Jane Street employed 2631 people > About 80 per cent of the company's capital comes from employee equity, which has swelled to $21.3bn at the end of 2023 o.O
336.
by Smaug123 2y ago
Yes: on Earth I imagine this isn't possible (the required centrifugal force to generate the friction needs you to be travelling much faster than a human can run), though I haven't done any calculations.
337.
by Smaug123 2y ago
But when you're replacing, like, much of the standard library, you have to be a bit sad about all the interop work that falls on the user. It should instead fall on the makers of the bad standard library.
338.
by Smaug123 2y ago
Nice - I wish .NET would be more willing to condemn chunks of the standard library and replace them with something better!
339.
by Smaug123 2y ago
Today it is capped simultaneously per day and per week ( https://tfl.gov.uk/fares/find-fares/tube-and-rail-fares/pay-... ).
340.
by Smaug123 2y ago
Note also that there is an independent checker https://github.com/leanprover/lean4checker to ensure that you're not pulling any fancy tricks at the code level: that the compiled output, free of tactics, is in fact
341.
by Smaug123 2y ago
The thing I find really aesthetically pleasing about NF is how it adjusts the axiom of subset selection so that "the set of all sets" doesn't cause Russell's paradox. Basically it requires that the predicates you use to
342.
by Smaug123 2y ago
I am sure you know this, but for the audience: the danger can be mitigated somewhat with a "test suite" of theorems and examples about the definitions. These examples can be very simple ("this particular object, with this par
343.
by Smaug123 3y ago
You're quite free to stay on Windows - I'm sure someone likes all these new features! I just strongly prefer an OS which doesn't have them.
344.
by Smaug123 3y ago
It's been feeling much faster recently with the AI and Edge and so on. Maybe I'm just getting grumpier as I age.
345.
by Smaug123 3y ago
In a way I'm kind of glad of the recent acceleration in Windows's enshittification, because it's now got me to the point where my Steam library is the only thing I haven't yet migrated to NixOS!
346.
by Smaug123 3y ago
I struggle to blame people for speaking in whatever way is most natural to them, when they're answering hard questions off the cuff. "I apologize for such a long letter - I didn't have time to write a short one."
347.
by Smaug123 3y ago
The form of this message pattern-matches perfectly to spam, by the way, especially from an account whose only activity is to make essentially this same post three times; if you are in fact human, you might want to do something about that (s
348.
Modelling Time Travel in Fiction(qntm.org)
2 points by Smaug123 3y ago|0 comments
349.
by Smaug123 3y ago
(Nix itself is slowly chugging along with Windows via MinGW - https://discourse.nixos.org/t/nix-on-windows/1113/108 and https://github.com/NixOS/nix/issues/1320 , for example.)
350.
by Smaug123 3y ago
Depends on the definition of "effective", of course. They're certainly more prolific , but "provably satisfies a specification" (from the first line of the Wikipedia page) is kind of the opposite of what they do.
351.
by Smaug123 3y ago
(I did specifically choose to leave that wording in :P )
352.
by Smaug123 3y ago
Apple isn't a jobs scheme or a charity, and its primary purpose is not to keep engineers employed - I'm sure the organisation could have kept those 600 people if it wanted to!
353.
by Smaug123 3y ago
[I've never used any mutation testing tools either.] In general it doesn't require language-level support, of course - you can just make a change and rebuild it, à la Stryker https://stryker-mutator.io/docs/st
354.
by Smaug123 3y ago
> Smalltalk, coffee breaks, etc, are a productivity boon. Random conversations about what other people are working on are much more likely to occur in person as opposed to online. That's a problem with an easy cultural solution: sou
355.
Property-based testing in practice [pdf](harrisongoldste.in)
70 points by Smaug123 3y ago|52 comments
356.
by Smaug123 3y ago
(Nope, this hypothesis doesn't seem to be it. Maybe it just confidently doesn't know anything about Neovim?)
357.
by Smaug123 3y ago
Now I come to think of it, maybe the problem is that I only ask these engines questions whose answers are "what you ask is impossible", and ChatGPT copes well with that condition but Opus does not.
358.
by Smaug123 3y ago
Sure. --- In the following, Opus bombed hard by ignoring the "when" component, replying with "MemoryStream"; where ChatGPT (I think correctly) said "no": > In C#, is there some kind of class in the standard
359.
by Smaug123 3y ago
This baffles me. For the past few days I've been using Opus and ChatGPT through their chat interfaces side by side, and I don't think I've got a single correct answer out of Opus yet (except the one where I asked "can
360.
by Smaug123 3y ago
The article itself is very clear about the sense of the word "why" intended here.

More ›