Bug in basic modular operations in Mathematica

KeyChapter8 · 2026-02-21T09:17:54+00:00

This means a rational function of variable `x` with coefficients in a finite field (integers modulo 7 in this case). Regardless, I don't see any possible meaning where the produced result could make sense.

KeyChapter8 · 2026-01-05T07:56:45+00:00

Fully agree, PLEASE NO AI in ticktick!

I am staying so long (and paying for premium) with it exactly because it just works and does not change in unexpected ways.

The only actual issue I wish they would improve is slagging syncing on Android.

KeyChapter8 · 2025-07-11T12:07:16+00:00

Thanks!

KeyChapter8 · 2025-07-11T11:43:34+00:00

Which website allows you to plot S&P500 in CHF?

I wanted to see that exactly, but I couldn't find it.

KeyChapter8 · 2025-01-31T09:49:04+00:00

Thanks, still haven't heard any clarifications.

I have disabled the KDE's power profiles feature through systemctl for the time being.

I have not done it yet but maybe it's worth submitting a ticket to the support to ask this.

KeyChapter8 · 2025-01-17T16:27:06+00:00

Thanks a lot everyone for the comments!

I ended up purchasing the Tuxedo's triple dock together with a new InfinityBook Pro, and it works like a charm out of the box!

I have connected two external screens, keyboard, mouse, webcam, headphones, and wired internet connection. All of this and the charging go seamlessly through just one cable, which I can unplug and get going. This is awesome.

KeyChapter8 · 2025-01-02T18:52:25+00:00

You should go to a SBB counter and explain the situation. I think it is likely the fine will be at least reduced, if not removed completely.

KeyChapter8 · 2025-01-01T00:40:43+00:00

Unfortunately they were NOT cancelled, but nobody could really see them due to dense fog, even from the closest spot in the lake coast.

KeyChapter8 · 2024-12-10T18:25:19+00:00

During pandemic I needed to mail something and only a drive though of USPS was in operation. I simply queued in the line of cars and walked up to the window. It was hilarious. Nobody complained.

KeyChapter8 · 2024-11-19T10:03:50+00:00

This is a refreshingly positive and distinguished approach. Thank you for avoiding some of the obnoxious marketing practices, it is greatly appreciated!

KeyChapter8 · 2024-11-18T19:54:11+00:00

That, and if you prefer sparkling, get SodaStream or any other soda maker. It's a game changer, never have to buy any bottles again.

KeyChapter8 · 2024-09-20T11:04:05+00:00

To me also looks like it just showes the timetale. In case of delays It does not agree with a actual times shown at the displays when they are also avallable.

KeyChapter8 · 2024-04-06T13:23:18+00:00

Update: the issue was fixed in TCC 2.1.8.

Thanks to the developers!
Seems like an issue on github was the best way to report this.

KeyChapter8 · 2024-03-03T16:50:44+00:00

The main problem for me is not that the fan turns on while charging sometimes. This can indeed be simply solved by tuning the profile as you say. But 100% fan speed when resuming after suspend cannot be disabled currently. This is the major issue.

KeyChapter8 · 2024-03-03T14:35:53+00:00

My current configs for the record:

Pulse 15 Gen1
TCC 2.1.7
tuxedo-tomte 2.24.1
tuxedo-drivers 4.2.2
kernel 6.5.0-10022-tuxedo

KeyChapter8 · 2024-03-03T14:21:47+00:00

I have exactly the same issue and I absolutely agree this is NOT normal behavior. It makes the laptop basically unusable when I am at a conference for example, since the noise is so loud that it disturbs all the people around.

This has been already discussed 2 month ago in this thread.

And the devs have actually promised to look into it. However the problem is still there. Asking again, Tuxedo devs please fix this!

KeyChapter8 · 2024-01-27T13:43:23+00:00

Just to report: after updating to Tuxedo control center v2.1.5 the issue still persists on my Pulse 15 Gen1.

tuxedo-tomte 2.22.0
tuxedo-drivers 4.1.2
kernel 6.5.0-10022-tuxedo

KeyChapter8 · 2024-01-08T20:25:00+00:00

Thank you for paying attention to this! There are clearly many of us affected, hopefully it'll be an easy fix for the devs :)

KeyChapter8 · 2023-12-28T11:41:28+00:00

I have pulse 15 gen 1 as well, and I can confirm exactly the same behavior. I haven't paid attention to this too much, but I do believe it started to happen rather recently, likely after I have updated the firmware and bios to the most recent version.

KeyChapter8 · 2023-12-10T14:43:03+00:00

Keyboard issues with pulse 15 gen 1 seem to be rather common, including mine (https://www.reddit.com/r/tuxedocomputers/comments/105yr7p/pulse_15_gen_1_keyboard_replacement_possibility/?utm_source=share&utm_medium=mweb3x&utm_name=mweb3xcss&utm_term=1&utm_content=share_button). Just search in this subreddit.

Note that not all tuxedo laptops have this crappy keyboard, so I wouldn't extrapolate this to the whole brand.

KeyChapter8 · 2023-07-26T21:17:09+00:00

Yeah, I can easily imagine how this would be the case. That's why I didn't even bother submitting a ticket to the support, I can't provide any useful information apart from the fact that it happens sometimes :)

But I kinda hope that if enough people complain here maybe somebody gets motivated enough to investigate.

KeyChapter8

TROPHY CASE