Post

Talk "Erlang... no MEU microkernel seL4?" por Marcos Benevides O seL4 é um microkernel formalmente verificado, uma obra-prima da computação... até alguém empacotar uma solução caótica com remendos em Nix, Zig, C e LionOS, tudo visando um único objetivo blasfemo: rodar a BEAM.