Lean4 Macros for Implementing Custom Quantifiers
⌨Emacs
Flag this post
Show HN: I'm a pastor/dev and built a 200M token generative Bible ($0.67/report)
✏Sketchnotes
Flag this post
What is /dev/null in Linux?
linuxtldr.com·10h
⌨Emacs
Flag this post
How to reverse engineer USB HID on Linux
✏Sketchnotes
Flag this post
The (lazy) Git UI You Didn't Know You Need
bwplotka.dev·16h
⌨Emacs
Flag this post
A Pragmatic Leap
jxself.org·10h
⌨Emacs
Flag this post
Auto-sizing images in Kitty (if it fits it sits?)
babbagefiles.xyz·1d
⌨Emacs
Flag this post
Derek Elkins: Umbral Calculus
hedonisticlearning.com·15h
✏Sketchnotes
Flag this post
Lesson 11 - Test and server-side rendering
infinitecanvas.cc·1h
⌨Emacs
Flag this post
This boring Obsidian plugin is the most useful part of my setup
xda-developers.com·17h
✏Sketchnotes
Flag this post
Understanding Claude Code's Full Stack: MCP, Skills, Subagents, and Hooks Explained | alexop.dev
⌨Emacs
Flag this post
7 unusual programming languages that are worth taking a look at
howtogeek.com·1d
⌨Emacs
Flag this post
Giving C a Superpower: custom header file (safe_c.h)
hwisnu.bearblog.dev·1d
⌨Emacs
Flag this post
Loading...Loading more...