From Languages to Language Sets

Show HN: TypeScript as a proof assistant for intuitionistic propositional logic

Xfinity XB3 hardware mod: Disable WiFi and save 2 watts

A C implementation of defer using `goto`

Make Ubuntu packages 90% faster by rebuilding them

Show HN: I made a C program to create a vanity SHA-1 hash for a text file

How to Use a TPM on Linux

Qt 6 for C & Zig

Svelte5: A Less Favorable Vue3

Simulating a quantum computer in 200 lines of code

Roc rewrites the compiler in Zig

How I implement SSA form

Show HN: Python micro event loop library (~250 LOC)

Unexpected uses of the GF2P8AFFINEQB bit matrix multiply instruction

Just put together a quick reference comparison of for...in loop and Object.keys()

Generic Bitfield I had fun implementing

Web complaints: exposing all the dirt regarding current web technologies

I created a fairly extensive cheat sheet for scripting Sieve mail filters. Here's a link to the Gist if anyone is interested.

Feedback on Coding Logic

upgradeGolang gist

Using the Ziggurat Method for Sampling Random Coordinates From a Unit Circle

A phishing attack involving g.co, Google's URL shortener

New questions on Stack Overflow are down 77% compared to 2022

0-click deanonymization attack targeting Signal, Discord, other platforms

Executing AssemblyScript directly, and compiling to JavaScript with tsc, Deno, and Bun (and executing WASM directly with bun)

I ask this chess puzzle to every new LLM

Async Iterator over an `IDBDatabase`

recursive expansions

Reading stdin in Static Hermes

TypeScript .ts file execution benchmarks for Deno, Bun, Node.js

More →