Running your own HashDB lookup
cyber.wtfΒ·1d
βœ…Archive Checksums
Easiest way to run LLMs locally
sitepoint.comΒ·18hΒ·
Discuss: Hacker News
πŸ’»Local LLMs
Modernize fraud prevention: GraphStorm v0.5 for real-time inference
aws.amazon.comΒ·18h
🌳Archive Merkle Trees
Dubernetes: Vibe Coding a Dumb Container Orchestrator
blog.esc.shΒ·18hΒ·
Discuss: Hacker News
🏠Homelab Orchestration
SMS: Self-supervised Model Seeding for Verification of Machine Unlearning
arxiv.orgΒ·11h
🧠Machine Learning
Building High-Performance Lock-Free Data Structures in Go for Concurrent Systems
dev.toΒ·23hΒ·
Discuss: DEV
⚑Hardware Transactional Memory
MuPlon: Multi-Path Causal Optimization for Claim Verification through Controlling Confounding
arxiv.orgΒ·11h
🎯Performance Proofs
The Immutable Key Mystery: What Makes a Dictionary Key Valid
dev.toΒ·2dΒ·
Discuss: DEV
πŸ—„οΈType-safe Archives
RoRecomp: Enhancing Reasoning Efficiency via Rollout Response Recomposition in Reinforcement Learning
arxiv.orgΒ·11h
⚑Incremental Computation
Thinking-Free Policy Initialization Makes Distilled Reasoning Models More Effective and Efficient Reasoners
arxiv.orgΒ·11h
πŸ’»Local LLMs
Indexical Collapse: How Predictive Systems Make Authority Without Reference
dev.toΒ·1dΒ·
Discuss: DEV
πŸ“ƒManuscript Tokenization
How to Build Effective Agentic Systems with LangGraph
towardsdatascience.comΒ·1d
⚑Proof Automation
Socratic-Zero : Bootstrapping Reasoning via Data-Free Agent Co-evolution
arxiv.orgΒ·1d
πŸ”²Cellular Automata
Your thoughts tell who you are: Characterize the reasoning patterns of LRMs
arxiv.orgΒ·1d
πŸ’»Local LLMs
Why LLMs Fail Without Human-Crafted Context
dev.toΒ·5hΒ·
Discuss: DEV
πŸ”—Constraint Handling
Module 3 β€” Derived Digital Identities and Interoperability
dev.toΒ·12hΒ·
Discuss: DEV
πŸ”PKI Archaeology
MathBode: Frequency-Domain Fingerprints of LLM Mathematical Reasoning
arxiv.orgΒ·1d
πŸ‘‘Coq Tactics
Type-Less yet Type-Aware Inductive Link Prediction with Pretrained Language Models
arxiv.orgΒ·11h
πŸ•ΈοΈGraph Embeddings
Conditional Advantage Estimation for Reinforcement Learning in Large Reasoning Models
arxiv.orgΒ·1d
πŸ’»Local LLMs