Emacs 29 is nigh! What can we expect?
Some random rambling by a linguistics nerd about Emacs, Linux, and conlanging It was announced a couple of hours ago, Emacs 29’s branch is now cut from the master branch! This means the emacs-29 branch will from now no longer receive any new feature, but only bug fixes. So, what’s new with this new major release? I skimmed over the NEWS file, and here are the changes which I find interesting and e
DWARF-based Stack Walking Using eBPF
This feature was previously introduced in the announcement post. Sampling CPU profilers periodically fetch the stacks of the profiled processes that are running on the CPU at a given time. Walking the stacks of native processes, such as the ones written in C, C++, Rust, etc. can be a bit more complicated than one might expect. Most of the complexity is due to the lack of frame pointers, which is q
Ruby adds a new core class called Data to represent simple immutable value objects
Ruby adds a new core class called Data to represent simple immutable value objects Nov 22, 2022 Ruby 3.2 adds a new core class called Data to represent simple immutable value objects. The Data class helps define simple classes for value-alike objects that can be extended with custom methods. While the Data class is not meant to be used directly, it can be used as a base class for creating custom v
Dealing with Flaky Tests
Jason Swett asked on Twitter if anyone has an app with 2000+ tests that does not have a severe flaky test problem. I have two such apps, and I want to share the lengths I’ve gone to to make the tests not flaky. In a nutshell, you have to build and design for testability at all levels, plus ensure your tests are clear about what is the cause of a failure. Why Are Tests Flaky? In my experience, test
Introduction - Writing Interpreters in Rust: a Guide
Welcome! In this book we will walk through the basics of interpreted language implementation in Rust with a focus on the challenges that are specific to using Rust. At a glance, these are: A custom allocator for use in an interpreter A safe-Rust wrapper over allocation A compiler and VM that interact with the above two layers The goal of this book is not to cover a full featured language but rathe
WasmEdge
Bring the cloud-native and serverless application paradigms to Edge Computing. (module (type (;0;) (func (param i32) (result i32))) (func $fib (type 0) (param $n i32) (result i32) local.get $n i32.const 2 i32.lt_s if ;; label = @1 i32.const 1 return end local.get $n i32.const 2 i32.sub call $fib local.get $n i32.const 1 i32.sub call $fib i32.add return) (export "fib" (func $fib))) WasmEdge is a li
Tales of the M1 GPU - Asahi Linux
Hello everyone, Asahi Lina here!✨ marcan asked me to write an article about the M1 GPU, so here we are~! It’s been a long road over the past few months and there’s a lot to cover, so I hope you enjoy it! What’s a GPU?You probably know what a GPU is, but do you know how they work under the hood? Let’s take a look! Almost all modern GPUs have the same main components: A bunch of shader cores, which
GitHub - cnlohr/mini-rv32ima: A tiny C header-only risc-v emulator.
mini-rv32ima is a single-file-header, mini-rv32ima.h, in the STB Style library that: Implements a RISC-V rv32ima/Zifencei†+Zicsr (and partial su), with CLINT and MMIO. Is about 400 lines of actual code. Has no dependencies, not even libc. Is easily extensible. So you can easily add CSRs, instructions, MMIO, etc! Is pretty performant. (~450 coremark on my laptop, about 1/2 the speed of QEMU) Is hum
Need for speed: static analysis version
TL;DR: Semgrep has achieved remarkably fast scan times by prioritizing speed using methods like taint summaries and tree matching in OCaml. In addition, Semgrep’s design as a tool that searches for syntax makes it fast due to designs like purely textual single-file analysis, partial parsing, and optimizations like skipping files that cannot produce matches. Program analysis is an extremely interes
I am disappointed by dynamic typing
November 29, 2022 I am disappointed by dynamic typing They have potential to be more than "no static types", but that hasn't happened. Here's weird thing about me: I'm pro-dynamic types. This is weird because I'm also pro-formal methods, in fact teach formal methods as a career, which seems completely antithetical. So on one hand I teach people how to do static analysis, on the other I use languag
VS Code Sandboxing
Version 1.88 is now available! Read about the new features and fixes from March. Migrating VS Code to Process Sandboxing A win-win for security and the VS Code architecture November 28, 2022 by Benjamin Pasero, @BenjaminPasero Enabling the sandbox in Electron renderer processes is a critical requirement for secure and reliable Electron applications such as Visual Studio Code. The sandbox reduces t
Just In Time (JIT) Compilers - Computerphile
A look at why (under certain circumstances) JIT Compilers can be so much faster. Dr Laurence Tratt of KCL takes us through the details. More about Laurie: https://bit.ly/C_LaurenceTratt https://www.facebook.com/computerphile https://twitter.com/computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: https://bit.ly/nottscomputer
But what is a convolution?
Discrete convolutions, from probability to image processing and FFTs. Video on the continuous case: https://youtu.be/IaSGqQa5O-M Help fund future projects: https://www.patreon.com/3blue1brown Special thanks to these supporters: https://3b1b.co/lessons/convolutions#thanks An equally valuable form of support is to simply share the videos. Other videos I referenced Live lecture on image convolution
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Racketfest—Conference for Racket fans
GitHub - OCamlPro/dirdiff: Efficiently compute the differences between two directories
Compiling Brainfuck code - Part 3: A Cranelift JIT Compiler
Announcing circle: a Haskell client for Circle's REST API