Lean4 Macros for Implementing Custom Quantifiers
📦Serde
Flag this post
Porting a UWP email client to cross‑platform with Uno: IMAP sync, Proton‑compatible crypto (C#)
🔧Abseil
Flag this post
One Simple Mistake, Thousands at Risk
🐝Cilium
Flag this post
Managing local stack in Windows.
🏠Self-hosting
Flag this post
🦓 The Tale of the Humbled Process Engineer — Episode I: The Pattern of the Chameleons 🦎
👁️Phenomenology
Flag this post
Network and Risk Analysis of Surety Bonds
arxiv.org·2h
🕸️Graph Theory
Flag this post
Automated Kinaset Orchestration via Dynamic Bayesian Network for Enhanced Kinetochore Assembly
🧬Computational Biology
Flag this post
Stories
📖Interactive Fiction
Flag this post
Confidentiality in a Card-Based Protocol Under Repeated Biased Shuffles
arxiv.org·1d
#️⃣Hash Tables
Flag this post
GHOST: Solving the Traveling Salesman Problem on Graphs of Convex Sets
arxiv.org·2h
📐Computational Geometry
Flag this post
My two cents on the usage limit
📊Perf
Flag this post
Sticky Notes, Big Dreams: My Masa Son Moment (and Why You Should Steal It)
📚Technical Writing
Flag this post
Provable Benefit of Curriculum in Transformer Tree-Reasoning Post-Training
arxiv.org·2h
💬Prompt Engineering
Flag this post
DRAGON: Guard LLM Unlearning in Context via Negative Detection and Reasoning
arxiv.org·2h
🌳Tree-sitter
Flag this post
Tech With Tim: OpenAI’s New Agent Builder is Insane - Full Tutorial
💬Prompt Engineering
Flag this post
Loading...Loading more...