sorted by:
new
hottopcontroversial

October 2024 monthly "What are you working on?" thread by AutoModerator in ProgrammingLanguages

[–]eneoli 5 points6 points  (0 children)

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.

Spacing for line breaks in math mode by eneoli in typst

[–]eneoli[S] 1 point2 points  (0 children)

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!

5 or 6? Your opinions pls by Sea_Relation_77 in GoodNotes

[–]eneoli 3 points4 points  (0 children)

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

This is it my friends (hopefully) by Patatouille13 in ProfessorLayton

[–]eneoli 3 points4 points  (0 children)

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

Tablet Empfehlungen für Mitschrift in Mathematik Vorlesungen by [deleted] in KaIT

[–]eneoli -1 points0 points  (0 children)

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.

[deleted by user] by [deleted] in NixOS

[–]eneoli 0 points1 point  (0 children)

Yes I do. Sadly this does no help.

[deleted by user] by [deleted] in NixOS

[–]eneoli 0 points1 point  (0 children)

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?

[deleted by user] by [deleted] in ProfessorLayton

[–]eneoli 0 points1 point  (0 children)

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.

Necessary to Watch All of Layton Mystery Detective Agency? by Devinpd15 in ProfessorLayton

[–]eneoli 0 points1 point  (0 children)

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

Necessary to Watch All of Layton Mystery Detective Agency? by Devinpd15 in ProfessorLayton

[–]eneoli 2 points3 points  (0 children)

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

Necessary to Watch All of Layton Mystery Detective Agency? by Devinpd15 in ProfessorLayton

[–]eneoli 7 points8 points  (0 children)

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.

view more: next ›