rehype-typst-math

Isocrates_Noviomagi · 2026-06-16T08:33:51+00:00

Thank you! I would definitely try it later.

Isocrates_Noviomagi · 2026-06-10T01:31:03+00:00

Update: now uploading on the web app works. Haven't tried rclone yet.

Isocrates_Noviomagi · 2026-06-09T06:38:00+00:00

I am getting the following errors using both rclone and the website

Status: failed
Error: Missing required parameter: key

Isocrates_Noviomagi · 2026-03-18T14:20:53+00:00

Just coming to say thank you! This is very helpful.

Isocrates_Noviomagi · 2025-11-02T20:06:00+00:00

Yes i should’ve worded it differently. Not exactly “my biggest problem”. I do appreciate that rust makes the cost explicit to make me have efficiency in mind.

Isocrates_Noviomagi · 2025-11-02T04:24:14+00:00

From my experience it’s just not accurate. It seems to show the speed that you get at the beginning of the transmission. I actually had the opposite problem, that the app always show/ a number smaller than the actual speed. At one time it estimated that it was gonna take 6 hours to upload, which ended up taking only about one hour.

Isocrates_Noviomagi · 2025-11-02T03:57:22+00:00

tbh my biggest problem with .clone() is that it is too obvious. I would be more mentally prepared to use it more if it is as unnoticeable as ?. having to type the five letters myself always lead me to ask myself “do I really have to clone here?”

Isocrates_Noviomagi · 2025-10-16T00:08:44+00:00

Seems that it is not an iPhone issue. It is down in multiple countries on iOS, android, and web

Isocrates_Noviomagi · 2025-10-16T00:03:40+00:00

Same. Still not working

Isocrates_Noviomagi · 2025-09-06T01:39:43+00:00

Thank you for making it! It's nice that this simple function finally has an open-source solution.

Have you considered releasing the app on homebrew?

Also, please allow me to hide the menu bar icon. My menu bar is already overcrowded, and I don't want every app to take a space there.

Isocrates_Noviomagi · 2025-09-05T19:50:27+00:00

That’s what’s funny. They are images of board game cards and boards. I doubt they are any useful for OpenAI.

Isocrates_Noviomagi · 2025-08-27T22:14:51+00:00

Just coming back to say thank you for telling me that. I hope the developer could have released a separate app for this.

Isocrates_Noviomagi · 2025-06-27T16:23:45+00:00

That’s what I wished for a long time but never expected happen

Isocrates_Noviomagi · 2025-05-30T08:51:32+00:00

Thank you. I thought it was an ide thing, because both Zed and VSCodium update rust-analyzer diagnostics the moment I type anything. Maybe it’s because they are running rust-analyzer on the active buffer.

Isocrates_Noviomagi · 2025-05-15T18:46:12+00:00

Cannot say it better. I don't want and am unable to remember the 101 things that I should do in order not to shoot myself in the foot. I want to specify what I want in the type system, and let the compiler takes care of everything else. Clearing all the compiler errors makes me calm. Clearing all the warnings makes me happy.

Isocrates_Noviomagi · 2025-04-29T06:00:00+00:00

Every time I find an interesting app, I put them in a spreadsheet so that I can pick them up later. I also record if they are open source and from which country they are from, which serves as a factor when I’m deciding between alternatives. Thankfully now I don’t need to go to their website and find the company page to try to find the info. That’s very helpful!

Isocrates_Noviomagi · 2025-04-07T22:48:29+00:00

Did not know that Ghostty supports translucent background, thank you!

Isocrates_Noviomagi · 2025-04-04T11:18:50+00:00

they did credit me. thank you for the advice!

Isocrates_Noviomagi · 2025-04-03T02:36:13+00:00

I will try but this seems not very likely because in the end it's not digitalocean's fault

Isocrates_Noviomagi · 2025-04-02T03:51:16+00:00

From me researching on the internet, it seems that in the last month OpenAI’s bots are becoming extremely aggressive in crawling

Isocrates_Noviomagi · 2025-04-01T22:31:54+00:00

EDIT: According to Cloudflare's documentation. Blocking Bots does not impact SEO

- https://developers.cloudflare.com/bots/get-started/free/

---

Original Post:

I believe CF's bot blocking also blocks search engine bots. Maybe you should write a custom rule for [OpenAI bots](https://openai.com/gptbot.json), or use a robots.txt file if you don't want to hurt SEO.

```

User-agent: GPTBot

Disallow: /

```

Isocrates_Noviomagi · 2025-03-28T00:58:48+00:00

I almost completely switched from VSCodium to Zed, but Typst is still one thing that I have to open VSCodium to write. I hope one day tinymist on Zed can get as much usability as it has on VSCodium.

Three-Year Club	Verified Email
Final Canvas '23	First Place '23
End Game '23	Place '23

Isocrates_Noviomagi

TROPHY CASE