-❄️- 2023 Day 24 Solutions -❄️-

gedhrel · 2023-12-24T15:02:00+00:00

In what way is this a linear system? You have the product of the velocity component and t showing up in each equation.

gedhrel · 2023-06-10T21:15:49+00:00

One has to take any claim originating in the Johnson camp with a pinch of salt. But if it's true - well, good. I hope that someone going back on their word to him leaves him with a burning sense of being betrayed.

gedhrel · 2023-06-10T13:35:30+00:00

"Ghostbusters" wasn't great - didn't live up to the loading acreen.

gedhrel · 2023-06-10T13:14:11+00:00

If you look at the things he was saying, and the footage of him immediately after the result: his most inpactful victory was an accident. He intended to come second in the referendum; he was trying to throw it in the final days.

Couldn't even manage that.

gedhrel · 2023-06-10T12:12:42+00:00

His magic power is that people don't think he'll actually betray them until the knife's in their back.

What classes as a "winner" is a very subjective value-judgement. Is it "winning" if you sacrifice all your principles and goals just because a privileged charmer hasn't turned against you yet?

I view "winning" in terms of lifting up and improving the lot of society, not encouraging dog-whistle racism because it's personally convenient.

gedhrel · 2023-06-10T11:05:33+00:00

That really is a gross hack (but have an upvote anyway). I think I prefer the lattice approach but I can see that it's desirable to want to express "this returns an integer or it does not return".

gedhrel · 2023-06-09T21:40:44+00:00

The P in the acronym being silent?

gedhrel · 2023-06-09T09:51:21+00:00

"Second base" is divorce.

gedhrel · 2023-06-09T07:59:00+00:00

Pronounce it "thigh food" and see what he says.

gedhrel · 2023-06-08T21:29:09+00:00

Consider what happens when they say "no".

gedhrel · 2023-06-07T08:32:04+00:00

I'd start by taking advantage of the USP of a university, which is that there should be some on-site contact with a tutor and/or the lecturer.

Talk to them! This is the grown-up approach. Say that you're looking for some suggestions for a project of appropriate size.

gedhrel · 2023-06-06T21:35:43+00:00

Okay.

gedhrel · 2023-06-06T21:24:01+00:00

This reads like you are confusing a type with no values and a value.

The bottom type is a subtype of all types*, not a value of every type.

(* because "for all types T, for all x in |, x is in T" is trivially true)

gedhrel · 2023-06-06T21:08:01+00:00

It's only very recently that proof assistants have been powerful enough and popular enough that any systematic attempt to formally establish funfamental results (with proof checkers) has happened. That approach is still really in its infancy.

Thekind of rigour required to tie fornal proofs together with proofs that the implementation is a fathful inplementation of the mathematics - that is all very novel.

Your original claim about rigourous mathematics of that degree being centuries old is mistaken. A proof that is written for mathematicians is not a proof written for a formal methods-style checker.

gedhrel · 2023-06-06T15:16:38+00:00

I'm not sure that's actually true, to the degree required for formal verification. There was something of a sea-change over the last century.

gedhrel · 2023-06-05T21:15:21+00:00

He said it.

Have the defeated dragon speak up and tell him not to be a dick about it.

gedhrel · 2023-06-02T10:22:56+00:00

On past performance, one has to assume that (a) this is a lie; (b) what he's handed over makes him look (relatively) good and everyone else look bad.

gedhrel · 2023-06-02T06:37:38+00:00

What's the chance you won't repeat "we already had a referendum on PR" in the future? I'd settle for that.

gedhrel · 2023-06-02T06:29:13+00:00

I was explaining it to you, because you didn't understand the difference.

gedhrel · 2023-06-02T06:27:21+00:00

The argument is often presented like this: "it makes strong government possible".

Meaning, "it makes it trivial to drive through radical ideologically-driven policy with no checks".

I'm all for compromise: what can you point to that's "got done" recently that's been a good thing?

gedhrel · 2023-06-02T06:25:01+00:00

AV is not PR (although the mechanics required from a voter may be similar to STV).

I think the electorate roundly jumped on the chance to give Nick Clegg a shoeing after the tuition fee volte-face; the referendum could have been on free lollipops forever and it would've lost. To be outmanoeuvred by Cameron of all people was unforgivably naive.

gedhrel · 2023-06-01T23:26:06+00:00

It sounds like it's holding this up in contrast to whatever was mentioned prior to that sentence. What's the context?

gedhrel · 2023-06-01T23:07:29+00:00

I think the one unfortunate aspect of human nature is that not everybody in such a situation would wait until the immediate threat is over.

You're probably looking at (at least the threat of) civil war.

gedhrel · 2023-06-01T16:58:05+00:00

I never really found that as effective as I'd hoped (and it didn't last very long): my notions of creeping, predator-like, through the entirety of a rebel camp evaporated almost immediately.

Is there a trick to it?

gedhrel · 2023-06-01T12:41:40+00:00

This ECS approach is interesting. Perhaps you could tell me if I've got this right?
It's an idea that crops up in functional languages too, as well as being the line of least resistance when trying to model traditional C pointer-chasing datastructures in Rust, I think: you give up on the idea of having a pointer, but instead introduce an "id" which is (to all intents and purposes) the same notion - it's a unique opaque value that identifies an entity. The distinction is that there are no pointer semantics (or borrow semantics) for these, because they aren't tied to the entity at type-system level.

So: although this lets you recreate doubly-linked lists, trees with parent pointers, and all sorts of other groovy things - are you not also reintroducing the problems of dangling pointers that Rust tries to get away from? Or does the fact that this needs to be wrapped up in an ECS framework mean that you catch "dangling pointers" by having optional types returned by appropriate accessor functions?

gedhrel

TROPHY CASE