|
|
09f1aaf68b
|
kripke: add stats (3)
|
2025-09-24 20:38:23 +09:00 |
|
|
|
585059aa32
|
kripke: add stats (2)
|
2025-09-24 20:27:57 +09:00 |
|
|
|
3edaed9327
|
kripke: add stats
|
2025-09-24 20:22:19 +09:00 |
|
|
|
ffb66d8719
|
kripke: prevent answering isomorphic frames again
|
2025-09-23 20:39:24 +09:00 |
|
|
|
ad56ae948e
|
Refactor (2)
|
2025-09-23 16:18:53 +09:00 |
|
|
|
c3b1bf39a4
|
Refactor (1)
|
2025-09-23 16:18:53 +09:00 |
|
|
|
e2ef49385f
|
kripke: fix form enter behavior
|
2025-09-10 11:54:12 +09:00 |
|
|
|
36f83c1e9d
|
math: add alc2025.pdf
|
2025-09-10 11:36:57 +09:00 |
|
|
|
1fe870bdbc
|
kripke: add math keys
|
2025-09-09 06:39:02 +09:00 |
|
|
|
925fd26341
|
Update /math (2)
|
2025-08-19 01:11:52 +09:00 |
|
|
|
95a43ff829
|
Update /math
|
2025-08-19 01:06:30 +09:00 |
|
|
|
fc821fcd44
|
Add contents to /links
|
2025-07-08 16:14:40 +09:00 |
|
|
|
219063638b
|
Add /math/lc2025.pdf
|
2025-07-05 01:12:02 +09:00 |
|
|
|
46f6ca2465
|
math: submitted 2503.10176
|
2025-05-10 11:12:11 +09:00 |
|
|
|
4af737d1b7
|
Update /math
|
2025-04-17 14:06:29 +09:00 |
|
|
|
a6de8e79cc
|
Add /math (3)
|
2025-03-17 03:19:55 +09:00 |
|
|
|
6209fc8fa8
|
Add /math (2)
|
2025-03-16 21:52:19 +09:00 |
|
|
|
df710606a2
|
Cleanup
|
2025-03-16 21:48:10 +09:00 |
|
|
|
19c045d9e1
|
Add /math
|
2025-03-16 21:46:16 +09:00 |
|
|
|
84f5e9f6cb
|
kripke: hard reload on replaying random mode
|
2025-02-27 18:28:53 +09:00 |
|
|
|
82f96ecf88
|
kripke: add history (2)
|
2025-02-22 13:25:15 +09:00 |
|
|
|
e78c755799
|
kripke: add history
|
2025-02-22 13:11:22 +09:00 |
|
|
|
ca13b55dc0
|
kripke: fix arrow tip issue in Safari
|
2025-02-22 12:09:53 +09:00 |
|
|
|
d8e03512ad
|
kripke: support word syntax
|
2025-02-22 10:53:58 +09:00 |
|
|
|
39e2f02809
|
kripke: refactor (2)
|
2025-02-21 08:11:15 +09:00 |
|
|
|
5aa6cac0c2
|
kripke: refactor
|
2025-02-20 20:46:26 +09:00 |
|
|
|
efb96ab8fc
|
kripke: improve rules
|
2025-02-20 00:25:10 +09:00 |
|
|
|
ceb16a93c5
|
yarn fix
|
2025-02-19 22:33:40 +09:00 |
|
|
|
095791a09f
|
kripke: add share buttons
|
2025-02-19 22:28:34 +09:00 |
|
|
|
2901d39d30
|
kripke: add daily and random challenges (2)
|
2025-02-19 21:24:33 +09:00 |
|
|
|
64d622ea8f
|
kripke: add daily and random challenges
|
2025-02-19 21:14:50 +09:00 |
|
|
|
002531d48f
|
kripke: make it playable
|
2025-02-19 16:59:47 +09:00 |
|
|
|
2c901b44f6
|
kripke: refactor
|
2025-02-19 07:50:54 +09:00 |
|
|
|
68bd50648b
|
kripke: create PoC
|
2025-02-19 03:20:17 +09:00 |
|
|
|
3b06a6e6d0
|
kripke: add basic UI
|
2025-02-18 16:40:11 +09:00 |
|
|
|
960c5323ed
|
kripke: add frame input
|
2025-02-18 07:29:45 +09:00 |
|
|
|
7a81594a86
|
web: add /kripke
|
2025-02-18 05:24:54 +09:00 |
|
|
|
1465acdf24
|
Add links (2)
|
2025-02-12 00:56:53 +09:00 |
|
|
|
1517e6f738
|
Add links
|
2025-02-12 00:50:54 +09:00 |
|
|
|
0e7287bca7
|
Set rel nofollow to external links
|
2025-02-10 21:00:01 +09:00 |
|
|
|
39adcdd502
|
Add blog (4)
|
2025-02-10 20:53:27 +09:00 |
|
|
|
53c0fdfff8
|
Add blog (3)
|
2025-02-10 20:00:19 +09:00 |
|
|
|
32ab632f0a
|
Add blog (2)
|
2025-02-10 19:00:38 +09:00 |
|
|
|
3cfdcd1fe2
|
Add blog (1)
|
2025-02-10 18:53:16 +09:00 |
|
|
|
d30cc44ab7
|
Adjust /error
|
2025-02-09 17:41:35 +09:00 |
|
|
|
440c622737
|
Add transition for Firefox
|
2025-02-09 17:15:51 +09:00 |
|
|
|
628299b955
|
Add /music and /dev (4)
|
2025-02-09 16:06:39 +09:00 |
|
|
|
27a05e56d4
|
Add /music and /dev (3)
|
2025-02-08 16:59:17 +09:00 |
|
|
|
9f0c0cdbff
|
Add /music and /dev (2)
|
2025-02-07 22:41:21 +09:00 |
|
|
|
7c5c4bf17e
|
Add /music and /dev
|
2025-02-07 22:33:06 +09:00 |
|
