OTW - Bandit Level 4 to Level 5
tbhaxor.com¡1d
🔧KAITAI
Security Through Intentional Redundancy
commaok.xyz¡12h¡
Discuss: Lobsters, Hacker News
🔐CBOR
NPM Supply Chain Malware with Self-Replicating Behaviour
safedep.io¡7h¡
Discuss: Hacker News
📦Package Managers
Guys, Table driven tests rocks
reddit.com¡9h¡
Discuss: r/golang
🔍Concolic Testing
From Legal Documents to Knowledge Graphs
neo4j.com¡3d¡
Discuss: Hacker News
📋Document Grammar
Logic Engines: Building Smarter AI with State-Based Truth Tables by Arvind Sundararajan
dev.to¡22h¡
Discuss: DEV
🔧Hardware Verification
Death to Type Classes
jappie.me¡4d¡
Discuss: Hacker News, r/programming
🧠Lisp Dialects
Beyond the Hype: Why Your AI Assistant Might Be Sabotaging Your Architecture
medium.com¡1d¡
Discuss: Hacker News
🌐Protocol Synthesis
California Wildfire Inventory (CAWFI): An Extensive Dataset for Predictive Techniques based on Artificial Intelligence
arxiv.org¡10h
🧠Intelligence Compression
AQUA: Attention via QUery mAgnitudes for Memory and Compute Efficient Inference in LLMs
arxiv.org¡10h
💻Local LLMs
Choosing Rust for LLM-generated code
runmat.org¡3d¡
Discuss: Hacker News
🦀Rust Macros
Secure Semantic Communication over Wiretap Channels: Rate-Distortion-Equivocation Tradeoff
arxiv.org¡10h
ℹ️Information Theory
Automated Test Generation with Custom Claude Commands: Architecting Scalable Testing for Modern Node.js Applications
dev.to¡17h¡
Discuss: DEV
🔍Concolic Testing
Reasoned Safety Alignment: Ensuring Jailbreak Defense via Answer-Then-Check
arxiv.org¡10h
💻Local LLMs
Issue 489
haskellweekly.news¡5d¡
Discuss: Hacker News
🔗Functional Compilers
Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
arxiv.org¡1d
🎯Performance Proofs
The Hierarchical Morphotope Classification: A Theory-Driven Framework for Large-Scale Analysis of Built Form
arxiv.org¡1d
🏺Computational Archaeology
HalluField: Detecting LLM Hallucinations via Field-Theoretic Modeling
arxiv.org¡10h
🧠Machine Learning
Intelligent Reservoir Decision Support: An Integrated Framework Combining Large Language Models, Advanced Prompt Engineering, and Multimodal Data Fusion for Rea...
arxiv.org¡10h
🌊Stream Processing
I built an LLM from Scratch in Rust (Just ndarray and rand)
github.com¡1d¡
Discuss: Hacker News, r/LLM, r/rust
🦀Rust Macros