Nov 14 2025 : How to Build a Personal Library That Will Last a Lifetime
nycresistor.com·1d
🧠Personal Knowledge Base
Flag this post
Why Zig and Qt Feels Like Doing the Impossible Right
dayvster.com·4d·
Discuss: Hacker News
🔗Concatenative Programming
Flag this post
Grokipedia on Elon Musk
grokipedia.com·1d·
Discuss: Hacker News
🕸️Knowledge Graphs
Flag this post
Bolt Graphics unveils Zeus GPU built on RISC-V and path tracing tech
theregister.com·2h·
Discuss: Hacker News
🖥️Modern Terminals
Flag this post
Building Better Software: Why Workflows Beat Code Every Time • Ben Smith & James Beswick • GOTO 2025
youtube.com·2d
🔄Reproducible Builds
Flag this post
Clojure Runs ONNX AI Models Now - Join the AI fun!
dragan.rocks·2d·
Discuss: Hacker News
🌳Context free grammars
Flag this post
How to organize your Rust tests
blog.logrocket.com·1d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Reasoning Models Reason Well, Until They Don't
arxiv.org·1d
🧮Constraint SMT
Flag this post
Today the Tech Industry Is the Oil Industry in a Hoodie
chrisbako.com·1d·
Discuss: Hacker News
🖥️Terminal Renaissance
Flag this post
Show HN: Pinpam, TPM2-backed pin authentication for Linux
github.com·1d·
Discuss: Hacker News
🔒Hardware Attestation
Flag this post
How to Search Beyond the Docs When Your Code Won't Work
dev.to·23h·
Discuss: DEV
🌳Incremental Parsing
Flag this post
22.00.0156 A nice JDex entry: 14.32+1Password
johnnydecimal.com·1d
📺VT100
Flag this post
JiuTian Chuanliu: A Large Spatiotemporal Model for General-purpose Dynamic Urban Sensing
arxiv.org·9h
🧭Content Discovery
Flag this post
UGAE: Unified Geometry and Attribute Enhancement for G-PCC Compressed Point Clouds
arxiv.org·1d
📐Geometric Hashing
Flag this post
Discovering Heuristics with Large Language Models (LLMs) for Mixed-Integer Programs: Single-Machine Scheduling
arxiv.org·9h
🧮SMT Solvers
Flag this post
Improving Human Verification of LLM Reasoning through Interactive Explanation Interfaces
arxiv.org·1d
Automated Theorem Proving
Flag this post
Convert any GitHub repo to coding puzzles
github.com·18h·
Discuss: Hacker News
Proof Automation
Flag this post
Unlock the Power of Sight: Choosing the Right Computer Vision Platform for Your AI Needs
dev.to·4h·
Discuss: DEV
🤖Advanced OCR
Flag this post
CodeSOD: A Truly Bad Comparison
thedailywtf.com·1d
🐚Shell Calculus
Flag this post