1d: Matt Brecknell: Explaining the seL4 integrity theorems https://youtu.be/fyF9w_CsCEU
ใClawnใฏไบบ้ใซใจใฃใฆใฎๆฑใใใใใ็ฌฌไธใซ่จญ่จใใใใใญใฐใฉใใณใฐ่จ่ชใงใใๅนณๆใชๆๆณใจ้ซๅบฆใชๅใทในใใ ใๅชใใC FFIใซ้็ใกใขใช็ฎก็ๆฉๆงใๅใใฆใใใๅฎๅ จใง้ซๅ่ณชใชใใญใฐใฉใ ใ็ฐกๅใซๆธใใใใใซใชใฃใฆใใพใใใ
GitHub - Naotonosato/Clawn: The Clawn Programming Language
https://github.com/Naotonosato/Clawn
ใใฎๆใGoogle็ฟป่จณใ ใจๅ จ็ถ้ใๆๅณใซใชใฃใ
@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.โ
โในใใคใฐใใบโๅฑ็คบใใCIAๅ็ฉ้คจใๅ ฌ้โฆโใใใบโ่ซๅ ฑๆดปๅใซใโๅคง็ฉโๅฎถๆจกๅใใใใใฏใขใใnewsใ(2022ๅนด10ๆ13ๆฅ) - YouTube https://www.youtube.com/watch?v=w0pHjaiI__g
SRFI 238: Codesets
https://srfi.schemers.org/srfi-238/srfi-238.html
Synthesizer Vใซ่ถ
ๅผทๅใชๅฅณๆงใใผใซใซใMaiใใพใใชใ็ปๅ ดใใใAIใจไบบ้ใฎ้ใใฏ่ช็ฅใงใใชใใฌใใซใซ
https://www.dtmstation.com/archives/58686.html
3Dใใชใณใฟใผใงๆฉๆขฐๅผๆใๆ่จใไฝใฃใฆใฟใ https://youtu.be/H-Hr0pansrw
ใใใฏ็กใใ ใ๏ฝ
2023ๅนด็ใซใฌใณใใผใใญใผใใผใใซไป่พผใใใFILCO Calendar Keycap Set 2023ใใ็บๅฃฒ - ใจใซใใฟใผใธใฅ็ง่ๅ https://www.gdm.or.jp/pressrelease/2022/1102/462722
ใใใใใชใญใใใจใณใใปใชใณใฏใใผใซใ็ด3.6kgๅ
ฅใ | ORIGINALMIND ใชใชใธใใซใใคใณใ
https://www.originalmind.co.jp/useds/52370 ๆฉๆขฐ้จๅใ่ฉฐใๅใใใชใใจใใใใ ๏ผไปๆฅใฎใใใใ ๏ผ
ใญใทใขใปใขใดใกใณใฎใฃใซใใฎๆฌใฏใใ๏ผไธญๅคใง6000ๅใใ๏ผ
https://pie.co.jp/book/i/4612/
ใชใชใญใฃใฉใฎ็ดบ้ใฎใฎ๐
ๅฎ้จใจ็่ซใฎใใใ็ ็ฉถ่ ใฎ็ฉๆงใใผใฏ https://youtu.be/A2Bdg3cFdPY
ใใใใใใ่ฃฝๅใ ใชใ
RS-232CๆฉๅจใจEthernet็ต็ฑใง้ไฟกใงใใPoEๅฏพๅฟใณใณใใผใฟใผใRS-ET62ใใใฉใใใฏใทในใใ ใ11ๆไธญๆฌ็บๅฃฒ - INTERNET Watch https://internet.watch.impress.co.jp/docs/news/1452588.html
@ใกใซใฏใทๅฃใจใ่ปฝ็ใซๅไนใฃใฆใ้ ๆใๅบใใฆใ้ปๆญดๅฒใงใใญ