icon

昨日のマストドンの活動は

トゥート : 23234(+18)
フォロー : 69(0)
フォロワー : 96(0)

でした。
donhaialert.herokuapp.com

icon

No.60 5/6 (100%)
🟩🟩🟨⬜⬜↙️
🟩🟩🟨⬜⬜↗️
🟩🟩🟩⬜⬜⬅️
🟩🟩🟩🟩🟨↙️
🟩🟩🟩🟩🟩💮
shikuchoson.jp

Web site image
市区町村 | Shi Ku Cho Son - Municipalities of Japan.
icon

#131 X/6 (85%) 🙈
🟩🟩🟩⬜⬜↙️
🟩🟩🟩🟩⬜⬅️
🟩🟩🟩🟨⬜↗️
🟩🟩🟩🟩⬜↙️
🟩🟩🟨⬜⬜↘️
🟩🟩⬜⬜⬜⬅️
worldle.teuteuf.fr
後ろの名前しか覚えてないからそっちも入れてほしい(Wikipediaとか正式名称だと後ろの方も載ってるのに)

icon

明日は1限ですね

icon

mcafeeのvpnで中国選べない 😢

icon

bilibiliでniconicoのsm12345678みたいなやつのリンク先がacg.tvってなってるけどつながらない

icon

語順の自由さと言語としての扱いやすさは別だと思う

icon

debugger最高

Attach image
icon

お気に入りがブックマーク相当

icon

misskeyにはあまり知られてない素晴らしいクライアントがあります。それはCLIです
misskey.address/cliでアクセスできる

icon

個人的にはdeckを使いたい(HTL, LTL, FTL, antenna*2, Widget, Notificationを表示させてる)けど、マシンスペックが足りないのでデフォ

icon

アンテナ、lojbanとmfm

icon

gnu octave なるソフトをみつけた

icon

そういえば新幹線の試乗会いったことあったなあ

icon

区間が区間だったので同じような乗り方を下のはあのときだけだったかも

icon

ジャンプ系って、トべるってこと?

2022-06-01 13:18:02 Posting らっぱ💩鈺ブラブラ 0418@mstdn.jp
icon

jpカスタム絵文字のつまらなさよ

Attach image
Attach image
icon

わかる

icon

slackとか古いし更新されてない感じがある

2022-06-01 17:30:04 Posting 航法 TonCantan82@mstdn.jp
icon

This account is not set to public on notestock.

icon

これは仕方のないこと

icon

タングステンは固くて融点が高いのが特徴だから、どちらか片方でもカバーしきれない

icon

隣の人イヤホン音漏れしててdisturbing

icon

satysfi、図を入れても全然遅くならないの好き

icon

特有のノリ

icon

画像33個ぐらい入ってるけど数秒でタイプセット終わる

icon

satysfiで作ったレポート、なぜかChromeやAcrobatから見ると上下に謎の線が入る
SumatraPDF, Firefoxだと入ってないのに

icon

vscodeのpdfビューワーはたぶんfirefoxと同じで線は入ってない

icon

メモリ4GBほど解放

icon

acrobatでpdfをD&Dして開けたら規定のソフトを勝手に上書きされた
マルウェアみたい

icon

昨日のマストドンの活動は

トゥート : 23271(+37)
フォロー : 69(0)
フォロワー : 96(0)

でした。
donhaialert.herokuapp.com

icon

julia plots.jlバックエンド比較
- gr:: 速い、無難
- pyplt:: 無難
- plotlyjs:: blinkがなんたらと言われて失敗したので試せてない
- pgfplot:: もろPGF/TikZ(&TeX LaTeX)の風味がある。遅い。grでLatexStringsとかLatexify使ったほうがいい。

icon

そういえばsatysfiのsiunitxは数字と単位の間のスペースがない(というか実質ただのSI単位のエイリアス?)

icon

証明書切れだったのが接続すらできなくなって悲しい

icon

次もし繋がったらアーカイブとっとこう

2022-06-02 12:33:17 Posting 無宛@零月のラウラ良かった…… LwVe9@mstdn.poyo.me
icon

This account is not set to public on notestock.

icon

web版以外があったんだ

icon

ねむい

icon

昨日のマストドンの活動は

トゥート : 23283(+12)
フォロー : 69(0)
フォロワー : 96(0)

でした。
donhaialert.herokuapp.com

icon

よくわからないけど入れてみた

Attach image
icon

分かってきた

Attach image
icon

あんまり説明のないけどなんとなくわかってくるUI好き

icon

おお!

Attach image
icon

粘性の話、逆に何で超流動に粘性がないのかが謎になった(相転移してるから別物だろうけど全然運動してないんだろうな)

icon

意外とまだわかってないこと多いのかな

icon

三陸道ICの数以上に多いな

icon

異常に

icon

雨降ってない
屋内なので

icon

収集つかなくなってgit stashした

icon

若干窓から降り込んでくる雨、気持ちいい

icon

latex workshop無効にしてた
pdfってこうなってるんだ

Attach image
icon

なことに昨日気づいた

icon

お腹すいた

icon

営業が来たら頭上から黒板消し落としてみたい

icon

Unicode表をどれだけ見たらこんな発想ができるんだろう

2022-06-03 20:28:46 Posting :aviutl::support_center::duck_verified: ePi5131@misskey.io
icon

This account is not set to public on notestock.

icon

Coq/SSReflect/MathCompで解析入門の1章の命題を全て証明 | Mathlog mathlog.info/articles/1405

Web site image
Coq/SSReflect/MathCompで解析入門の1章の命題を全て証明
icon

新規だ
шинкиだ

icon

パソコンスリープになってなくてバッグの中でアチアチになってた

icon

raspiのファンがやかましい

icon

えらい

icon

ごろごろに投票しました

icon

昨日のマストドンの活動は

トゥート : 23308(+25)
フォロー : 70(+1)
フォロワー : 97(+1)

でした。
donhaialert.herokuapp.com

icon

マルチメータとオシロスコープの誤差 - 位相反転増幅器と位相非反転増幅器の増... - Yahoo!知恵袋 detail.chiebukuro.yahoo.co.jp/
やっぱりデジタルマルチメーターのほうが分解能高いし、オシロはノイズでPtoPが大きめに出てamplitudeは小さめに出てたからどのみち自分で見極めといけないからそこも誤差に響きそう

Web site image
マルチメータとオシロスコープの誤差 - 位相反転増幅器と位相非反転増幅器の増幅度を測定する実験を行ったのですが、マルチメータによる測定の... - Yahoo!知恵袋
icon

ばんごはんおいしい

icon

本当だ
mastodon.socialのURLを貼るとTweetできない

Attach image
2022-06-04 02:31:25 Posting gaojigaoji@mstdn.jp gaojigaoji@mstdn.jp
icon

This account is not set to public on notestock.

icon

人参はセリ科以外にもあるのか

icon

収斂進化?

icon

昼間試験 ↔ 夜間試験

icon

mujouきた

icon

年賀状

2022-06-04 01:53:18 Posting ​  nippa@mstdn.jp
icon

本当だ
mastodon.socialのURLを貼るとTweetできない

Attach image
2022-06-04 08:17:24 Posting Smooth Unicode SmoothUnicode@botsin.space
icon

This account is not set to public on notestock.

2022-06-04 06:21:41 Posting zunda zundan@mastodon.zunda.ninja
icon

This account is not set to public on notestock.

2022-06-04 06:20:25 Posting mmasuda パケットの気持ちになって考えよう。:-) mmasuda@fedibird.com
icon

This account is not set to public on notestock.

icon

ユーザーによって制限の程度が違うのか
別のアカウントでも試してみよう

icon

できた
ロック経験の有無の違い?

Attach image
2022-06-04 13:09:47 Posting 真🎶社会性昆虫にゃん ayu_mushi@mstdn.jp
icon

This account is not set to public on notestock.

icon

一時的に制限されてたけど解除された可能性?

icon

ホントだできた
一時的なものだったのか

2022-06-04 02:05:10 Posting Kadin kadin@mastodon.sdf.org
icon

This account is not set to public on notestock.

2022-06-04 12:38:32 Posting 廃墟猫 Ruins cat. Haikyo_neko@mastodon.social
icon

This account is not set to public on notestock.

icon

一時的なものだったし、かつmastodon.socialのみが対象だったっぽい
同じ時間帯に別アカウントではあるけどmastodon.onlineはtweetできた

icon

かっこいい

icon

> レポート提出日とかを表紙の下の方に書きたいんですけど、どうすればできるか分かりますか?overleafを使っています
これexdesignのSATySFiで結構頑張ったのでそれを書こうかと思ったけどoverleafって指定されてて😉 になった

icon

果糖を温度高めで摂取する

icon

なんかひどいことになってる

Attach image
icon

overleafに相当するならsatysfiのgitpodのテンプレートもある
github.com/pickoba/satysfi-git

Web site image
GitHub - pickoba/satysfi-gitpod-template: Gitpod Template for SATySFi
icon

frontmatter : block-textを入れただけなので、内部は普通に箇条書きとか入れられた
module ExDesign : sig

val document : 'a -> block-text -> document
constraint 'a :: (|
title : inline-text;
author : inline-text;
date : inline-text;
show-title : bool;
show-toc : bool;
frontmatter : block-text;
style : (|
page-width : length;
page-height : length;

icon

違和感

Attach image
icon

會意文字

icon

大漢和辞典旧字体だらけだ

2022-06-04 17:56:34 Posting ひぐ highunder@mstdn.jp
icon

This account is not set to public on notestock.

icon

2年前までHDDでWindowsしてた

icon

そもそもHDDという単語すら知らなかったけど

icon

画面解像度の概念もほとんど知らなかったので何も知らずにHDのPC触ってた

2022-06-04 18:01:17 Posting DajareDetector DajareDetector@social.timespiral.co.jp
icon

This account is not set to public on notestock.

icon

何故?

icon

なるほど

icon

もうこんなじかん

icon

一瞬最強格の郵便局に見えた

Attach image
Attach image