It’s well known that you can add external programs on Steam to friendly remind your friends that you are doing hard work™ and maybe they should too.
But most windows programs have quirks that makes this method of showing off not exactly reliable:
- Programs…

What is a positive coinductive type and why are they so bad?

This question is specifically within the context of Coq and is inspired by this question, the opening lines of which are:

Since positive

Browse the publicly accessible channels in Lean without logging in.

にゃーん

茨むあん様(@ibaramuan)のM3秋2025_キービジュアルを担当させていただきました。
とても素敵に歌をうたいます。聴きましょう！！ https://t.co/nU3N1Lz02J

two accidents have been avoided

#ブルアカ
ミヨちゃん https://t.co/UwJG1rI1aS

上次在 Ghost of Tsushima 的简评里提到了最近在 Blue Prince 里面坐牢。Well，人总会走出自己划给自己的牢笼的，在经过 150h 左右的游戏时间之后，我总算觉得我可以把这游戏放下，并且写一点评论了。
玩这个游戏的整体心路历程可以总结为如下的进程：
- 最开始 30h: GotY，神作，引人入胜，神秘气氛拉满，Secrets everywhere...

https://www.cppnow.org​
---

std::optional — Standardizing Optionals over References - A Case Study - Steve Downey - C++Now 2025
---

Optionals were first proposed for C++ in 2005.

Optional＜T＞, where T is constrained not to be a reference, was added in 2017.…

♩🐈‍⬛

秋🍂　#Skeb

Sketch
🚫Do Not Use

friend's oc

For some reason, I have an Icelandic keyboard installed (probably due to a misclick in Windows setup):

However, Icelandic is not in the list of my languages:

Why the disparity, and more important...