A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers. - magmide/magmide

Getting started by poking around the game blindly until something hopefully starts making sense

The new AmpereOne CPU will be Ampere's PCIe Gen5 and DDR5 CPU that abandons standard Arm Neoverse cores in favor of custom designed Arm cores

Here is what might possibly be my single favorite song in the world:

Create notes, tasks, databases, and chats that only you can access. Your data stays on your device — fully owned, secure, and private. Free to start.

The creator of the world's most popular Linux distro talks candidly about his goals, his successes and his nightmares.

It’s not what you think.

To protect our advocacy work against future harassment from the Minnesota licensing board, Strong Towns President Charles Marohn is retiring as a professional engineer.

What did whiteboards ever do to you?

The InfoSec community is highly active on Twitter. The platform is, among other things, used is for sharing malware and phishing URLs…

Science News, Physics, Science, Philosophy, Philosophy of Science

Anyone with a 3D printer can make a new twist on the oldest type of TV

agi pic viewer. Contribute to eviltrout/agi-upscale development by creating an account on GitHub.

Exposure of a fake Chinese tube amplifier Nobsound MS-10D MKII. What do professionals think? I disassembled a Nobsound MS-10D MKII and found it was an imitation of a tube amp. An empty box was attached on the top of the amp, that pretends to look like a real…

Take a closer look at How Qantas Ferried an Engine on the Wing of a 747, learn more about flight tracking and get the latest aviation news with Flightradar24.

It is both illiberal and impractical

What is a Bloom Filter? A Bloom filter is a probabilistic data structure. It tells you if an element is in a set or not in a very fast and memory-efficient way. A Bloom filter can tell if an element is not in the set (“being 100% sure”) or that it may be…