Lean4 Macros for Implementing Custom Quantifiers
jamesoswald.dev·13h·
Discuss: Hacker News
🔍Type Checkers
Flag this post
Building a personal CRM in Lovable
marcabraham.com·1h
🤖AI Coding Tools
Flag this post
Leaving PyTorch and Meta
soumith.ch·3d·
Discuss: Hacker News, Hacker News, r/programming
📜TorchScript
Flag this post
Moving from Django DRF to Ninja API / Pydantic
devblog.kogan.com·3h
📦uv
Flag this post
Which Chip Is Best?
blog.confident.security·3d·
Discuss: Hacker News
⏱️CUDA Events
Flag this post
A Beginner's Guide to Debugging Your Smart Home Appliances
dev.to·1h·
Discuss: DEV
🔍Type Checkers
Flag this post
MCUboot: Bootup Journey
dev.to·2d·
Discuss: DEV
📈GPU Occupancy
Flag this post
How To Setup MonoGame for F#
dev.to·2d·
Discuss: DEV
🔓Open-source
Flag this post
cargo zigbuild
github.com·6d·
Discuss: r/rust
📦uv
Flag this post
Research Bits: Nov. 10
semiengineering.com·1h
⏱️Benchmarking
Flag this post
Jeff Su: 4 ChatGPT Hacks that Cut My Workload in Half
dev.to·9h·
Discuss: DEV
🤖AI Coding Tools
Flag this post
My favorite Linux desktop environment is finally getting a feature requested 20 years ago
xda-developers.com·3h
🖥️Terminal Multiplexers
Flag this post
Open source executable recipes for Claude, Codex and others.
reddit.com·3d·
Discuss: r/ClaudeAI
🤖AI Coding Tools
Flag this post
This is the Linux distro I moved my non-tech family members to
xda-developers.com·2d
🖥️Terminal Multiplexers
Flag this post
Getting started with SQLite using C#/Microsoft Visual Studio
dev.to·1d·
Discuss: DEV
🌳Git Internals
Flag this post
Working on a digital vault, looking for advice or examples (zero-knowledge, cryptography, encryption)
reddit.com·2d·
Discuss: r/rust
🦀Rust
Flag this post
Upgrades
reddit.com·2d·
Discuss: r/homelab
🔍Nsight
Flag this post
GIGABYTE's new Ryzen X3D motherboard boosts gaming performance by 25%
tweaktown.com·5h
⏱️Benchmarking
Flag this post
Building a Decision-Making CLI Tool in Rust: "should-i"
dev.to·1d·
Discuss: DEV
💻CLI Tools
Flag this post
2025 Component Abuse Challenge: Glowing Neon From a 9 V Relay
hackaday.com·1d
🔍Type Checkers
Flag this post