2023-03-12 09:21:53
2023-03-12 09:15:34 オガサワラペンギンの投稿 boronology@social.penguinability.net
icon

このアカウントは、notestockで公開設定になっていません。

2023-03-15 20:08:31
icon
Web site image
『PONPONPON』かうんとだうんで踊ってみたっ!【ひなビタ♪10周年】 #Shorts
2023-03-15 20:08:50
2023-03-13 18:58:29 みくろあの投稿 microa@misskey.io
icon

このアカウントは、notestockで公開設定になっていません。

2023-03-16 17:51:30
2023-03-14 13:33:59 メタ太🔞の投稿 metata@misskey.io
icon

このアカウントは、notestockで公開設定になっていません。

2023-03-16 17:52:13
icon

SRFI 226単体でR5RSと同じくらいの分量だという指摘を見かけてそれまじですのになった

2023-03-16 17:56:09
icon

Schemeの継続(の拡張版)と例外処理と遅延評価と動的束縛とスレッドの相互作用についての仕様書を書いたらSchemeの言語仕様全体と同じくらいの分量になるの、このトピックがそれだけ込み入ってると評価するべきか、それともR5RSがそれほど短かったと評価するべきか。

2023-03-16 17:56:44
2023-03-16 07:31:26 いつきのひと:ablob_spinfast:🐖の投稿 itsukinohito@misskey.art
icon

このアカウントは、notestockで公開設定になっていません。

2023-03-16 17:57:23
2023-03-16 17:56:59 みるちょの投稿 milcho1129@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

2023-03-16 17:58:10
2023-03-16 17:57:54 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

逆に言うと R⁵RS 準拠を名乗るだけなら SRFI 226 を完全に実装する必要はないみたいな話なのかしら

icon

ないです。継続の仕様がRnRSの拡張であり、例外処理や遅延評価にもRnRSより強い保証が入って、なおかつ動的束縛とスレッドはR5RSの範囲外なので。

2023-03-16 18:05:08
icon

SRFI 226を実装するとR7RS(2013年)から微妙に逸脱するのだが、執筆中の令和最新版R7RS(R8RSではない)はSRFI 226と互換性のある仕様になる、はず。

2023-03-16 18:05:12
2023-03-16 18:04:30 yuuhagi@pawoo.netの投稿 yuuhagi@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

2023-03-16 18:05:17
2023-03-16 18:04:41 モンテカルロキャサリンたかしの投稿 foomidori@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

icon

R7RS-smallから10年マジ?!(R7RS-smallが完成したときも「small languageだけでR6RSから数えて6年かかったのにlarge languageの完成なんていつになることか」などと言われていたが、しかし……)

2023-03-16 18:07:56
2023-03-16 18:07:38 O-157 新刊既刊通販中の投稿 kaiser@unkomaker.hostdon.ne.jp
icon

このアカウントは、notestockで公開設定になっていません。

icon

そのR6RS(2007)もR5RS(1998)から9年かかっていて、RRRS(1985)、R3RS(1986)、IEEE 1178-1990(1990)、R4RS(1991)あたりのペースに比べるとかなり時間がかかっている。言語がデカくなったから当然ではあるが……。

2023-03-16 18:12:51
2023-03-15 17:37:50 O-157 新刊既刊通販中の投稿 kaiser@unkomaker.hostdon.ne.jp
icon

このアカウントは、notestockで公開設定になっていません。

2023-03-16 18:18:45
icon

RRRSよりも更に前のRRS(1978)はcall/ccもなければ数値型の手続きもない一方で動的束縛はあるので、現代Schemeとの乖離が大きい。

2023-03-16 18:18:54
2023-03-16 18:17:57 柴茶(しばちゃ)🎨の投稿 shibacha@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

2023-03-16 18:20:48
icon

これ書くだけで結構悩んだのでScheme力が低い

Attach image
2023-03-16 18:22:21
icon

少なくともnは定数だから外にletした方がいいのだが、十分賢いコンパイラなら勝手に外に出すはずなので放置している

2023-03-16 18:24:45
2023-03-13 21:42:05 Y子🔞の投稿 kokoromiya0w0@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

2023-03-16 18:25:12
icon

先生、0は自然数に入りますか?

2023-03-17 19:59:53
icon

!!!!!!!!!!!
https://youtu.be/Sda_GGKtKok

Attach YouTube
2023-03-17 20:01:15
2023-03-17 20:01:00 Xiupoςの投稿 xiupos@mk.xiupos.net
icon

このアカウントは、notestockで公開設定になっていません。

2023-03-17 20:01:32
icon

つねに誰かに写されてるってこと?!

2023-03-17 20:01:47
icon

それ(ネタバレのため自粛)じゃん

2023-03-17 20:02:24
2023-03-17 20:02:06 kozueの投稿 kozue@yysk.icu

このアカウントは、notestockで公開設定になっていません。

2023-03-17 20:02:44
2023-03-17 20:02:19 今谷里奈の投稿 mohemohe@mstdn.plusminus.io
icon

おまさのりルームにIPカメラを設置して大公開

2023-03-17 20:03:22
icon

ウェブのどこかにあるというセキュリティガバガバIPカメラカタログに載ってるやつやめて

2023-03-17 20:05:11
2023-03-17 20:03:59 こだての投稿 onekodate@mstdn.beer
icon

このアカウントは、notestockで公開設定になっていません。

2023-03-17 20:06:34
icon

論点がズレてる博士「空と地底をループさせると人の上にも下にも人がいる状態にできるしマップ容量の節約にもなるのじゃ」

2023-03-17 20:11:53
icon

実際には起きないけど、もし今日突然GitHubがなくなったら北極圏にコード掘り出しに行かないと社会めちゃくちゃになりそうだなとふと思った

2023-03-18 11:00:32
2023-03-18 09:48:45 ぴけぴけ@Skeb募集中の投稿 pikepikeid@mstdn.maud.io
icon

名城線を棒で転がすうなし

Attach image
2023-03-18 11:00:58
2023-03-18 10:26:18 画眩の投稿 ggagen@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

2023-03-18 11:01:06
2023-03-18 10:26:22 画眩の投稿 ggagen@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

2023-03-18 11:04:33
icon

:sadtab:

2023-03-18 11:10:03
icon

Kakouneの開発版に入ったOSのクリップボードからのペースト機能、Vimでいうところのノーマルモードでも挿入モードでもペーストしたらカーソル位置に内容がペーストされて、ペースト前にノーマルモードだった場合はペースト後もノーマルモードが維持されるのでめちゃくちゃ体験が良くなった。これまでは単にキー入力として扱われていたので、(Vimで体験した人も少なくないと思うけれど)ペースト前に挿入モードにしてないと画面がはちゃめちゃになっていた。

2023-03-18 11:11:28
2023-03-18 11:05:14 無宛@零月のラウラ良かった……の投稿 LwVe9@mstdn.poyo.me
icon

このアカウントは、notestockで公開設定になっていません。

2023-03-18 11:15:32
icon

Microsoft Researchの人はMicrosoft Wordを使って技術論文の原稿をまともに書けているので、世の中のWord派も反Word派もWordを十分に実践できてないことがわかる

2023-03-18 11:16:12
2023-03-18 00:01:25 s001@hazukiの投稿 s001_hazuki@fedibird.com
icon

このアカウントは、notestockで公開設定になっていません。

2023-03-18 11:16:40
2023-03-16 10:44:42 おSiriアンノの投稿 metalzigzag@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

2023-03-18 11:16:58
2023-03-18 11:09:43 エイトピーエム:role_nsfw:の投稿 yoruhachi@misskey.io
icon

このアカウントは、notestockで公開設定になっていません。

2023-03-18 11:37:55
icon

悪用できるということば自体にはほとんど情報がなくて、というのも「それを用いた事例が善悪の価値判断で悪と判断されることがない」という条件が達成されることはほぼないからで、ということは本当の論点(コスト、被害の大きさ、……)や仮定(悪の定義、……)が別にあるはずで、さもないと「それは悪用できます」と「それはあります」に大差はない。ということを思っていた

icon

Kakoune、“The name of the project is pronounced "Kak-oon", and is a word taken from a New Caledonian dialect based on French. It means a hard blow, usually a punch, but generally refers to a strike into which all of one's strength went.” らしいんだけど面白いのでいつもカコウネと呼んでいる。

2023-03-18 11:46:58
icon

要は「渾身の力を込めた一撃」を意味するらしい。

2023-03-18 11:49:32
2023-03-18 11:47:38 rasetsu001の投稿 rasetsu001@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

2023-03-18 11:58:16
icon

アメコミでKAKOOOOOOOOUNEって背景に書いてたらなんかそれっぽいかもしれない(フランス語だけど)

2023-03-18 12:02:05
icon

はにかむとvanitasで韻が踏める

2023-03-18 19:03:16
icon

QuizKnockの須貝さんが漢字が少ない麻雀してる

https://youtu.be/QlPLYaLxqdA

Attach YouTube
2023-03-18 19:03:26
2023-03-18 19:04:15
2023-03-18 18:20:22 いつきのひと:ablob_spinfast:🐖の投稿 itsukinohito@misskey.art
icon

このアカウントは、notestockで公開設定になっていません。

2023-03-18 19:04:33
2023-03-18 19:03:18 CCCの投稿 CCC@social.bau-ha.us
icon

このアカウントは、notestockで公開設定になっていません。

2023-03-18 19:05:39
2023-03-18 19:05:28 44+✅🎨🚸🔞の投稿 44yoooo@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

2023-03-18 19:05:46
2023-03-18 09:03:21 44+✅🎨🚸🔞の投稿 44yoooo@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

2023-03-18 19:48:16
icon

コンパイラを書くためのコンパイラを書くためのドキュメントツールを書こうとしています(?)

2023-03-18 19:51:51
icon

より正確には、コンパイラ(A)を書くためのドキュメントツール(B)を書いている途中で思いついたドキュメントツール(C)を書くためのコンパイラ(D)を書くためのコンパイラ(E)を書くために当初の想定と違うドキュメントツール(B')を書こうとしています。

2023-03-18 19:52:53
icon

B'ができたらEを書いてDを書いてCを書いてAを書く予定

icon

一番わけがわからないのはこのプランにおいてAとDとEは同じプログラミング言語の違うコンパイラだということですね

2023-03-18 20:01:54
icon

B'もコードと説明を集約して相互参照しやすくするツールなので最終的な出力が実行ファイルでないだけでコンパイラとリンカではあるんだよな

2023-03-18 20:03:48
icon

一番書きたかったのはAだけど、形にできて公開できたら一番インパクトがあるのはCで、一番反響が少なそうなのがAなんだよな

2023-03-18 20:20:54
icon

:otaku:

Attach image
2023-03-18 20:24:05
icon

Fate/EXTRA CCCのCCCはcall-with-current-continuationだという説もある(?)

2023-03-18 20:24:43
2023-03-18 20:24:36 ツナ爪の投稿 tunatume@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

2023-03-18 20:27:00
2023-03-18 20:18:04 KAZUBOHの投稿 kazuboh@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。