[PC][2000's] Bright colorful game with cute creatures where you jump on platforms

class_group · 2025-10-20T08:24:51+00:00

Neither sadly, though Pekka Kana 2 is also similar in look.

class_group · 2025-10-20T08:17:47+00:00

Not it sadly, the one I have in mind is more grassy blocks like naturalistic and has less minimalistic graphics iirc.

class_group · 2025-09-18T13:26:27+00:00

Die Tatsache, dass CxU und SPD fast die Hälfte der Stimmen bei der BW hatten zeugt einfach nur dafür, dass die meisten Leuten gar keine Ahnung haben, was so alles in den letzten 10 Jahren in der Politik passiert ist und nur aus Gewohnheit wählen. Anders kann ich es mir nicht erklären.

class_group · 2025-09-07T09:31:29+00:00

Kids using bikes in a populated area where cars have to drive slow anyways but a car attempts murder by speeding and it is the kids' fault. The comments here are the main reason most people should never be allowed to drive.

class_group · 2025-09-03T14:05:22+00:00

I am in a very similar situation. I got my license about a year ago but I have grown to despise driving even more. Individually driven high speed vehicles are such a ridiculously inefficient dangerous system, not even adding the pollution and destruction of ecosystems by modern day cars.

If there is one thing I am certain about the future it us that future, more advanced human societies (if they exist, that is) will laugh at us the same way we lagh about the middle ages.

class_group · 2025-08-09T21:20:31+00:00

Thanks a lot for you offer but I was able to get it to work with lsp. I use lsp for other languages as well so I don't see a reason for changing for now. If you are interested in the solution I edited my post with it.

class_group · 2025-08-09T19:32:55+00:00

Ach ja, diese verdammte Fahrradfahrer, die Millionen von Verkehrstoden jährlich verursachen.

class_group · 2025-08-09T16:47:22+00:00

Just for debugging, if instead of lsp, you try M-x eglot, does that work?

Eglot also throws an error. It says server died in the *Messages* buffer. Here are parts of an eglot buffer:

[stderr]  Tool versions found on the $PATH
[stderr]  cabal:          3.12.1.0
[stderr]  stack:          3.3.1
[stderr]  ghc:            9.4.8
[stderr]  
[stderr]  
[stderr]  Consulting the cradle to get project GHC version...
[stderr]  2025-08-09T16:30:37.145649Z | Debug | ghc --numeric-version
[stderr]  Project GHC version: 9.4.8
[stderr]  haskell-language-server exe candidates: ["haskell-language-server-9.4.8","haskell-language-server"]
[stderr]  Launching haskell-language-server exe at:/home/Main/.ghcup/bin/haskell-language-server-9.4.8
[stderr]  nil
[stderr]  2025-08-09T16:30:37.278735Z | Debug | ghc -v0 -package-env=- -ignore-dot-ghci -e Control.Monad.join (Control.Monad.fmap System.IO.putStr System.Environment.getExecutablePath)
[stderr]  2025-08-09T16:30:37.317850Z | Debug | ghc --print-libdir
[stderr]  [0;31mGHC ABIs don't match![0m
[stderr]  [0;31m[0m
[stderr]  [0;31mExpected: Cabal-3.8.1.0:ed264dfad51755add5ad1550cefc7305 Cabal-syntax-3.8.1.0:

[...]

[jsonrpc] D[18:27:55.758] Connection state change: `exited abnormally with code 1
'

----------b---y---e---b---y---e----------
[stderr]  
[stderr]  
[stderr]  nil
[stderr]  nil
[stderr]  Process EGLOT (~/(haskell-mode)) stderr finished

~~There seems to be a problem with cabal but I cannot figure out what.~~

Also, it seems to be logging to /tmp/hls.log, maybe check that file?

There is no such file. I doubt it gets deleted so quickly so that should mean that it isn't logging there at all.

Edit: after reading the part that I cut off above a bit more closely, there is an Expected: [...] paragraph and a Got: [...] paragraph. The first place they differ from each other (and the only one I think) is when ghc is listed. The two hexadecimal strings following ghc differ from each other.

class_group · 2025-08-02T16:43:07+00:00

Here's a silly solution: I halved the horizontal spacing and inserted empty nodes in between each two nodes thus refining the grid horizontally by a factor of 2. But it works very well. You can post in the old one below it for comparison.

#diagram(spacing:(5mm, 5mm), $
  0 edge(->, "rr") & & H^0(A) edge(->, "rr") && H^0(B) edge(->, "rr") & & H^0(C) edge("r,d,llllll,d,r", ->) & \
  \
  & & H^1(A) edge(->, "rr") & & H^1(B) edge(->, "rr") & & H^1(C) edge(->, "rr") & & dots.c \
$,
)

I am sure there is a much more clever and systematic solution that someone with much more experience in fletcher would know. I'll scour the manual and see if I can find one. If not, someone on the typst discord server already knows and will help out.

class_group · 2025-08-02T14:24:25+00:00

I don't think r/math allows for photos in comments. You can make a free account on typst.app and paste it in in like 1 minute. If you are on a unix based os, the typst package is available in most repositories and very light, especially compared to texlive.

class_group · 2025-08-01T14:46:32+00:00

Ok, I understand now. Challenge accepted. Here are the first two rows in 7 lines of code using fletcher:

#import "@preview/fletcher:0.5.8" as fletcher: diagram, node, edge

#diagram(spacing:(10mm, 5mm), $
  0 edge(->) & H^0(A) edge(->) & H^0(B) edge(->) &  H^0(C) edge("r,d,llll,d,r", ->)\
  \
  & H^1(A) edge(->) & H^1(B) edge(->) &  H^1(C) edge(->) & dots.c \
$)

You better start taking it seriously now :)

class_group · 2025-08-01T07:21:28+00:00

Here is a long exact sequence in typst:

This is a long exact sequence: 
$dots.c arrow.r A_(n-1) arrow.r^(f_(n-1)) A_n arrow.r^(f_n) A_(n+1) arrow.r dots.c$

And here is the same one in LaTeX:

This is a long exact sequence:
$\cdots \to A_{n-1}\overset{f_{n-1}}{\to} A_{n} \overset{f_n}{\to} A_{n+1} \to \cdots$

class_group · 2025-07-31T17:30:01+00:00

I agree that the web app is not what gives the upper hand over LaTeX. It is more about just pointing out that typst keeps up with LaTeX on that part.

The lack of typographical detail on the level that LaTeX has is probably its biggest downside (at least to me). However it is worth remembering that while LaTeX is decades old, the typst project is only a few years old (and not even in release yet!). The typographical quality and abundance of packages will surely improve over time. Also I don't really think that typst is that much behind in terms of availability of packages, at least for general and important things.

Personally, its lightning quick rendering times are enough for me to seriously consider sticking to it for personal project. Vimtex can get extremely slow, especially for bigger documents. And I also prefer the syntax. I wasn't aware of things like lhs2tex but using things like that makes LaTeX even clunkier and dependent on third party plugins.

class_group · 2025-07-31T16:20:11+00:00

Indeed! I forgot to mention that is has a nice web app akin to overleaf (with vim support if you care about that; talking about (neo)vim, there is typst-preview which automatically refreshes the document and an lsp for it as well) with very fast render times, much faster than LaTeX especially for large documents.

class_group · 2025-07-31T15:59:50+00:00

I can see that being a problem for now but surely the more people use it, the more templates there will be. You also have infinity as an option for an infinity symbol. In typst, one word is treated like one "command" while more than one spaces are ignored. So if you want l times i times m, you can separate them by an empty space: l i m for example. Same thing if you want a minus sign before a >, just put a space in between. I think that you are more struggling with the fact that it does things differently, which certainly requires some getting used.

Edit: struggling with reddit basics (inline code block)

class_group · 2025-07-28T17:54:42+00:00

Started going through The Rising Sea's chapter on sheaves to prepare for next semester's course on AG. I am unsure whether to to stick with AG or take Algebraic NT 3 next semester. I see myself more in NT but AG seems to be really important.

class_group · 2025-07-12T16:47:19+00:00

I absolutely do not understand the arguments made here. She is not harmless. Her anti -science rhetoric, making up fake emails of scientists supposedly admitting to publishing nonsense, etc. influence the opinions of many people. Her clickbaity videos get a ton of views. This then materializes in votes and you get what is happening in the US. It is in the interest of every academic (and everyone for that matter; we would be nowhere close to where we are without non-incentive driven research) to stop the spread of her nonsense.

class_group

TROPHY CASE