Search in @omasanori

Masanori Ogino ๐“€ omasanori@mstdn.maud.io

1d: Matt Brecknell: Explaining the seL4 integrity theorems youtu.be/fyF9w_CsCEU

Masanori Ogino ๐“€ omasanori@mstdn.maud.io

ใ€ŒClawnใฏไบบ้–“ใซใจใฃใฆใฎๆ‰ฑใ„ใ‚„ใ™ใ•ใ‚’็ฌฌไธ€ใซ่จญ่จˆใ•ใ‚ŒใŸใƒ—ใƒญใ‚ฐใƒฉใƒŸใƒณใ‚ฐ่จ€่ชžใงใ™ใ€‚ๅนณๆ˜“ใชๆ–‡ๆณ•ใจ้ซ˜ๅบฆใชๅž‹ใ‚ทใ‚นใƒ†ใƒ ใ€ๅ„ชใ‚ŒใŸC FFIใซ้™็š„ใƒกใƒขใƒช็ฎก็†ๆฉŸๆง‹ใ‚’ๅ‚™ใˆใฆใŠใ‚Šใ€ๅฎ‰ๅ…จใง้ซ˜ๅ“่ณชใชใƒ—ใƒญใ‚ฐใƒฉใƒ ใ‚’็ฐกๅ˜ใซๆ›ธใ‘ใ‚‹ใ‚ˆใ†ใซใชใฃใฆใ„ใพใ™ใ€‚ใ€

GitHub - Naotonosato/Clawn: The Clawn Programming Language
github.com/Naotonosato/Clawn

Masanori Ogino ๐“€ omasanori@mstdn.maud.io

ใ“ใฎๆ–‡ใ€Google็ฟป่จณใ ใจๅ…จ็„ถ้•ใ†ๆ„ๅ‘ณใซใชใฃใŸ

Masanori Ogino ๐“€ omasanori@mstdn.maud.io

@lo48576 โ€œAlthough this document makes specific reference to [RFC7788], it is not intended that the use of 'home.arpa.' be restricted solely to networks where HNCP is deployed. Rather, 'home.arpa.' is intended to be the correct domain for uses like the one described for '.home' in [RFC7788]: local name service in residential homenets.โ€

rfc-editor.org/rfc/rfc8375.htm

Masanori Ogino ๐“€ Masanori Ogino ๐“€ reblogged at 2 years ago

ใ‚ขใ‚ซใƒใƒŠ akahana@fla.red

โ€œใ‚นใƒ‘ใ‚คใ‚ฐใƒƒใ‚บโ€ๅฑ•็คบใ€€ใ€ŒCIAๅš็‰ฉ้คจใ€ๅ…ฌ้–‹โ€ฆโ€œใƒŠใƒžใ‚บโ€่ซœๅ ฑๆดปๅ‹•ใซใ€€โ€œๅคง็‰ฉโ€ๅฎถๆจกๅž‹ใ‚‚ใ€ใƒ”ใƒƒใ‚ฏใ‚ขใƒƒใƒ—newsใ€‘(2022ๅนด10ๆœˆ13ๆ—ฅ) - YouTube youtube.com/watch?v=w0pHjaiI__

Masanori Ogino ๐“€ Masanori Ogino ๐“€ reblogged at 2 years ago

ใ‚ขใ‚ญใƒBlog akibablog@pawoo.net

Synthesizer Vใซ่ถ…ๅผทๅŠ›ใชๅฅณๆ€งใƒœใƒผใ‚ซใƒซใ€MaiใŒใพใ‚‚ใชใ็™ปๅ ดใ€‚ใ‚‚ใ†AIใจไบบ้–“ใฎ้•ใ„ใฏ่ช็Ÿฅใงใใชใ„ใƒฌใƒ™ใƒซใซ
dtmstation.com/archives/58686.

Masanori Ogino ๐“€ omasanori@mstdn.maud.io

3Dใƒ—ใƒชใƒณใ‚ฟใƒผใงๆฉŸๆขฐๅผๆŽ›ใ‘ๆ™‚่จˆใ‚’ไฝœใฃใฆใฟใŸ youtu.be/H-Hr0pansrw

Masanori Ogino ๐“€ Masanori Ogino ๐“€ reblogged at 2 years ago

ใฟใ‚†@ใ‚จใƒณใ‚ธใƒ‹ใ‚ข WakuwakuP@pleroma.wakuwakup.net

ใ‚ญใƒขใ‚ชใ‚ฟใ‚ญใƒผใƒœใƒผใƒ‰ๅฑŠใ„ใŸ
Masanori Ogino ๐“€ Masanori Ogino ๐“€ reblogged at 2 years ago

ใฝใทใ‚“ใ˜ใ‚ƒ :sabakan: ๐ŸŽƒ popn_ja@popon.pptdn.jp

ใ“ใ‚Œใฏ็„กใ„ใ ใ‚๏ฝ—

2023ๅนด็‰ˆใ‚ซใƒฌใƒณใƒ€ใƒผใ‚’ใ‚ญใƒผใƒœใƒผใƒ‰ใซไป•่พผใ‚ใ‚‹ใ€ŒFILCO Calendar Keycap Set 2023ใ€ใŒ็™บๅฃฒ - ใ‚จใƒซใƒŸใ‚ฟใƒผใ‚ธใƒฅ็ง‹่‘‰ๅŽŸ gdm.or.jp/pressrelease/2022/11

Masanori Ogino ๐“€ Masanori Ogino ๐“€ reblogged at 2 years ago

GirAFFE Beer giraffe_beer

ใ„ใ‚ใ„ใ‚ใชใƒญใƒƒใƒ‰ใ‚จใƒณใƒ‰ใƒปใƒชใƒณใ‚ฏใƒœใƒผใƒซใ€€็ด„3.6kgๅ…ฅใ‚Š | ORIGINALMIND ใ‚ชใƒชใ‚ธใƒŠใƒซใƒžใ‚คใƒณใƒ‰
originalmind.co.jp/useds/52370 ๆฉŸๆขฐ้ƒจๅ“ใŒ่ฉฐใ‚ๅˆใ‚ใ›ใชใ“ใจใ‚ใ‚‹ใ‚“ใ ๏ผˆไปŠๆ—ฅใฎใ‚ใ‚‹ใ‚“ใ ๏ผ‰

Masanori Ogino ๐“€ Masanori Ogino ๐“€ reblogged at 2 years ago

้—‡ๅฃๅดฉๅญ(33) ๐Ÿ˜ kelvin27315

ใƒญใ‚ทใ‚ขใƒปใ‚ขใƒดใ‚กใƒณใ‚ฎใƒฃใƒซใƒ‰ใฎๆœฌใฏใ“ใ‚Œ๏ผˆไธญๅคใง6000ๅ††ใ—ใŸ๏ผ‰
pie.co.jp/book/i/4612/

Masanori Ogino ๐“€ omasanori@mstdn.maud.io

ใƒญใ‚ทใ‚ขใƒปใ‚ขใƒดใ‚กใƒณใ‚ฎใƒฃใƒซใƒ‰ๆฐ—ใซใชใ‚‹

Masanori Ogino ๐“€ Masanori Ogino ๐“€ reblogged at 2 years ago
Masanori Ogino ๐“€ Masanori Ogino ๐“€ reblogged at 2 years ago

ใงใ‚“ใพใ‚‹๐Ÿ‘ denmaru@pawoo.net

ใ‚ชใƒชใ‚ญใƒฃใƒฉใฎ็ดบ้‡Žใฎใฎ๐ŸŽ€

Masanori Ogino ๐“€ omasanori@mstdn.maud.io

ๅฎŸ้จ“ใจ็†่ซ–ใฎใƒˆใƒƒใƒ—็ ”็ฉถ่€…ใฎ็‰ฉๆ€งใƒˆใƒผใ‚ฏ youtu.be/A2Bdg3cFdPY

Masanori Ogino ๐“€ omasanori@mstdn.maud.io

ๅนดๆœซ่ชฟๆ•ดใจใ„ใ†ใ‚‚ใฎใซๅ–ใ‚Š็ต„ใ‚“ใงใ„ใ‚‹

Masanori Ogino ๐“€ Masanori Ogino ๐“€ reblogged at 2 years ago

ใฝใทใ‚“ใ˜ใ‚ƒ :sabakan: ๐ŸŽƒ popn_ja@popon.pptdn.jp

ใƒ‹ใƒƒใƒใ™ใŽใ‚‹่ฃฝๅ“ใ ใชใ‚

RS-232CๆฉŸๅ™จใจEthernet็ตŒ็”ฑใง้€šไฟกใงใใ‚‹PoEๅฏพๅฟœใ‚ณใƒณใƒใƒผใ‚ฟใƒผใ€ŒRS-ET62ใ€ใ€ใƒฉใƒˆใƒƒใ‚ฏใ‚ทใ‚นใƒ†ใƒ ใŒ11ๆœˆไธญๆ—ฌ็™บๅฃฒ - INTERNET Watch internet.watch.impress.co.jp/d

Masanori Ogino ๐“€ omasanori@mstdn.maud.io

ใ‹ใ‚ใ„ใ‚‰ใ—ใ„

Masanori Ogino ๐“€ Masanori Ogino ๐“€ reblogged at 2 years ago

1็ฏ๐Ÿ•ฏ๏ธ candela829@best-friends.chat

@ใƒกใ‚ซใ‚ฏใ‚ทๅ›ฃใจใ‹่ปฝ็އใซๅไน—ใฃใฆใŸ้ ƒๆ€ใ„ๅ‡บใ—ใฆใ€้ป’ๆญดๅฒใงใ™ใญ