Public
- Public
- Network
- Groups
- Featured
- Popular
- People

Notices by qwjyh@misskey.qwjyh.net, page 4

Embed this notice
qwjyh@misskey.qwjyh.net's status on Wednesday, 23-Aug-2023 13:35:55 JST qwjyh

あるある

RE: https://msk.ilnk.info/notes/9iqsn8ocfn
In conversation about a year ago from misskey.qwjyh.net permalink
Attachments
1. Domain not in remote thumbnail source whitelist: msk.ilnk.info
  
  Этоне Сабасаппугава(Администратор) (@morotesovtannu)
  
  :vivaldi_browser:にゃんですけど:blobangel: (📎1)
Embed this notice
qwjyh@misskey.qwjyh.net's status on Thursday, 17-Aug-2023 21:47:26 JST qwjyh

サーバー立てて1か月経ってた

In conversation about a year ago from misskey.qwjyh.net permalink
Embed this notice
qwjyh@misskey.qwjyh.net's status on Saturday, 22-Jul-2023 11:05:46 JST qwjyh

https://www.youtube.com/watch?v=hazk0aVoJnU&t=29s
動画あった
In conversation Saturday, 22-Jul-2023 11:05:46 JST from misskey.qwjyh.net permalink
Attachments
1. ゆかりんと茜ちゃんの証明ゲームLeanプレイ講座 #1【定理証明支援系】
  
  from ぐにらち
  
  数学の定理証明ゲームLeanの遊び方を初心者向けに解説していくプレイ動画。第1回はLeanやNatural Number Gameの解説、「refl」コマンドについて。Natural Number Gameは↓のURLから。https://www.ma.imperial.ac.uk/~buzzard/xena/n...

After

User actions

One of the user.

Tags

(None)

Following 0

Followers 0

Groups 0

Statistics

User ID: 152137

Member since: 22 Jul 2023

Notices: 64

Daily average: 0

Feeds

Atom