Designing an efficient memory layout in Rust with unsafe & unions, or, an overlong guide in avoiding dynamic dispatch

Comments

via alonely0.github.io via crmsnbleyd

alonely0.github.io

Designing an efficient memory layout in Rust with unsafe & unions, or, an overlong guide in avoiding dynamic dispatch

Automatic checking of cfgs at compile-time

Comments

via blog.rust-lang.org via sanxiyn

blog.rust-lang.org

Automatic checking of cfgs at compile-time | Rust Blog

Empowering everyone to build reliable and efficient software.

Speeding up ELF relocations for store-based systems https://fzakaria.com/2024/05/03/speeding-up-elf-relocations-for-store-based-systems.html

Farid Zakaria’s Blog

Speeding up ELF relocations for store-based systems

Since the introduction of Nix and similar store-based systems such as Guix or Spack, I have been fascinated about finding improvements that take advantage of the new paradigms they introduce. Linux distributions are traditionally dynamic in nature, with shared…

A High-Level Technical Overview of Homomorphic Encryption https://www.jeremykun.com/2024/05/04/fhe-overview/

Math ∩ Programming

A High-Level Technical Overview of Fully Homomorphic Encryption

About two years ago, I switched teams at Google to focus on fully homomorphic encryption (abbreviated FHE, or sometimes HE). Since then I’ve got to work on a lot of interesting projects, learning along the way about post-quantum cryptography, compiler design…

Flying planes in Microsoft Flight Simulator with a JavaScript autopilot (2023) https://pomax.github.io/are-we-flying/

are-we-flying

Flying planes with JavaScript

Writing auto-pilots in JavaScript for MSFS

A History of C Compilers – Part 1: Performance, Portability and Freedom https://thechipletter.substack.com/p/a-history-of-c-compilers-part-1-performance

Substack

Freedom and Portability

Let's talk compilers with part one of a whistle stop tour of their history

查漏补缺

Lancern's Treasure Chest

Photo

今日活动

Lancern's Treasure Chest

🔩 Sticker

祝各位订户五一假期快乐！✈️✈️✈️

Why SQLite Uses Bytecode https://sqlite.org/draft/whybytecode.html

A leadership crisis in the Nix community https://lwn.net/SubscriberLink/970824/0d89c6d83efad1e0/

Zed Decoded: Rope and SumTree https://zed.dev/blog/zed-decoded-rope-sumtree

zed.dev

Rope & SumTree

From the Zed Blog: In this episode of Zed Decoded, Thorsten asks the founders — Nathan, Max, Antonio — about the data structures at the heart of Zed: Rope and SumTree.

via Cascade Kobayashi

TypeScript: Branded Types https://prosopo.io/articles/typescript-branding/

Prosopo

TypeScript: Branded Types 🔧

How to brand TypeScript types for norminal typing, providing an automated and easy-to-use way of making a type nominal.

Borrow Checking, RC, GC, and the Eleven () Other Memory Safety Approaches https://verdagon.dev/grimoire/grimoire

今日修水管

最近一两周发现家里的水压出奇地低。我住在一栋电梯楼内的三层，照理水压不应该低。刚开始以为是市政供水的问题，但低水压情况持续了好几天没有缓解。遂前往我所在楼层的水表间尝试定位并修复该问题。

在家中水龙头全部关闭的情况下，水表没有走表。这说明家庭管路内没有漏水等情况。

我所在楼层共有四户住户，四根入户水管以并联形式直接连接到单元楼内的一根主供水管道上。在邻居用水时观察邻居的水表走表情况，发现其走表速度明显高于我用水时的走表速度。说明问题出在我家的入户水管上。这一小段入户水管上有且仅有水表以及三个阀门。这四个设备按照从上游到下游排列分别为：阀门 A、阀门 B、阀门 C 和水表。其中阀门 A 和阀门 C 上直接有可供手拧的阀门开关。尝试分别将这两个阀门拧到最大，但问题并没有消失。于是将注意力集中于阀门 B 。

阀门 B 上没有可供手拧的开关，有且仅有一个螺栓和一个压力表。经检查，在不用水时，该压力表显示读数与邻居的压力表读数一致。该读数应该就是单元楼主供水管道内的压力值。在用水时，我家的压力表读数为 0，而在邻居用水时其压力表读数并不为 0 。

上网查阅相关资料可知，阀门 B 是一个减压阀，相关资料指出减压阀上的螺栓可用于调节输出压力。遂翻出扳手等工具相应调节减压阀的螺栓。经过反复调节后，家中的水压恢复了正常。因此问题的原因是我家的减压阀因某种原因被拧了。