llrlは自作のプログラミング言語です。大きな特徴が2つあります。 Hindley-Milnerベースの型推論による静的型付け (+型クラス) Lisp-likeなS式によるシンタックスとLLVM JITによるマクロ この言語の処理系をRustとLLVMを用いて実装し、それをllrl上に移植してセルフホスティングを試みました。無事セルフホスティングを達成したので、取り組んだことやモチベーションなどを順に振り返りたいと思います。 LLVMについては、フロントエンド側・バックエンド側ともに既にいくらかの解説記事が見られるため、概要は省略します。今回は新たなプログラミング言語のバックエンドとしてLLVMを用いるので、LLVMのフロントエンド側の実装がメインとなります。 事の発端: LLVM Kaleidoscopeチュートリアル Kaleidoscopeは、LLVMのチュートリアルにおいて実装す

Comparison of a traditional OS stack and a MirageOS unikernel A unikernel is a computer program statically linked with the operating system code on which it depends. Unikernels are built with a specialized compiler that identifies the operating system services that a program uses and links it with one or more library operating systems that provide them. Such a program requires no separate operatin

LKL (Linux Kernel Library) is aiming to allow reusing the Linux kernel code as extensively as possible with minimal effort and reduced maintenance overhead. Examples of how LKL can be used are: creating userspace applications (running on Linux and other operating systems) that can read or write Linux filesystems or can use the Linux networking stack, creating kernel drivers for other operating sys

そういうちょっと違う言い方って他に無いか、弁当を使うみたいなやつ。

次世代VPN WireGuardを改造して作ったL2VPN、L2 WireGuardの話をします これは2021年7月10日に行われた カーネル/VM探検隊 online part3での発表動画です 参考文献 発表動画: https://youtu.be/8UIieDEk5k8 WireGuard自体のプロトコルについて: https://speakerdeck.com/fadis/zuo-tuteli-jie-suruwireguard ソースコード: https://github.com/Fadis/l2wg

This repository contains a simple firmware that is designed to be launched from anything that supports loading ELF binaries and running them with the PVH booting standard The purpose is to be able to use this firmware to be able to load a bootloader from within a disk image without requiring the use of a complex firmware such as TianoCore/edk2 and without requiring the VMM to reuse functionality u

こういう病院があるみたい。世の中捨てたもんじゃない。良心がある人がこの世を支えてきたから今がある😊✨ https://t.co/LOoihOE9Pw

Episode 120 | May 5, 2021 Today, people around the globe—from teachers to small-business owners to finance executives—use Microsoft Excel to make sense of the information that occupies their respective worlds, and whether they realize it or not, in doing so, they’re taking on the role of programmer. In this episode, Senior Principal Research Manager Andy Gordon, who leads the Calc Intelligence tea

あらゆる面で最強、アンカーの小型65W急速充電器がついに出た！スマホからPCまで全部これひとつでOK2021.07.08 10:0544,090 mayumine 全充電器をこれひとつに全集中可能。 本日、AnkerよりAnker GaN ll 搭載の第二弾製品｢Anker Nano ll 65W｣｢Anker Nano ll 30W｣が登場しました。 最大65W出力のUSB-Cポートを搭載した｢Anker Nano ll 65W｣は、MacBook Pro 13 インチ(M1 2020)をわずか 2時間20分でフル充電可能、また⼀般的な5W出⼒の充電器に⽐べiPhone 12 を最⼤3倍速く充電できるとのこと。 重さは112gとかなり軽量、サイズは 約44×42×36mmでコンパクト、お値段は3,990円とうっかりポチれるお値段です。 ちなみに、Appleの純正61Wアダプタの重さは20