さらしの🧢 @sarashinoio Twitter profile

Pinned Tweet

さらしの🧢

@sarashinoio

4 months

アイコンもっとゆるいのにしたい

0

2

Last Seen Profiles

@cuke_boy

@machiskomacine

@ProLikesR6s

@JeseniaWhyte

@bian_qin40992

@emilystoner991

@itsRealKeyaaB

@DrinkCriminal

@fakeacc1924252

@fadhelah1029643

@shaimfbandss

@chickadizzle

@Brandongaden2

@CooperRtFVN

@isabelaemerling

@BinorRaja

@BabydollRussian

@ZeclairN5723

@Thitipongit

@mustapha_gajibo

@jagoanbinor

@AlexCarusoMuse

@KCRG

@Juqiqekli

@carlahumphrey_

@yomechan_desu

@FUKUOKA_UTERO

@wittlemexican

@Gordonay1

@tv_livechannel

@noliver75

@Yung_r6

@nicole_ricco

@ModesofThought

@jonahkalungi3

@eujungeun

さらしの🧢

@sarashinoio

5 months

ILLITを初めて見た時、思ったよりもずっと緊張感のある"ちゃんとした"パフォーマンスをしているなと感じた。一方でNJは最初から心理的安全性があって、正解のパフォーマンスより先にステージを楽しむことを優先するようにミンヒジンから言われていた。ミンヒジンの仕事は、個人的な解釈としてはチーム

2

251

2K

さらしの🧢

@sarashinoio

4 years

取調室と言われた私の仕事場(未完成)です

4

44

183

さらしの🧢

@sarashinoio

1 year

@yutkat これ…です…

Masanori Kusunoki / 楠正憲

@masanork

1 year

CTOやってた前職でWindowsとMacを使えるようにしてLinuxはクラウドでとしていたが、どうしてもLinuxを手元で使いたいエンジニアが入ってきたのでCISOと相談し何ヶ月かかけて使えるようにした。どうやってADにぶら下げるか、マルウェア対策、MDM、EDI、監視などポリシーを揃えようとすると難儀する訳で

2

263

821

2

6

35

さらしの🧢

@sarashinoio

5 months

なんかILLITは1ミリもNJに似てるって思わなかったけど、僕が見てるのはミンヒジンで作品じゃないから感じなかったのかな。ミンヒジンらしさが脱色されてて商業として完成度が高いグループだと思ったけど、ミンヒジンはそれ、嫌だったんだなぁ。

1

5

32

さらしの🧢

@sarashinoio

4 years

@BOHE_BABE そしてnvidiaの革ジャンことジェンスン・フアンと親戚という。こちらの読み物が読み応えあって良かったです。

AMDはなぜ資金面で圧倒的に勝ると思われるIntelを凌駕するCPUを開発できるのでしょうか？

回答 (12件中の1件目) 本当のことを言うと、今はIntelこそ資金に欠けてい方なのかもしれません。当然、IntelとAMDの二社だけを比べるのなら、Intelの方が圧倒的に強いでしょうけど、今の半導体業界はもうそういう簡単なものではなくなっています。まぁ、今回の第三世代Ryzenで見事なリベンジマッチを果たしたAMDの勝因を一言で言うのなら、スマホ市場の急速発展の追い風に乗ったから、...

jp.quora.com

0

5

27

さらしの🧢

@sarashinoio

5 years

@sagoj0_ Copying CG: 収容所間を移送される間に身寄りのない者から抹消される

1

7

25

さらしの🧢

@sarashinoio

4 years

@about_hiroppy 一応ですけどこの方の論点は東京が都民や子どもがいる家庭、企業等への情報を掲載しているところで公式ページやら知事からのメッセージやらを載せてますよねってことらしいですよ。このツイートにつながってるリプは無知ですけど、菅野完自身はわかってるんだと思います。

2

11

22

さらしの🧢

@sarashinoio

5 years

@shenmacro 私はどこかで「良家の娘と貧しい出自のものはいくらfundamental decencyを持っていても金や教養を身につけても結ばれない」ということだと読んだことがありますどこで読んだかは忘れてしまったのですが

0

1

22

さらしの🧢

@sarashinoio

5 years

【ゆるぼ】ソフトウェア開発者向けの転職エージェントってどこがお勧めですか？できればHaskellかPureScript書きたいです。俗に言う悲しきフルスタックだと思います。

3

14

20

さらしの🧢

@sarashinoio

2 years

Shenさんが薦めてたから全部みちゃった。これ原作の方はもっとカオスで読みにくそうだからまとめ上げたのすごいんじゃないかなと思う。アマプラにあるのも最高。

0

2

17

さらしの🧢

@sarashinoio

4 years

haskell jpのslackに流すか、でもこのご時世エンカできないから郵送めんどくさい🥺

3

5

18

さらしの🧢

@sarashinoio

2 years

ついに浅草キメトに行けました！！噂に違わぬどころか想像を超えて美味しいし、快適だし、shinoさんのシーシャ管理が行き届いていて体験として最高でした… 家シーシャでは一生辿り着けない煙の深みを見てしまった😭 次はコーラ系いきたいな

1

17

さらしの🧢

@sarashinoio

3 years

これはあるある勘違いなのですが別に1byteはイコールで8bitじゃないです基礎から学んでればわかるんですが

SEライダー

@Sys_Rider

3 years

面談で未経験なのに経歴盛り盛り詐称を洗い出す究極の質問を編み出した。「1byteは何故8bitなのか？」「何故キリがいい10bitじゃなかったのか？」これ即答出来る人に未経験はまずいない。そしてしっかり基礎から学んでると即答出来る。

61

547

1K

0

1

16

さらしの🧢

@sarashinoio

1 year

@yutkat 私もLinuxが当たり前に選択できる世界だったらLinux一択なんですが、転職したりすることを考えるとMacで妥協して環境整えておくのが会社的にポータブルで良いんですよね。 Linuxのそう言った課題、Pop!_OSみたいなところで解決/販売されるとみんな救われるのかもです🤔

1

0

15

さらしの🧢

@sarashinoio

5 years

@shenmacro 根本的には同じかなとは思うのですが、文学なので私は情緒に寄った解釈になりますね笑原作だと最後までJay Gatsby賛美なので、筆者としてはやはり人の心を捨てられないGatsbyが好きなんだなと感じました。

0

1

12

さらしの🧢

@sarashinoio

1 year

トーマス・へザウィックが、2022年にTEDで行った講演「『退屈な建築』が台頭するいま、人間性あふれる建築を擁護する」の動画（日本語字幕付） #architecturephotonet via @archiphoto

トーマス・へザウィックが、2022年にTEDで行った講演「『退屈な建築』が台頭するいま、人間性あふれる建築を擁護する」の動画（日本語字幕付）

トーマス・へザウィックが、2022年にTEDで行った講演「『退屈な建築』が台頭するいま、人間性あふれ […]

architecturephoto.net

0

5

11

さらしの🧢

@sarashinoio

4 years

cofreeで検索したら`coffee vs tea`がサジェストに出たからpurescriptとelmの話かと思ったらコーヒーと紅茶のpros consが出てきた．

0

3

11

さらしの🧢

@sarashinoio

8 months

一生言ってるんですが、タイムスタンプサービスです〜

総務省 | 国民のためのサイバーセキュリティサイト

www.soumu.go.jp

かろっく

@calloc134

8 months

gitの内部構造ってざっくりブロックチェーンみたいなことやってませんか？と思っていたがそもそも「一つ前オブジェクトのハッシュが次のオブジェクトに入り込む」構造ってブロックチェーンの発明ではなかったりする？

1

10

112

1

9

さらしの🧢

@sarashinoio

4 months

ここに書いてあることよりも、その後の動きの方がPdMとして重要だったよねっていう楽屋裏話があるので、いつか言語化できたらそっちも書きたい。まだ始めて3ヶ月だけど、プロダクトマネージャーのスキルは思ってたよりポータブルな気がしています。

エンジニアからプロダクトマネージャーへ 3ヶ月の記録｜Muture

皆さんこんにちは。はじめまして。3月からMutureでフィンテック領域のプロダクトマネージャーを務めているさらしーです。もともとバックエンドエンジニアをしており、Mutureで初めてプロダクトマネジメントに本格的に取り組んでいます。バックエンドエンジニアとしてはScalaやTypeScript、またはTerraform、AWS CDK、そしてもちろんSQLを書くことが多かったです。複雑な要件...

note.com

1

9

さらしの🧢

@sarashinoio

4 years

@Mizunashi_Mana 実はOSSのパクった云々って話には多少理解できる部分もあって、要するに「手作業で真心込めて」みたいなところを要求する人が世の中には結構いるということを考えると、行政という性質上そういう思考になるのは至って自然かなぁと思っています。そこにライセンスの問題はないのかな、と

1

2

9

さらしの🧢

@sarashinoio

4 years

わたしの家ですインターネットの「開通式」をしました｜ジオロジック研究所 #note

インターネットの「開通式」をしました｜ジオロジック研究所

こんにちは。ジオロジックでエンジニアをやっています、かろてんです。先日、弊社のバックエンドエンジニアSarashinoの家にインターネットが開通し、開通式が執り行われました。今回はその様子をお届けします。訪問午後8時。黒スーツに身を固め、白手袋をはめた２人組の男。男の１人が、とある民家の扉をたたいています。「このたびは、大変おめでとうございます」男たちはそのまま部屋にあがり、...

note.com

0

3

9

さらしの🧢

@sarashinoio

4 years

@test21195694 ちなみにツイ消しの後にidも変えてました…

0

1

9

さらしの🧢

@sarashinoio

4 years

真面目なこと言うと、プログラミング初心者はlispとhasellをマスターすれば、他の言語を学ぶ時に応用が効くのがおすすめただし他の言語のことを死ぬほど嫌いになる呪いにかかる

2

0

8

さらしの🧢

@sarashinoio

2 years

この議論なんで今更してるんだろうと思ってたらこういうモチベーションなのか。昔から「箱は熱くなるか」という議論があると思っているんだけどもうソースが出てこないのだが、偉い人たちが「真に副作用がないプログラムはCPUが動くことすらない(だからモナドが必要」という話をしてた記憶。

beepcap

@beepcap

2 years

@ayatoy その数学的な定義は好きなんですけど、だとしたらOSやハードウェアを無視しないと副作用が無いという状態が定義できないですよね。CPUの動きも物理現象なので。

1

0

4

1

7

さらしの🧢

@sarashinoio

5 years

@koboroid ご存知かもしれませんが、ツイッターの機能で個人情報に関するツイートを報告することができます。消す気がなさそうなので私もレポートしましたが、御本人がされるのが一番よろしいかと。私もすべて自費で大学に通ってきたもので、小堀さんの謝辞には平易に表せない感想を持ちました。応援してます。

1

0

7

さらしの🧢

@sarashinoio

2 years

@NicholasTakeshi これがエモかったです

Sam DiGiovanni

@BySamDiGiovanni

2 years

Matisse Thybulle’s goodbye to the Sixers, which he posted on his Instagram

30

353

3K

0

1

8

さらしの🧢

@sarashinoio

4 years

ardbegの無駄遣い

0

2

8

さらしの🧢

@sarashinoio

6 months

キリンさんの生茶のパッケージが本当に良くて、しかもこのほうじ茶本当に美味しい良すぎる

0

1

8

さらしの🧢

@sarashinoio

4 years

#プログラミング初心者 #駆け出しエンジニアとつながりたい #駆け出しhaskellerとつながりたい #駆け出しrustaceanとつながりたい #駆け出しpurescriterとつながりたい #駆け出しscalalianとつながりたい #駆け出しlisperとつながりたい #lisp は神の言語 #lisp で実装されてる人とつながりたい

0

7

さらしの🧢

@sarashinoio

5 years

@4afS_ 評価すると言う行為がどこまでの評価を指すのか、コンパイルか実際に実行することなのか、によってもdenotationalかconnotationalかが曖昧になるのでなんとも言えない気がします。専門家ではないですが昔記事を書いたのでよかったら参考にしてみてください。

1

4

7

さらしの🧢

@sarashinoio

3 years

htmlやcss,jsについて思いを馳せていたら結局s式が嬉しいよねという気持ちになったおわり

0

1

7

さらしの🧢

@sarashinoio

2 years

これはいいJDだな、こんなJD書きたい。

勝丸真 / ログラス(Loglass.inc)

@shin1988

2 years

ログラスでSREエンジニアの募集をはじめました。SREエンジニアのJob Descriptionの骨子は自分が書いたのですが、自分の想いをここに込めました。少しでも共感していただける方、ご転職を考えてなくても良いのでお会いしてお話しませんか？

1

17

70

0

3

5

さらしの🧢

@sarashinoio

3 years

@Sys_Rider 合う合わないじゃなくて素人か基礎からやっているかです。そんな質問をする人は基礎からやってないんだなと判断されますよということであって、好みの問題じゃないです。ほかのやつも全部言い訳がましいですが、素直に勘違いしていたと言った方がマシだと思いますよ。

1

2

7

さらしの🧢

@sarashinoio

10 months

関数型プログラミング - 型は宇宙なので再帰的に定義できる - 型レベルにチューリング完全は許されないプログラミングとして当たり前すぎる

あいや🐕

@public_ai000ya

10 months

関数型プログラミング - 関数を引数や戻り値として、ファーストクラスに使う - 関数は副作用を使うか使わないか、明示的に分ける - 副作用はデザインパターンとして使うプログラミングとして当たり前すぎる。

2

22

179

0

2

7

さらしの🧢

@sarashinoio

7 years

@mwichary Hi I live in japan. It is for some thing like pacemaker not to cause fatal error. In fact, there’s no 2G wave in japan so almost the error can’t occur. So it’s convention and prevention.

1

5

さらしの🧢

@sarashinoio

4 years

@Mizunashi_Mana わたしは「メニュー構成」を論点にした時点で権利関係には触れずに批判する方向に変わっていると考えています。「パクった」と感じた事実は否定しないで権利関係には言及せず、メニューのコンテンツに焦点を移すツイートですから正しいんですよね。このツイートの論点は明らかにメニュー構成です

1

0

6

さらしの🧢

@sarashinoio

2 years

マルチテナントをデフォルトセキュアで管理したい時awsの方が便利なのかなぁと思っている。いわゆるmanaged serviceを提供する側になる時。単純にk8sの簡易UIが欲しいのであればgcpしか勝たんは同意。 (知らんけど

いぐぞー ✈️ 旅するプログラマー

@igz0

2 years

AWS「まずIAMね。それからVPC設定して、サブネットを設定して……あっセキュリティグループにも穴開けなきゃ」 GCP「gcloud run deployを実行してドーンｗｗｗ」すまん。。これGCPの圧勝では？？？

6

172

1K

1

2

5

さらしの🧢

@sarashinoio

4 years

@cubbit2 これは (loop (princ "うんこ")) が秀逸だと思うんですよね。学部一年生でもコンピュータが全力で出力する様や場合によってはCtl-Cを押してもしばらく出力し続けるさまはつい笑ってしまうものがあります。

1

4

6

さらしの🧢

@sarashinoio

3 years

Haskellに出会ってなかったらtypeclassと辞書型が同じ構造だってこととか、GADTs(initial)とtypeclass(final)の違いとか知ることはなかったんだろうなと思う

0

1

5

さらしの🧢

@sarashinoio

6 years

@public_ai000ya Genericが例に上がってるので趣旨が違うかなと思ったんですが、 idrisの補完はハマると「型書いたら実装が生えてくる」感じだった気がします

1

6

さらしの🧢

@sarashinoio

4 years

chatworkさんのfunctional uiのラジオ聞いてるんだけど，100回くらいpurescript使えば?って思った

0

6

さらしの🧢

@sarashinoio

4 years

結婚できなくていい恋人もいらないとにかく今は大きい猫と暮らしたい

0

6

さらしの🧢

@sarashinoio

2 years

my new gear... #focal #bathys

1

6

さらしの🧢

@sarashinoio

4 years

これは毛の壁案件な気がする…

ふみ

@fumieval

4 years

ウィキペディアの関数型言語の項目、誰が書いたのか知らないが「ラムダ式と無名関数は同じものである。」など初っ端から限界すぎる記述が出てきた。これは少々手を加える必要があるな

3

19

40

0

2

6

さらしの🧢

@sarashinoio

4 years

関数型プログラミングというのはいうなれば表示的意味論に忠実なプログラミングなので、そんな界隈の人たちがrubyやmatzに関わるのは不毛な争いを生んで良くないと思う。 matzは過去のツイートで表示的意味論がないことは言語の利便性とは関係ないというような旨のことを言っている。

0

1

6

さらしの🧢

@sarashinoio

6 years

ここら辺の話は米18Fなどにあたる機関が日本にないことが問題だと思っています。 18Fの存在はもっと広まって欲しい。。。

0

4

6

さらしの🧢

@sarashinoio

11 months

@Yuiiitoto 情報セキュリティの敗北史がおすすめですね。 OS開発の形式検証がどれだけ難しかったかなど、実際の歴史のスケール感で書いてあって形式主義の限界というか難しさをつきつけられました。

1

5

さらしの🧢

@sarashinoio

3 years

オフィスでアニソンを流して怒られるやっかいオタクをやりました死にます

0

5

さらしの🧢

@sarashinoio

4 years

優秀な(一家言ある)エンジニアで決定権を持っている人間を決めないでDB設計しちゃだめ絶対これはmtg設定した時点で宗教戦争アラートを出すべきだったやつだ…

きっかわ@IT連続起業家

@hukkatuno_k

4 years

DBの設計を何名かの優秀なエンジニアで話し合って設計しましょうの会でusersのprofileを別テーブルで持つ持たないという話で揉め事が発生し最後はおまえは黙っとけみたいな罵声に発展して1名のエンジニア辞める事態になったんだけど何これ？本当に優秀なエンジニアなの？

27

401

2K

1

0

5

さらしの🧢

@sarashinoio

6 years

いやHaskellはいろんな言語の統一言語だから結構いたのでは？って思ったら Haskellが生まれた時じゃなくて人が生まれた時か、人が生まれてすぐかけるのはLispだけだよ😢

0

2

5

さらしの🧢

@sarashinoio

9 months

一回お世話になったけどあれは基本正規販売店としてメーカーに対応してもらえっていう姿勢を貫いてるんだと思うメーカーに連絡するの面倒だったけど、ヨドバシから話通っててすごい神対応された

人間ジェネリック

@DividedSelf_94

9 months

ヨドバシはAmazonと肩を並べられるいいECサイトなんだけど、お問合せ関係が本当に本当にゴミカス。一度トラブったら2度とヨドバシで買い物したくなくなると思う。最近やたらめったに持ち上げる人いるけど、返品・交換トラブルをまだ経験してないんだろうなと思う。

8

1K

4K

1

3

5

さらしの🧢

@sarashinoio

5 years

パソコンは勝手に壊れませんが、WindowsとNPMは勝手に壊れます。

0

2

5

さらしの🧢

@sarashinoio

5 years

別にだからどうという話ではないのだけど，この徹底した社会人学生排除の姿勢にはいったいどんなメリットがあるのだろうか．明日の予定結構緻密に組んでたのになぁ．．．

2

0

5

さらしの🧢

@sarashinoio

1 year

えぇ…

Source-available software - Wikipedia

en.wikipedia.org

自称フロントエンドエンジニア

@yuta0801_

1 year

”オープンソース”の言葉狩りは勝手にしていいからソースコードが公開されているものをなんと呼ぶかのコンセンサスを取ってくれ

3

41

205

1

5

さらしの🧢

@sarashinoio

3 months

@xconsulkuririn 仮説ですけど、ソフトウェアエンジニアは貧困寄りからそれで身を立てた人もそこそこいると思っていて、そこから見るとエリート様って感じで断絶を感じるのかなと思っています。私はアンチではないけれど排除アート的なジェントリフィケーションを見ているようなざらつきは感じています。

1

0

5

さらしの🧢

@sarashinoio

1 year

GWの進捗

0

5

さらしの🧢

@sarashinoio

11 months

@NicholasTakeshi 好みの話自由にしたらいいと思うし僕もニコラスさんの基準に近かったけど、バスケの話なら「いろんな事情があるだろうけど好みとしてこう、事実としてこう」って話すのにユニデザインの話は「俺の好みの話だけど」って前置きないな、珍しいなとは思いました

1

0

3

さらしの🧢

@sarashinoio

6 years

@tomo_8095 大学の先生の雑談レベルの話では複素平面と行列は世代ごとに交互に教えているらしいです。あくまで高卒で就職した場合にどちらかの知識がある人間が必ずいるように、というようなことを言っていました。本当かどうかはわかりませんが。

0

4

さらしの🧢

@sarashinoio

4 years

「NoCodeで複雑なシステムを作ったことのある方歓迎！」は結構いい打率を出す気がする。

acple_

@acple

4 years

逆に言えば、NoCode でモノを作れた人間は確実にプログラミング適正があるのでプログラムを書くと良いです NoCode ってつまりコードを使わない形で成立しているプログラミング言語でしかないし、一部の表現に特化した代わりに汎用性を失ったツールという意味では用途に特化した DSL と同等

0

1

13

0

4

さらしの🧢

@sarashinoio

3 years

レコーディングしてたけど後で公開されるのかな #Figma 見せ合いっこ

0

4

さらしの🧢

@sarashinoio

4 years

GADTとtype classの差は実装にネームスペースがあって実装を取り替えることができる点だと理解しているんだけど，つまりsyntax上はtype classで中間言語としてGADTに変換することが可能なはずで，forallがなければinline化を意味する…?

1

0

4

さらしの🧢

@sarashinoio

7 months

いかないと企画展「未来のかけら」21_21 DESIGN SIGHTで、“科学技術とデザインの出合い”に着目 - ファッションプレス

企画展「未来のかけら」21_21 DESIGN SIGHTで、“科学技術とデザインの出合い”に着目

企画展「未来のかけら: 科学とデザインの実験室」が、東京・六本木の21_21 DESIGN SIGHTにて、2024年9月8日(日)まで開催される。企画展「未来のかけら: 科学とデザインの実験室」は、...

www.fashion-press.net

0

3

さらしの🧢

@sarashinoio

4 years

限界独身男性の誕生日の夕餉です

0

4

さらしの🧢

@sarashinoio

8 months

90年代には論文、90年代後期には国内でも正規のサービスがいくつか提供されていた技術です。分散でも自律的でもないですけどね。ざっとみた感じこの記事が詳しそう

ビットコイン論文からさぐるブロックチェーンのヒント第4回 | オブジェクトの広場

今回はビットコイン論文の第3章「Timestamp Server」で説明されているタイムスタンプ技術について見ていきます。

www.ogis-ri.co.jp

0

1

4

さらしの🧢

@sarashinoio

2 years

@investor4545 ジャンプじゃないけどその並びだと個人的に絶対黒執事

1

0

4

さらしの🧢

@sarashinoio

3 years

@Sys_Rider 老婆心ながら申し上げると、1バイトが8ビットだと勘違いして、いわんやそれを質問してきているとなったら私はその会社は絶対いかないですね。面接される方は面接官を通して会社の技術力を覗いています。そこで技術的に見当違いなことを問うのは、その程度なんだなと見限られることになりますよ

1

0

4

さらしの🧢

@sarashinoio

4 years

今日は僕の勝ちです

0

4

さらしの🧢

@sarashinoio

4 months

ニュージーンズはSuchmosかもしれない

0

3

さらしの🧢

@sarashinoio

4 years

僕は基本的にvanillaから逃げられないと思っていて、js alternativesで何でもやるよりも部品をvanillaで作ってオルグする方をjs alternativesでやると割り切るのがいいと思っている。その点でPureScriptがめちゃくちゃいい。

0

1

4

さらしの🧢

@sarashinoio

3 years

tts 「せやろか」

🈚️うひょ🤪✒📘 TypeScript本発売🫐

@uhyo_

3 years

型検査というのは静的検証のプロセスであって型推論はそのうちの一環、型註釈は型推論のプロセスを補助するものであるから、型註釈が必要なことはランタイムの事情と特に関係ないよ（？）

0

1

11

1

3

さらしの🧢

@sarashinoio

4 years

緩募 scalaのhoogle(切実)

0

1

4

さらしの🧢

@sarashinoio

6 months

スタバ、言わないと絶対握れないほど熱々のカップにスリーブつけないのに「接客のプロです」みたいな顔してるのヤバない？

0

2

さらしの🧢

@sarashinoio

1 year

いきます【巨大LEDビジョンによるオーディオビジュアルイベント】2023.06.10 Hyper geek #6 TUNNEL TOKYO | Peatix

0

2

4

さらしの🧢

@sarashinoio

4 months

LTと関係ないけどオフィス綺麗柳宗理のバタフライスツールの廉価版みたいなスツールなんだろう。気になる #pm_findy

0

4

さらしの🧢

@sarashinoio

2 years

@hisaketM 一応この手の議論のアンチテーゼとしてはウィノクラードの「コンピュータと認知を理解する」とラニアーの「人間はガジェットではない」がカジュアルで面白いです。多くの��張はLLMによって覆されたと思っていますが、未だ本質的な部分も多いです。

コンピュータと認知を理解する: 人工知能の限界と新しい設計理念

www.amazon.co.jp

0

2

4

さらしの🧢

@sarashinoio

4 years

最近nestjsを書いてるのだけど，兎にも角にも早く書けるようになんでもありのﾋｬｯﾊｰな自動化がされていて，(多分)理論なしにこれだけめちゃくちゃに構築して動かそうという自信はほんとうに凄いなと思う．多分この方面の人達は感覚の職人技でやっている気がする．真似できない．(したくもない)

0

4

さらしの🧢

@sarashinoio

4 years

弊社で唐突にnotionが流行りだした

0

4

さらしの🧢

@sarashinoio

4 years

コロナでフリーランス案件が過疎ってから卒業までフリーランスで食いつないで新卒という計画がだめになって、この最悪のタイミングで転職市場に出なきゃいけなくなってしまった。本当につらい。

1

0

4

さらしの🧢

@sarashinoio

4 years

@cyclone_tr > 20GB超過後でも最大1Mbps とはあるので1Mbpsは保証されてますw > 加えて、5分間までの国内通話が何度でも無料※1※2でご利用いただけます。とかも付くので本当にダンピングプランです笑

1

0

4

さらしの🧢

@sarashinoio

1 year

MacOSもそうだし手順としてリカバリーモードで再起動してもspotlightだけ古いicon残ってたりするし、相当に根深そう。全然すぐ直せるイメージわかない

さくさん

@ch3cooh

1 year

Twitterアプリのアップデート後にXから鳥に戻ってしまうバグが日本のユーザーに認知されて嬉しいこれはアプリアイコンが正しく変わらない何年も修正されないiPhoneのバグなので、Appleが対応するキッカケになってくれると期待してる…… してるんだけどネタとして消費されて終わりかもしれへん……

6

315

694

0

1

4

さらしの🧢

@sarashinoio

7 months

HZETTRIOが新しい学校のリーダーズと曲出しててびっくりした

1

0

4

さらしの🧢

@sarashinoio

8 months

本当にログラスさんのプロダクト面白そうすぎてここに関わって行けないのが悔しい身体がもう一個あればよかったのに！

ゆいと🐳

@Yuiiitoto

8 months

1年作り続けた「Loglass人員計画」がリリースされました。2023年の自分はもうこれしかやってません。採用、退職、異動という人にまつわるデータを全て財務データに変換してそのプラットフォーム上で意思決定していくという挑戦的なプロダクトです！ @PRTIMES_JP より

0

17

96

1

0

4

さらしの🧢

@sarashinoio

3 months

安野さんをPRE(Politics Reliability Engineering)とかで切り出してpolitics embedded engineeringやれる枠組みがあると世界変わる気がする

0

1

4

さらしの🧢

@sarashinoio

1 year

@Nell1819 この話をされる時大体コスト他リソースの与件が開示されなくて「技術的に可能か」という聞き方をされるので、「予算/期間/アサインによる」だと答えになっていないとキレられ、「(一旦リソースを無視すると)技術的には可能」と答えるとトレードオフが頭から抜けて「可能」という事で提案突っ走るという

1

0

4

さらしの🧢

@sarashinoio

3 years

"少子化がやばい"と"「子どもがいると幸せだよね」は時代遅れでハラスメント"のツイート両方流れてくる平和な連休明けです

0

4

さらしの🧢

@sarashinoio

6 years

@3to_5thpower いつかどっかの講義で先生が言ってた気がします(たぶん(おそらくは

0

2

さらしの🧢

@sarashinoio

5 years

@cyclone_tr 違う話だと思います Sum types/tagged unionは型理論としての名前で、disjoint sumは集合論、圏論では(集合の圏の)coproduct、cartesian sumは多分cartesian productに対応した俗語なような気がします。

1

0

3

さらしの🧢

@sarashinoio

5 years

1. First language: C++(I couldn't get it.), Common Lisp 2. Had difficulties: Idris 3. Most used: Haskell 4. Totally hate: JavaScript (for big projects) 5. Most loved: s-expression 6. For beginners: simple lisp dialects or haskell What about you?

1

0

3

さらしの🧢

@sarashinoio

3 months

寝てんだけど

0

4

さらしの🧢

@sarashinoio

4 years

私の周りの人間は飲み物にはとりあえず鬼殺しを混ぜれば面白いと思っている節がある

0

3

さらしの🧢

@sarashinoio

3 years

ヤクルトが話題すぎて“ヤクルト1000 ヒロポン“で検索したらなにも出てこなかったので本当にヤクルトさんに申し分けない気持ちになった．

0

3

さらしの🧢

@sarashinoio

6 years

Categorical Informatics のサイトがアップデートしてました！ AQLは本当に将来が楽しみです

0

3

さらしの🧢

@sarashinoio

5 years

@pxfnc クソリプ&素人意見なんですが、意味論的には値ではなく関数じゃないかと思います。あと data <型の名前> = <値の名前> ではなく data <型の名前> = <型の実態(集合)の規則の宣言> ではないかなと思います。プログラムが扱うことができるデータ集合の部分集合を宣言的に定義しているものです。

2

0

3

さらしの🧢

@sarashinoio

4 years

@pxfnc PureScript「ようこそ」

1

0

3