Magnus Therning: Making a theme based on modus
magnus.therning.org·17h
🔠Terminal Fonts
Flag this post
Codeminer42 Dev Weekly #86
blog.codeminer42.com·1d
🎯Gradual Typing
Flag this post
Replacing my old desktop, a high-end Linux PC
boyter.org·6d
🖥️Terminal Renaissance
Flag this post
PD Stepper: A self-contained USB-C power delivery hat for stepper motors
🔌Single Board PC
Flag this post
Show HN: XML-Lib – An over-engineered XML workflow with guardrails and proofs
⚡Proof Automation
Flag this post
Autobiasing Event Cameras for Flickering Mitigation
arxiv.org·3d
🎬WebCodecs
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·3d
👑Coq Tactics
Flag this post
D7VK Aims To Deliver Direct3D 7 Atop Vulkan
phoronix.com·1d
🎯Emulator Accuracy
Flag this post
On the Structure of Floating-Point Noise in Batch-Invariant GPU Matrix Multiplication
arxiv.org·4d
📐Error Bounds
Flag this post
NVIDIA H200 GPU Server Explained: Performance, Speed, and Scalability Like Never Before
🖥️Terminal Renaissance
Flag this post
FreeBSD added to OCI Runtime Specification v1.3
discoverbsd.com·3d
🐡OpenBSD
Flag this post
Loading...Loading more...