SRFI 248: Minimal delimited continuations
https://srfi.schemers.org/srfi-248/
通知が https://youtube.com/@acmsigplan であふれかえっている
Schemeコンパイラに-bitで終わる単語を名付ける伝統がある。例:Rabbit(1978)、Orbit(1986)、Gambit(1988)、Hobbit(2002)、Ribbit(2021)。ただし、すべてのSchemeコンパイラがこの伝統に従って命名されているわけではない。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
Graydon HoareのCompiler講義資料が面白かった話 - Arantium Maestum
https://zehnpaard.hatenablog.com/entry/2022/05/03/085842
A正規化されたIRをCEK抽象機械で実行 - Arantium Maestum
https://zehnpaard.hatenablog.com/entry/2022/03/17/201958
Implementing Java as a CESK machine, in Java
https://matt.might.net/articles/oo-cesk/
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
Need for an Undefined Behavior Annex to C++
https://community.intel.com/t5/Blogs/Tech-Innovation/Tools/Why-do-we-need-a-Undefined-Behavior-Annex-for-the-C-standard/post/1574397
CSS is awesome so Neoverse CSS is also awesome
こういうのを作りたいんだよねというのをREADMEに書いて公開した。実際のコードはまだ1行も書いてない。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
一方で、予期しないものに寛容に振る舞う方針にはむしろシステムの堅牢さにとって有害な面がある、というポステルの法則(ロバストネス原則)の反省もある。
RFC 9413 - Maintaining Robust Protocols
https://www.rfc-editor.org/rfc/rfc9413
XMLにかわって広く使われるようになったJSONがHTMLのような予期しないものに寛容に振る舞う方針をとったかというと別にそういうわけではない。
予期しないものに寛容に振る舞うシステムはそこまで変化に強いわけではない。世の中はHTML Living Standardのように現状を追認するためのルールブックを作る動機と体力がある業界ばかりではなく、やがて現状が文書化されることもなく曖昧に壊れていく。
XMLにとっての不運は、《現在広く使われているシリアライズ形式がまだ存在しない、XML以前の世界》に登場したせいで、不適切な分野にまで適用されるほど成功しすぎてしまったことだと思う。
私はRustもリージョンベースのライフタイム推論を導入したシステムプログラミング言語として初めて幅広い分野の注目を集めて「成功しすぎてしまった」のではないかと思っている。
まあ、注目を集めることがないがゆえに人々から憎まれることもない無数の試みのことを思えば、成功しすぎてしまったなんて贅沢な悩みではあるのだけれども……
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
[ Nvidia、CUDAソフトウェアの翻訳レイヤーの使用を禁止 - 以前はオンラインEULAにのみ禁止事項が記載されていたが、現在はインストールされたファイルに含まれる【更新】 - 自作ユーザーが解説するゲーミングPCガイド ]
https://g-pc.info/archives/36082/
[ Switchエミュレーター「Yuzu」開発者、訴えられ1週間足らずで任天堂と240万ドルで和解 - 自作ユーザーが解説するゲーミングPCガイド ]
https://g-pc.info/archives/36085/
このアカウントは、notestockで公開設定になっていません。
後知恵だけど今のChromeやFirefoxはほぼ月一回リリースなのでUbuntu方式のバージョン番号(今月のリリースは24.03とか)だったらうれしかった気がする
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
Plasma 6.0.1, the first batch of corrections and enhancements to Plasma 6.0, has landed
The next update will be delivered promptly next Tuesday, 12th of March.
Lisa Su Says The "Team Is On It" After Tweet About Open-Source AMD GPU Firmware
George Hotz with Tiny Corp that is working on Tinygrad and TinyBox for interesting developments in the open-source AI space has previously called out AMD over ROCm issues. Yesterday yielded new tweets by "the tiny corp" over AI training runs crashing with MES errors and then called for AMD open-sourcing the firmware to which AMD CEO Lisa Su has responded...
https://www.phoronix.com/news/Lisa-Su-Tweet-OSS-Firmware
UWSM Aims To Be A Universal Wayland Session Manager
UWSM is short for the Universal Wayland Session Manager and it incorporates systemd's help in managing the Wayland compositors...
https://www.phoronix.com/news/UWSM-Wayland-Session-Manager
Microsoft Rebranding CBL-Mariner Linux Distribution To "Azure Linux"
Microsoft's in-house Linux distribution used for a variety of purposes had been known as CBL-Mariner for "Common Base Linux" while now it appears to be in the process of transitioning to Azure Linux...
https://www.phoronix.com/news/Microsoft-Azure-Linux
AMD Announces Spartan UltraScale+ FPGA Family
For those interested in FPGAs, AMD today unveiled the Spartan UltraScale+ FPGA product family with hardware coming in 2025...
https://www.phoronix.com/news/AMD-Spartan-UltraScale-Plus
Coreboot 24.02 Released - Supporting Three New Motherboards
Succeeding last year's Coreboot 4.22 release is now a new release... Coreboot 24.02. This open-source system firmware project is now the latest to shift to a year-month versioning system. The newly-christened Coreboot 24.02 brings support for three new motherboards, a number of ACPI updates, and also pulls in the new GRUB 2.12 and other changes...
https://www.phoronix.com/news/Coreboot-24.02-Released
Musl libc 1.2.5 Released With RISC-V 32-bit & LoongArch 64-bit Ports
Musl libc 1.2.5 released on Thursday as the newest version of this lightweight, speedy, and free software C library implementation that is popular for embedded use, containers, and elsewhere...
https://www.phoronix.com/news/musl-libc-1.2.5
GNOME Prompt Becomes Ptyxis
The GNOME Prompt terminal emulator in-development by Christian Hergert with a focus on GPU-acceleration and being a very speedy and beautiful terminal option has been renamed to Ptyxis...
https://www.phoronix.com/news/GNOME-Prompt-Terminal-Ptyxis
NetBSD 10.0 Should Be Released Soon - Likely Last RC Debuts
NetBSD 10.0-RC5 was released on Wednesday as what is hopefully the last release candidate...
https://www.phoronix.com/news/NetBSD-10.0-RC5-Released
でも最近のロゴは例の要素をすべて備えてないことの方が多いんだよなと思いながら歴代ロゴを検索していたら懐かしいものが出てきた
!の数もちゃんと(?)合わせている
強いていえば、せっかくiが含まれているのに緑の点付きのiにしていないのが惜しい
広告のリンク先はこの動画
さなのばくたん。 -王国からの招待状- Powered by mouse
https://bakutan.natorisana.com/e/bakutan2024
ッス
#openSUSE Tumbleweed gains new horizons with GRUB to systemd-boot with improved simplicity and tech integration. Get the details on this ongoing experimental option at https://news.opensuse.org/2024/03/05/systemd-boot-integration-in-os/
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
“NixBSD is an attempt to make a reproducible and declarable BSD, based on NixOS. Although theoretically much of this work could be copied to build other BSDs, all work thus far has been focused on building a FreeBSD distribution.”
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
“Blinkenlights is a command line debugger that focuses on visualizing how software changes memory. It's able to emulate statically linked i8086 and x86_64-pc-linux-gnu programs on the Linux, Mac, Windows, FreeBSD, NetBSD, and OpenBSD platforms.”
このアカウントは、notestockで公開設定になっていません。