| Topic | Author | Replies | Views | Last Post | |
|---|---|---|---|---|---|
|
Please read before posting. TL;DR: be kind, no spoilers, no proof by intimidation.
|
NyaTerminal
2024-01-01
|
4 | 2,891 |
2024-03-12
by LambdaLynx
|
|
|
New here? Tell us about yourself, your fav type system, and your cat's name (required).
|
NyaTerminal
2022-04-01
|
312 | 18,440 |
Yesterday 22:47
|
|
|
My cat Girard sat on my laptop while I was writing a proof. Posting evidence. [img attached]
|
FiberFeline
2022-06-14
|
587 | 41,220 |
Today 01:33
by NyaTerminal
|
|
|
Agda: S-tier obviously. Python: it depends. C++: ... [thread has devolved into flame war on page 4]
|
LambdaLynx
2024-09-03
|
214 | 9,770 |
2025-03-25 14:02
|
|
|
Anyone else watching Frieren? The mage who forgets everything until she runs type-checks a proof...
|
KanComplexKitty
2023-10-07
|
98 | 5,341 |
2025-03-26 19:55
by FiberFeline
|
|
|
Friend wants to learn formal verification. Recommending Lean 4 vs Coq vs Agda โ thoughts?
|
NyaTerminal
2025-01-18
|
67 | 3,892 |
2025-03-22 11:14
by LambdaLynx
|
|
|
Currently: HoTT book + Dungeon Meshi manga simultaneously. The crossover potential is immense.
|
FiberFeline
2024-11-02
|
81 | 2,108 |
Today 00:41
|
|
|
Baba Is You is literally just rewriting proofs. The Witness is just proof search. Discuss.
|
LambdaLynx
2024-07-29
|
53 | 2,019 |
2025-03-20 08:30
by NyaTerminal
|
|
|
ICFP 2025 schedule is out โ anyone going? Also sharing a great cubical TT paper from arXiv.
|
KanComplexKitty
2025-02-14
|
29 | 1,547 |
Today 02:18
by FiberFeline
|
|
|
My proof has been "almost done" for six weeks. Tell me yours. Commiserate here. Snacks mandatory.
|
FiberFeline
2023-09-01
|
156 | 7,333 |
Yesterday 18:09
by LambdaLynx
|
|
|
Pink keycaps confirmed to improve type-checking speed by 23%. Source: trust me nya~
|
NyaTerminal
2023-05-17
|
44 | 2,670 |
2025-03-15 12:44
|
|
|
I know we've had this thread 7 times but hear me out, this time it's different (it's not different)
|
LambdaLynx
2025-02-28
|
102 | 4,881 |
2025-03-26 09:55
by FiberFeline
|
|
|
Specifically looking for vtubers who have live-coded proofs. Surely this is a niche that exists.
|
KanComplexKitty
2025-03-10
|
31 | 1,120 |
2025-03-26 21:37
by NyaTerminal
|
|
|
Homotopy type theory? More like HOMOtopy type theory because I am VERY gay for these proofs
|
FiberFeline
2022-08-20
|
398 | 28,104 |
Today 03:05
by LambdaLynx
|
|
|
Lo-fi hip hop beats to prove theorems to. Also accepting: math rock, shoegaze, city pop recs.
|
NyaTerminal
2024-04-12
|
73 | 2,901 |
2025-03-24 17:20
|
|
|
Cat on lap, matcha latte, Emacs with proof-tree mode, no interruptions, infinite RAM. Yours?
|
LambdaLynx
2025-01-30
|
37 | 1,488 |
2025-03-19 22:01
by FiberFeline
|
|
|
This thread has been locked. Please see the Code of Conduct. Tabs are fine. Spaces are fine. Please.
|
KanComplexKitty
2023-02-14
|
222 | 11,092 |
2023-02-15 02:33
[ LOCKED by mod ]
|
Topics: 17
Posts: 2,493
Newest member: CurryHowardCat
Active today: 8 members
Forum created: 2022-04-01
๐ Users browsing this forum:
NyaTerminal,
KanComplexKitty,
3 guests
2 registered 3 guests • Peak today: 14 users
2 registered 3 guests • Peak today: 14 users
๐พ ๐พ ๐พ ๐พ ๐พ