SAT problems are kind of cool
blog.karanjanthe.me·3d·
Discuss: Hacker News
🧩SAT Solvers
Paper Highlights - Do Password Managers Improve Password Hygiene?
blog.passwordresearch.com·19h·
Discuss: www.blogger.com
🔗Hash Functions
On Frame Messages
furretnz.bearblog.dev·20h
⚖️Inference Rules
Tell HN: Protonmail support reads your emails in unsuspension process
news.ycombinator.com·7h·
Discuss: Hacker News
💬Error Messages
A gentle introduction to Generative AI: Historical perspective
medium.com·20h·
Discuss: Hacker News
📊LR Parsing
Protobuf: Rust Generated Code Guide
protobuf.dev·4d
🦀Rust Macros
EFI stub: [Firmware Bug] LoadOptions" warning on Dell laptops
reddit.com·12h·
Discuss: r/archlinux
💬Error Messages
Unknown file extensions in Konami PS2 game
reddit.com·13h·
Discuss: r/gamedev
📝Rope Editors
Unable to get Treesitter Injections working with Rust and SQL
reddit.com·1d·
Discuss: r/neovim
⚙️TOML Parsers
Transactions and ThreadLocal in Spring
dev.to·2d·
Discuss: DEV
🔗Concurrency Primitives
Built a “code-first + visual” ETL/ELT Pipeline in Go — feedback wanted from data folks
reddit.com·3h·
Discuss: r/golang
🎮Language Ergonomics
Local LLM on iPhone 17 with RAG —unrealistic or can I just not find it?
reddit.com·10h·
Discuss: r/LocalLLaMA
💪ARM64 Backend
A section of the App I am working on. Any advice or criticism is welcome.
reddit.com·1d·
Discuss: r/reactjs
💬REPL Design
What can't you do with Rust but it's fine with Go ?
reddit.com·2d·
Discuss: r/rust
⚙️TOML Parsers
Dimension reduction for efficient Bayesian inference of high-dimensional quantity of interest problems with parametric and nonparametric uncertainties
sciencedirect.com·2d
🔍ML Language
CuKEM: A Concise and Unified Hybrid Key Encapsulation Mechanism
eprint.iacr.org·3d
🔗Hash Functions
Reproducibility Study of "XRec: Large Language Models for Explainable Recommendation"
arxiv.org·2d
🪜Recursive Descent
Automated Fault Prediction and Residual Lifetime Estimation in Cryogenic Pumps via Dynamic Bayesian Network (DBN)
dev.to·7h·
Discuss: DEV
🚂Error Propagation
Beyond Vector Search: Building a RAG That *Actually* Understands Your Data
dev.to·2d·
Discuss: DEV
📋JSON Parsing
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
arxiv.org·4d
🔍ML Language