MCAP - container file format for log data

Comments

via icefox@users.lobste.rs (icefox)

mcap.dev

MCAP (pronounced "em-cap") is an open source container file format for multimodal log data. It supports multiple channels of timestamped pre-serialized data, and is ideal for use in pub/sub or robotics applications.

Intel Meteor Lake Architecture https://hothardware.com/reviews/intel-meteor-lake-architecture

HotHardware

Meteor Lake Architecture Revealed: AI, Tiles And The Future Of Intel Core CPUs

Intel’s Meteor Lake architecture for mobile PCs will be arriving soon and to say that Meteor Lake is the most important shift in Intel’s design and

Passkeys are generally available https://github.blog/2023-09-21-passkeys-are-generally-available/

The GitHub Blog

Passkeys are generally available

All GitHub.com users can now register a passkey to sign in without a password.

flameshow: A terminal Flamegraph viewer

Comments

via laixintao@users.lobste.rs (laixintao)

GitHub

GitHub - laixintao/flameshow: A terminal Flamegraph viewer.

A terminal Flamegraph viewer. Contribute to laixintao/flameshow development by creating an account on GitHub.

https://github.com/travisgoodspeed/gbrom-tutorial

通过拍摄ROM的显微照片，还原其中包含的固件二进制代码

GitHub

GitHub - travisgoodspeed/gbrom-tutorial: Tutorial for extracting the GameBoy ROM from photographs of the die.

Tutorial for extracting the GameBoy ROM from photographs of the die. - travisgoodspeed/gbrom-tutorial

Platform that enables Windows driver development in Rust https://github.com/microsoft/windows-drivers-rs

GitHub

GitHub - microsoft/windows-drivers-rs: Platform that enables Windows driver development in Rust. Developed by Surface.

Platform that enables Windows driver development in Rust. Developed by Surface. - GitHub - microsoft/windows-drivers-rs: Platform that enables Windows driver development in Rust. Developed by Surf...

今日午餐：燃面

Lean, Coq and other proof assistants: Visualising proofs as trees https://lakesare.brick.do/lean-coq-isabel-and-their-proof-trees-yjnd2O2RgxwV

lakesare.brick.do

Lean/Coq/Isabel and Their Proof Trees

This week we (me & Anton Kovsharov) published Paperproof, a Gentzen-tree-like proof interface for Lean 4. In this post I'll review proof visualisations from ot...

Taming the OOM killer [LWN.net]

Comments

via weakforce@users.lobste.rs (weakforce)

The State of Async Rust

Comments

via robey@users.lobste.rs (robey)

Corrode Rust Consulting

The State of Async Rust: Runtimes | corrode Rust Consulting

Recently, I found myself returning to a compelling series of blog posts titled
Zero-cost futures in Rust
by Aaron Turon about what would become the foundation of Rust’s async ecosyste…

Cache headers could probably be more aggressive https://www.macarthur.me/posts/more-aggressive-cache-headers

Alex MacArthur

Your Cache Headers Could Probably be More Aggressive

It's common for modern hosts to cache static assets in a flexible, but not most optimal way. Let's explore why that is and what we can do to push cache performance (for some assets) even further.

上海地铁啥时候能整顿一下隧道区间内的手机信号质量

神奇 code format

办公室内大量同事咳嗽

危

Install Windows the Arch Linux Way https://christitus.com/install-windows-the-arch-linux-way/

Christitus

Install Windows the Arch Linux Way

Having Fun with Technology

https://github.com/goldsborough/clang-expand

Point it at a function invocation in your source code and tell it where to look for stuff, and it will find the correct definition of that particular (template) function, method, operator overload or even constructor and "expand" it into the current scope.

GitHub

GitHub - goldsborough/clang-expand: :dragon: A clang tool for happy refactoring without source-code gymnastics

:dragon: A clang tool for happy refactoring without source-code gymnastics - goldsborough/clang-expand