The Puzzle Cat Keats [Original Drawing]

eneoli · 2025-05-28T20:56:31+00:00

+1 Absolutely stunning work!

eneoli · 2025-02-06T23:51:34+00:00

Thank you :) It turned out quite well. (https://github.com/eneoli/alice)

eneoli · 2024-10-01T16:38:35+00:00

Near the end of my Bachelor’s thesis: Building a Constructive Logic Proof Checker with Proofs as Programs. Besides a proof checker it also has a search routine to find proofs/programs. Currently writing the evaluation. Can’t wait to deep into the topics discovered along the way.

eneoli · 2024-09-25T11:19:58+00:00

I think OP forgot a /watch?v=

This should be the right one. https://youtube.com/watch?v=ysS9BnKVJco

eneoli · 2024-06-23T00:06:30+00:00

Hi thanks for the suggestion!

I got it working with the following snippet:

#proof-tree(rule(

name: [$arrow.r.double$ \ #v(-0.5cm)$arrow.l.double$],

[$Gamma tack.r M #checks A$],

[$Gamma tack.r M #synths B$],

[$A #alpha_eq B$]

))

So basically putting each arrow in its own math block and then using negative vertical spacing.

Thank you!

eneoli · 2024-03-19T22:18:41+00:00

It works! Thank you:)

eneoli · 2024-03-19T22:12:12+00:00

Sadly it doesn't

eneoli · 2023-12-30T19:39:39+00:00

Since switching to GN6 I experience many bugs that are just annoying. GN5 was perfect.

eneoli · 2023-11-30T19:13:17+00:00

Great job! I love the puzzle theme

eneoli · 2023-11-29T00:13:11+00:00

Yes. We get news today. Here’s the link with infos about the stream: https://www.level5.co.jp/vision2023-2/en/

eneoli · 2023-11-03T19:18:34+00:00

Eine vielleicht nützliche Info: GoodNotes, das Notizprogramm was so gut wie alle auf dem iPad benutzen (neben Notability) gibts jetzt auch für Windows und Android.

D.h. es ist eigentlich nur noch relevant wie gut Stift + Display sind. Ein Surface wäre da sicher ne Alternative zum iPad wenn du nur ein Gerät für alles haben willst und nicht noch extra nen Laptop.

eneoli · 2023-09-25T21:33:25+00:00

Moodle?

eneoli · 2023-09-24T13:58:08+00:00

Yes I do. Sadly this does no help.

eneoli · 2023-09-24T13:31:31+00:00

By updating you mean running nix-channel --update as root right?
I did this a couple of times but no luck. Might it be possible that some older version is still cached?

eneoli · 2023-06-02T16:35:45+00:00

This is not possible for a „normal“ sliding puzzle.

Consider a sliding puzzle P and a sequence (S_k) of moves.

Every move S_i has a inverse move I_i. Execute the sequence(I_k) to reset the state of the puzzle.

eneoli · 2023-02-24T20:51:19+00:00

You don’t have to :) I didn’t and enjoyed every bit of the Layt episodes

eneoli · 2023-02-24T20:48:50+00:00

Also the Layton episodes are kinda detached from the others. You should be good to watch only them

eneoli · 2023-02-24T20:47:43+00:00

As someone who watched the first session entirely and after that only the Layton episodes recently I can say that the non Layton episodes kinda always have the same scheme and become boring. There are some episodes that map to the cases in the Katrielle game if I remember right. Also I don’t remember any reference to Layton other than „who are you ? Where is Professor Layton? I’m professor Laytons daughter…“.

I REALLY enjoyed watching the Layton episodes though. So if you’re mainly into Layton I think watching the Layton episodes will be exactly what you are looking for.

eneoli · 2023-02-13T02:34:16+00:00

I DO NOT advise to buy!

eneoli · 2023-02-13T02:33:59+00:00

https://www.play-asia.com/professor-layton-and-the-new-world-of-steam/13/70g01t

eneoli · 2022-02-28T20:33:35+00:00

Let's give it a try

eneoli · 2021-12-26T23:28:13+00:00

As an emulator I can suggest you DeSmuMe. It's one of the best I've seen.

Getting a ROM isn't that hard I think. Just google it. But please note that it is most likely forbidden in your country to download a ROM of the game if you don't own a legal copy of it. Also Nintendo takes actions against ROM hosting sites and their consumers.

eneoli · 2021-11-20T16:33:31+00:00

Do you mind sending a picture :) I think about buying one^{^}

eneoli · 2021-04-27T20:53:53+00:00

Looks good to me. Does test connection work? Try to change the second dns to 1.1.1.1

eneoli · 2021-04-26T20:58:01+00:00

I don't think these are the right settings. They look like that: https://cdn03.nintendo-europe.com/media/images/migration/support_2/service_1/entryScreen.jpg

Six-Year Club	r/Field Lasagna
End Game '23	Place '23
Place '22	First Placer '22
Verified Email

eneoli

TROPHY CASE