~lobsters | Bookmarks (1989)

First Come First Served: The Impact of File Position on Code Review

arxiv.org

Abstract: The most popular code review tools (e.g., Gerrit and GitHub) present the files to review...
Abstract: The most popular code review tools (e.g., Gerrit and GitHub) present the files to review sorted in alphabetical order. Could this choice or, more generally, the relative position in which a file is presented bias the outcome of code reviews? We investigate this hypothesis by triangulating complementary evidence in a two-step study. Comments

pdf practices
1
Practical parsing with PEG and cpp-peglib - Bert Hubert's writings

berthub.eu

A very practical introduction to Parsing Expression Grammars (PEGs), in which we’ll build a non-trivial parser...
A very practical introduction to Parsing Expression Grammars (PEGs), in which we’ll build a non-trivial parser using the most excellent cpp-peglib single-include C++ library. Post includes links to PEG libraries for Go, Rust and Python, and a ready to run GitHub repository of all examples. If I’ll ever stop programm...

compilers
1
Options for accessing Llama 3 from the terminal using LLM

simonwillison.net

22nd April 2024 Llama 3 was released on Thursday. Early indications are that it’s now the...
22nd April 2024 Llama 3 was released on Thursday. Early indications are that it’s now the best available openly licensed model—Llama 3 70b Instruct has taken joint 5th place on the LMSYS arena leaderboard, behind only Claude 3 Opus and some GPT-4s and sharing 5th place with Gemini Pro and Claude 3 Sonnet. But unlike...

ai
1
Automated Stitching of Chip Images « bunnie's blog

bunniestudios.com

hardware
1
Secure Boot & TPM-backed Full Disk Encryption on NixOS

jnsgr.uk

For the last decade (whoa…) or so, I’ve defaulted to using LUKS-encrypted drives for my machines....
For the last decade (whoa…) or so, I’ve defaulted to using LUKS-encrypted drives for my machines. In general, I configure an unencrypted boot/EFI partition, then place either an ext4 or btrfs filesystem inside a LUKS container which is used for the root partition.Some of my machines also have extra disks: my desktop...

linux nix security
1
0110.be - Making a flute controlled mouse

0110.be

a11y hardware
1
GitHub - dahlia/logtape: Simple logging library with zero dependencies for Deno/Node.js/Bun/browsers

github.com

javascript show web
1
The only two log levels you need are INFO and ERROR | nicole@web

ntietz.com

Logging is a critical tool for maintaining any web application, and yet we're getting it wrong....
Logging is a critical tool for maintaining any web application, and yet we're getting it wrong. With great logs, you can see what your application is doing. And without them? Things can be broken left and right without you ever finding out. Instead, you wonder why your customers don't come back, and shrug, and blame...

programming
1
What are you doing this week? | Lobsters

lobste.rs

What are you doing this week? Feel free to share! Keep in mind it’s OK to...
What are you doing this week? Feel free to share! Keep in mind it’s OK to do nothing at all, too.

ask programming
1
Are aarch64 atomics really this sensitive? (A: No) (eighty-twenty news)

eighty-twenty.org

assembly mac osdev
1
Address Sanitizer for Bare-metal Firmware

googleblog.com

Posted by Eugene Rodionov and Ivan Lozano, Android Team With steady improvements to Android userspace and...
Posted by Eugene Rodionov and Ivan Lozano, Android Team With steady improvements to Android userspace and kernel security, we have noticed an increasing interest from security researchers directed towards lower level firmware. This area has traditionally received less scrutiny, but is critical to device security. We...

security
1
101: Matt Godbolt | Microarch Club

microarch.club

audio historical
1
A Deeper Look Inside PostgreSQL Visibility Check Mechanism - Highgo Software Inc.

highgo.ca

Simply put, the visibility refers to whether a row of data (Heap Tuple by default) should...
Simply put, the visibility refers to whether a row of data (Heap Tuple by default) should be displayed to the user in certain states, backend processes, or transactions. For example, A user changes a data record from ‘A’ to ‘B’ via UPDATE PostgreSQL handles this by INSERTing a new record call ‘B’ while marking recor...

databases
1
The Windows Registry Adventure #1: Introduction and research results

googleprojectzero.blogspot.com

Part 2 at https://googleprojectzero.blogspot.com/2024/04/the-windows-registry-adventure-2.html Comments

security windows
1
Release 0.0.7 · badkeys/badkeys

github.com

cryptography security
1
The Future of Ruby and Rails in the Age of AI

medium.com

ai future technology programming ruby ruby on rails
3
Tech Notes: Cross compiling C/Rust to win32, again

neugierig.org

rust windows
1
Shared libs, rpath and the runtime linker

carlosrdrz.dev

linux
1
C&C - Solving Recursive Equations

bitbucket.io

Posted on August 14, 2015 I wanted to write about something related to all the stuff...
Posted on August 14, 2015 I wanted to write about something related to all the stuff I’ve been reading for research lately. I decided to talk about a super cool trick in a field called domain theory. It’s a method of generating a solution to a large class of recursive equations. In order to go through this idea we’v...

math
1
open letter to the NixOS foundation

save-nix-together.org

Editor’s note:This letter is the work of a number of anonymous contributors. I have collected, and...
Editor’s note:This letter is the work of a number of anonymous contributors. I have collected, and hosted, this letter in the hope of giving the growing majority of concerned users a venue to better communicate their concerns to the foundation board. Whether or not you agree, I ask that you take some time to read an...

nix
2
Why you shouldn't run a BSD on a PC

sapka.me

freebsd netbsd openbsd
2
Forge: A Tool to Teach Formal Methods

brownplt.org

Posted on 21 April 2024. For the past decade we have been studying how best to...
Posted on 21 April 2024. For the past decade we have been studying how best to get students into formal methods (FM). Our focus is not on the 10% or so of students who will automatically gravitate towards it, but on the “other 90%” who don’t view it as a fundamental part of their existence (or of the universe). In p...

formalmethods
2
AIQUAL.80[AM,DBL]1 - www.SailDart.org

saildart.org

ai formalmethods
1
The Design of Everyday APIs

roguelynn.com

api apis human-centered-design practices python
2