Two's complement integers with only sign bit set should be a trap representation (social.belkadan.com)

Screenshot of social.belkadan.com: Two's complement integers with only sign bit set should be a trap representation

First screen, captured 2 years ago.

Looks similar

Screenshot of kobzol.github.io: Tokio and Prctl = Nasty Bug

Tokio and Prctl = Nasty Bug (kobzol.github.io)

190 points by ingve 1 year ago | 61 comments

Screenshot of bsd.network: OpenBSD 8.0 release will have inteldrm/radeondrm/amdgpu drivers from Linux 6.18

OpenBSD 8.0 release will have inteldrm/radeondrm/amdgpu drivers from Linux 6.18 (bsd.network)

169 points by doener 7 days ago | 39 comments

Mastodon post by Bryan Steele previewing OpenBSD 8.0 changes, including Clang/LLVM 22, sparc64 Clang switch, and DRM graphics drivers updated to Linux 6.18.

openbsd drm-drivers clang llvm

Screenshot of davecturner.github.io: TLA+ in Isabelle/HOL

TLA+ in Isabelle/HOL (davecturner.github.io)

71 points by kalaracey 2 years ago | 2 comments

Screenshot of shkspr.mobi: Please stop inventing new software licences (2020)

Please stop inventing new software licences (2020)(shkspr.mobi)

116 points by edent 2 years ago | 116 comments

Screenshot of mastodon.gamedev.place: The least interesting part about AVX-512 is the 512 bits vector width

The least interesting part about AVX-512 is the 512 bits vector width (mastodon.gamedev.place)

176 points by luu 3 years ago | 90 comments

Screenshot of mabez.dev: Mabez Rust on Espressif chips – Q4 update

Mabez Rust on Espressif chips – Q4 update (mabez.dev)

41 points by childintime 2 years ago | 11 comments

Looks similar

Tokio and Prctl = Nasty Bug(kobzol.github.io)

OpenBSD 8.0 release will have inteldrm/radeondrm/amdgpu drivers from Linux 6.18(bsd.network)

TLA+ in Isabelle/HOL(davecturner.github.io)