00:17:25 @omasanori@mstdn.maud.io
icon

A refreshed web site for Hex-Rays – Hex Rays hex-rays.com/blog/a-refreshed-

IDA Proの会社のWebサイトがめちゃイマドキになってる

00:24:20 @omasanori@mstdn.maud.io
icon

CBG-BSV Orangepath: Toy Bluespec Compiler cl.cam.ac.uk/~djg11/wwwhpr/toy

OSS版Bluespec SystemVerilogの公開予定日を過ぎたけれどアナウンスがないのでソワソワして検索したらF# でBSV的なものを実装した大学教員のページを見つけた

CBG-BSV Orangepath: Toy Bluespec Compiler
00:27:21 @omasanori@mstdn.maud.io
icon

GNU Binutilsに追加されたdebuginfodというデバッグに必要な情報をHTTPで教えてくれるプログラムが気になる

00:31:05 @omasanori@mstdn.maud.io
icon

あー、なるほど。Linux ディストリビューション(でなくともよいのだけれども)がデバッグシンボルをWebサーバーで配信できるようにして、デバッガが必要な分だけダウンロードするってことか

00:33:15 @omasanori@mstdn.maud.io
icon

アルファ版のブラックロータスマジか

00:36:31 @omasanori@mstdn.maud.io
icon

debuginfod(elfutils debuginfo サーバー)の概要 - 赤帽エンジニアブログ rheb.hatenablog.com/entry/intr

Web site image
debuginfod(elfutils debuginfo サーバー)の概要
00:43:10 @omasanori@mstdn.maud.io
2020-02-06 00:42:45 大破の投稿 musashino205@mstdn.maud.io
icon

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

10:27:02 @omasanori@mstdn.maud.io
2020-02-06 10:15:21 TOMOKI++の投稿 tomoki@vocalodon.net
icon

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

10:29:02 @omasanori@mstdn.maud.io
icon

Google Online Security Blog: OpenTitan - open sourcing transparent, trustworthy, and secure silicon security.googleblog.com/2019/1

Web site image
OpenTitan - open sourcing transparent, trustworthy, and secure silicon
10:42:09 @omasanori@mstdn.maud.io
icon

Googleらが発表したセキュリティ(RoT)チップのオープンソースプロジェクト、「OpenTitan」とは (1/2):セキュリティキー普及の起爆剤になる? - @IT atmarkit.co.jp/ait/spv/1911/05

Web site image
Googleらが発表したセキュリティ(RoT)チップのオープンソースプロジェクト、「OpenTitan」とは
11:04:34 @omasanori@mstdn.maud.io
icon
Site not found · GitHub Pages
11:27:09 @omasanori@mstdn.maud.io
icon

2013年 Bluespec の旅 - ksmakotoのhatenadiary ksmakoto.hatenadiary.com/entry

11:34:14 @omasanori@mstdn.maud.io
icon

【やじうまPC Watch】【懐パーツ】3Dがアツい時代の2D特化ビデオカード、「Matrox Millennium P650」 - PC Watch pc.watch.impress.co.jp/docs/ne

Web site image
【やじうまPC Watch】 【懐パーツ】3Dがアツい時代の2D特化ビデオカード、「Matrox Millennium P650」
13:17:26 @omasanori@mstdn.maud.io
2020-02-06 12:57:56 Ushitora Anqouの投稿 anqou@mstdn.anqou.net
icon

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

13:56:50 @omasanori@mstdn.maud.io
2020-02-06 13:52:15 のなかの投稿 nonaka@mstdn.maud.io
icon

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

14:14:06 @omasanori@mstdn.maud.io
2020-02-06 13:31:47 blew@Skeb募集中🎨 🐞🍋🔞の投稿 blew@pawoo.net
icon

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

14:14:17 @omasanori@mstdn.maud.io
icon

Wacom drawing tablets track the name of every application that you open | Robert Heaton robertheaton.com/2020/02/05/wa

Web site image
Wacom drawing tablets track the name of every application that you open | Robert Heaton
15:48:42 @omasanori@mstdn.maud.io
2020-02-06 15:43:23 ほたの投稿 hota@mstdn.maud.io
icon

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

15:56:06 @omasanori@mstdn.maud.io
2020-02-06 15:40:24 解凍の投稿 hina@mstdn.maud.io
15:56:25 @omasanori@mstdn.maud.io
icon

yes

Attach image
16:00:54 @omasanori@mstdn.maud.io
icon

koreという名前を見て「これってなんだよ」と思ったけれどコアか

16:04:01 @omasanori@mstdn.maud.io
icon

"The Kore Language
Kore is the "core" part of the K framework." github.com/kframework/kore

Web site image
GitHub - runtimeverification/haskell-backend: The symbolic execution engine powering the K Framework
16:15:41 @omasanori@mstdn.maud.io
2019-12-31 16:10:23 解凍の投稿 hina@mstdn.maud.io
icon

X395を買って2週間ほど使ったのでいろいろブログに殴り書きしたら1万文字くらいいってました。鉞を投げてください
blog.hinaloe.net/2019/12/31/th

17:00:21 @omasanori@mstdn.maud.io
2020-02-06 16:36:18 Niceratus Kiotoensisの投稿 ncrt035@gnosia.info
icon

言われてみてそうかって思ったけど全っ然意識したことなかった「modemという語は、送信のためのデータに基づく変調装置(モジュレータ、modulator)と、受信した信号からデータを取出す復調装置(デモジュレータ、demodulator)のそれぞれの前半を取り出してつなげた一種のかばん語である」
ja.wikipedia.org/wiki/%E3%83%A

17:01:46 @omasanori@mstdn.maud.io
icon

codec: coder & decoder

18:04:40 @omasanori@mstdn.maud.io
2020-02-06 18:00:20 tarboの投稿 tarbo@pawoo.net
icon

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

18:05:47 @omasanori@mstdn.maud.io
2020-02-06 18:00:29 tarboの投稿 tarbo@pawoo.net
icon

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

18:07:19 @omasanori@mstdn.maud.io
2020-02-06 18:02:30 tarboの投稿 tarbo@pawoo.net
icon

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

18:07:51 @omasanori@mstdn.maud.io
2020-02-06 18:07:51 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io
18:18:30 @omasanori@mstdn.maud.io
icon

先日、機会があって中原中也記念館を訪れたら企画展が清家雪子『月に吠えらんねえ』だった

18:19:04 @omasanori@mstdn.maud.io
icon

■開館25周年記念展 文学表現の可能性(後期)清家雪子展―『月に吠えらんねえ』の世界|お知らせ|中原中也記念館 chuyakan.jp/news/25thseike/

Web site image
【終了しました】開館25周年記念展 文学表現の可能性(後期)清家雪子展―『月に吠えらんねえ』の世界
19:07:17 @omasanori@mstdn.maud.io
2020-02-06 19:06:28 いかり@お仕事募集中の投稿 aor3507@pawoo.net
icon

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

19:59:22 @omasanori@mstdn.maud.io
2020-02-06 19:54:48 zgock999の投稿 zgock999@mstdn.maud.io
icon

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

20:00:55 @omasanori@mstdn.maud.io
2020-02-06 19:43:37 𒀭🍊🎨の投稿 hassaku@pawoo.net
icon

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

20:01:12 @omasanori@mstdn.maud.io
2020-02-06 19:40:22 のなかの投稿 nonaka@mstdn.maud.io
icon

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

20:32:00 @omasanori@mstdn.maud.io
icon

電波も非電離放射線ではあるけれど、日常会話では電離放射線を指して放射線と呼びがち

20:47:31 @omasanori@mstdn.maud.io
2020-02-04 21:13:20 どこかの目玉焼きの投稿 siratamairipafe@pawoo.net
icon

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