Lean4 Macros for Implementing Custom Quantifiers
Flag this post
What's up Python? You already know :)
bitecode.dev·1h
Flag this post
The 2XKO BoxJam Slam Day 3 - The Tourney!
Flag this post
I want to record playtesting your game for 1 hour with commentary for Youtube
🎯Game Design
Flag this post
Build a dual-mode Serverless worker
🐧Linux
Flag this post
Weeknotes 2025-11-09 Typhoon Uwan
roytang.net·11h
Flag this post
Cheap infra options for developers starting out
Flag this post
Trinity R14.1.5 Desktop Environment Released With Multi-Monitor Tiling
linuxiac.com·6h
🐧Linux
Flag this post
I can finally forget about Photoshop on Linux, and it's thanks to this app
xda-developers.com·10h
🐧Linux
Flag this post
[Review] Wurkkos HD03 clip flashlight with buck driver, 2 types of beam, RGB, magnet and more!
⌨️Mechanical Keyboards
Flag this post
Legendary Windows Pinball developer rescues 200lb magnetic disc drive from the 1980s – requires a scissor lift to move it, only has 622 MB of storage
tomshardware.com·3d
🕹️Retro Gaming
Flag this post
Caching Strategy for RESTFUL API
🏠Self-Hosting
Flag this post
PSA. There are multiple r240 chassis.
💾Vintage Computers
Flag this post
My new project: Coz.jp
🏠Self-Hosting
Flag this post
A Trio of MakerBeam Cases
⌨️Mechanical Keyboards
Flag this post
Loading...Loading more...