2021/04/07
2021/04/06←2021/04/07→2021/04/08
kuuote.icon
型推論を理解しようと取り組んでいたけど大体雰囲気掴めてきたのでコードに書き起こすことにした
全部を理解しようとせずに本質だけを見ればよかった
kuuote.iconは無学なので数式が全然読めない
述語論理とかどこで学べばいいんだろう
takker.iconつ
/takker/数理論理学のブックマーク一覧
俺の数理論理学ブックマークが火を吹くぜと全部一気に開いたら99個もタブ開いて草生えた
そしていくつか404になってて草枯れた
量がありすぎて、この中から初めて学ぶのにおすすめできる資料を探すのが大変だ
お、あざます!kuuote.icon
ぼちぼち追ってみます
プログラムは読める
日本語も読める
読める部分だけ読めばよかった
やってることは基本的に抽象構文木を辿りながら型の方程式を解いているだけ
定数とif文くらいは処理できるようになった
これ作るの楽しいぞ
yosider.icon
Scrapbox上でGyazo画像をクリックしたときの表示を大きくしたい
今は1000pxが表示サイズの上限にされているぽい
画像がhttps://gyazo.com/***/thumb/1000になっている
開発者コンソール上でhttps://gyazo.com/***/rawにしたら大きくなった
自動でこうするようにできないかな??
UserScriptで無理やり書き換えるしかない?
大きく表示したい画像ではhttps://i.gyazo.com/***.png(or jpg)を使う
https://gyazo.com/***/rawでもいけた
これでいいか
dnin.icon
桜が散ってて、床が修正液こぼしたみたいになってる
表現が詩的だ.....素晴らしきair34n.iconkuuote.iconU.icon
桜の花びらの白色と修正液の白色をかけているのかtakker.icon
掛詞ですね懐かしいU.icon
桜の花びらはピンク色という先入観があったので、最初うまく読解できなかった
観察力が足りないな……
初めての彼女(妻)と付き合って初めて桜が美しいと感じる事が出来たのを思い出したair34n.icon
いいっすねぇ〜dnin.icon*2takker.iconkuuote.icon
甘~~い
井戸があるのに貞子.iconがいないのはおかしいので、召喚した
オンラインビリヤードが面白い
玉が少なくなって、「これなら入るやろ」が全然入らないので面白い
モニタが再びダメになったので修理に出した
箱がなくて、箱探したりクッション探したりするのが超だるかった
集荷が一番楽なのってクロネコヤマトかな
郵便局
最安だけどラベルがだるい
現金オンリー
ヤマトは
フォーム入力だけで済む
QRコード決済・バーコード決済対応
少し安い!
フィクションを摂取することで、現実世界の見え方が変わってくる
いい体験
たぶん原神をプレイしてなかったら、道端の灯籠とか菩薩にエモさを感じられなかったはず
もともと嫌いじゃないけど、見たらニヤつくようになってきた
石垣とか
imo.icon
リンク記法とハッシュタグ記法の区別が無くなっているっぽい?
ハッシュタグ記法にくっついていたtype="hashtag"が無くなっている
#で始まるタグをラベル風にするが効かなくなっている
リンクの色を変えるUserCSSが効かないなと思ったらそういうことかyosider.icon
困ったら井戸端に来るとわかる、イイ
お互い様ですよん、私も色々教えてもらっているしimo.icon
Scrapboxの哲学的には区別してなさそうなので、なんでコード上では区別してるんだろうと思っていたけど、やはり区別されなくなったかyosider.icon
そもそもtype="hashtag"がある恩恵はなんなんだろう?imo.icon
あと、もしかしたら意図的な変更ではないのかも?とも思うので、また様子を見てみる
といっても装飾に使う時以外は特に困らないので良いのだけれども
21:31 type="hashtag"が元に戻っているimo.icon
CSSあんまいじらんとこ
変えたと見せかけてrevert、あるあるyosider.icon
shokaiさんのtwitterを見ると、UserCSSより先にデフォルトのCSSが一瞬読み込まれることの改善をしているみたい?imo.icon
これ結構ありがたいことだ
単にミスだったっぽいyosider.icon
/help-jp/リリースノート2021#6072b0a597c29100007d4f0f
装飾自体は気に入っていたので装飾記法で代用することにした
code:style.css
.deco-\# {
font-size: 0.8em;
display: inline-block;
margin: 0 8px 10px 0;
padding: 2px 8px;
transition: 0.3s;
transform: scale(1);
color: #08c939 !important;
border: 1px solid #08c939;
border-radius: 3px;
background: #ffffff;
}
.deco-\#:hover {
transform: scale(1.1);
color: #08c939;
}
.deco-\# > a > span {
color: #08c939;
}
#で装飾すると上記のCSSが効くはず
air34n.icon
息子さんがScratchを卒業して文字を入力するプログラミングをしたいというのでPythonをオススメした。
わたしもあまり知らないので一緒にYoutubeで学習しようと思っている
めっちゃ良いパパimo.iconU.icontakker.iconerniogi.iconyosider.iconkuuote.icon
いやいやアイツと興味関心がほぼ同じなので困ってるところもありますww
幸せそう
雑誌を買うと高いので
ScrapBrythonが求められるtakker.icon
なんですか?それは??air34n.icon
Python の元ネタは、ABC という教育用のプログラミング言語ですsuto3.icon
プログラミングの勉強用としては、なかなか良い選択ではないでしょうか
文字を入力するプログラミングのほうがかっこよく見えるのかな?yosider.icon
takker.icon
なんだかんだで井戸端メンバーも37名まで増えましたね
え?そんなになってんですか....知らなんだ〜air34n.icon
3ヶ月くらい前は22名だった
掲示板#5f800df04827540000f00fe4
udonn.icon
Makinaおばあちゃんの動画が面白い
suto3.icon
Pythonのbatteries-includedの思想はどう日本語訳するのが適切だろうか?
直訳では
バッテリー同梱
バッテリーが付属しております
電池付属
など
定訳はないみたい
機械翻訳で訳しただけ、みたいなのもある
最近はこういうのが多い
とりあえずなんでもできるerniogi.icon
ready-to-useみたいな感じでしょうか?erniogi.icon
そう、そんな感じsuto3.icon
yanma.icon
急にセキュリティ関連のニュースが目に入るようになってしまった
Trello設定ミスで個人情報が全世界に公開。免許証、パスポート、健康診断結果…(BuzzFeed Japan)
Trello上で秘密情報がいろいろ公開になっている
miHoYo、『原神』でアカウントの乗っ取りについて注意喚起 | Social Game Info
ソーシャルログインは危険なのか?
5.33億人のFacebookユーザーの電話番号を含む個人情報、犯罪フォーラムで公開 - ITmedia NEWS
こういうの、事故みたいなもので、誰にでも起こりうるんだなあと実感した二週間だった
Trelloの公開/非公開はかなり分かりやすいようなので注意すれば防げるかも
でも、どのぐらい目立つようにすればよいかというのはUI設計上結構難しそうな話題だ
Google フォトの非公開設定はちゃんとやってるつもりだけど確認するたびにドキドキする
Facebookの公開範囲はもう理解するのを諦めて誰に見られても良い記事しか上げてない
Scrapboxの南京錠マークは控えめな割に分かりやすくて好き
複雑なアクセス権限を持たない - Scrapboxへの要望
やっぱりここに戻ってくるんだよな。アクセス権限管理、見た目よりはるかに難しい問題だと思う
2021/04/06←2021/04/07→2021/04/08