michaelkrem's submissions

1.		Valkey-WASM – Redis running inside your Node process, no Docker (like PGlite) (github.com/michaelkremenetsky)
		3 points by michaelkrem 52 days ago \| past
2.		A Linux compatible kernel written in Zig that runs Linux binaries in the browser (github.com/michaelkremenetsky)
		3 points by michaelkrem 74 days ago \| past
3.		Strapkit – Node.js Compiled to WASM (strapkit.dev)
		2 points by michaelkrem 3 months ago \| past
4.		Thales – TypeScript compiler and JavaScript engine in Lean (github.com/jessealama)
		10 points by michaelkrem 4 months ago \| past
5.		JSIR: A High-Level IR for JavaScript (llvm.org)
		3 points by michaelkrem 5 months ago \| past
6.		Thread Safety Analysis in Clang (llvm.org)
		2 points by michaelkrem 7 months ago \| past
7.		Nvidia Bringing CUDA to RISC-V (phoronix.com)
		2 points by michaelkrem on July 20, 2025 \| past
8.		WebAssembly Memory64 in Chrome 133 (chromestatus.com)
		3 points by michaelkrem on Jan 12, 2025 \| past
9.		Direct Sockets API in Chrome 131 (chromestatus.com)
		200 points by michaelkrem on Nov 1, 2024 \| past \| 159 comments
10.		Show HN: Refeed – Open Source RSS Reader (refeedreader.com)
		6 points by michaelkrem on Feb 29, 2024 \| past \| 1 comment
11.		List of investigational attention deficit hyperactivity disorder drugs (wikipedia.org)
		1 point by michaelkrem on Jan 30, 2023 \| past
12.		Dopamine Promotes Effort by Biasing the Benefits versus Costs of Work (2020) (nih.gov)
		1 point by michaelkrem on Jan 30, 2023 \| past