A question about arbitrary values in USB registry keys
thinkdfir.com·6h
📊perf Tools
Flag this post
When the system stops trying
longevity.technology·2d
💾Persistent Heaps
Flag this post
I thought Google Keep was enough, then I paired it with Gemini
androidpolice.com·6h
💾Minimal Databases
Flag this post
Nice Sunday, cooling down for Thanksgiving & even colder next weekend
ketv.com·13h
🧮Combinator Calculus
Flag this post
How to Long Game
📝Rope Editors
Flag this post
<p>**Abstract:** This paper introduces a novel system for automating the formalization and verification of proofs within Homotopy Type Theory (HoTT). Leveraging...
freederia.com·1d
⚖️Inference Rules
Flag this post
After 15 years, I have finally reached the point where I use Outlook as my build pipeline
📚Self-Documenting Code
Flag this post
How to Write a Good AI Prompt
devontechnologies.com·5d
💬Interactive REPLs
Flag this post
Why Building Agents Is Hard
💬Interactive REPLs
Flag this post
Automate, automate it all
lesswrong.com·4d
🗑️Dead Code
Flag this post
The Secret Life of Python: Bytecode Secrets - What Python Really Runs
📜Bytecode Interpreters
Flag this post
Introducing Qeltrix: A Content-Derived, Parallel Streaming Obfuscation Container
🛡️Security Type Systems
Flag this post
Introducing Styleframe — a new way to write type-safe, composable, future-proof CSS in TypeScript
🌈Gradual Languages
Flag this post
Silent Signals: Hiding Red Team Operations in AI Noise by Arvind Sundararajan
🛡️Security Type Systems
Flag this post
The Boss Needs Help
jro.sg·1d
🛡️Parser Security
Flag this post
Loading...Loading more...