MileSan: Detecting μ-Architectural Leakage via Differential HW/SW Taint Tracking
comsec.ethz.ch·7h·
Discuss: Hacker News
🛡️RISC-V Security
Show HN: BuildKit 2.0 – the shadcn for AI integrations
buildkit.picaos.com·1d·
Discuss: Hacker News
🌀Brotli Internals
Are LLMs better suited for PR reviews than full codebases?
news.ycombinator.com·9h·
Discuss: Hacker News
📏Code Metrics
Building Chrome Dinosaur Game in Pygame (Part 6: Press Pause ⏸️)
dev.to·2d·
Discuss: DEV
🎮Game Decompilation
S2M2ECG: Spatio-temporal bi-directional State Space Model Enabled Multi-branch Mamba for ECG
arxiv.org·1d
📈Time Series
Why Can’t AI Say “I Don’t Know”? (Bite-size Article)
dev.to·5h·
Discuss: DEV
🧮Kolmogorov Complexity
Boosting Your Anomaly Detection With LLMs
towardsdatascience.com·1d
💻Local LLMs
DetectPack Forge: Natural-Language to Sigma/KQL/SPL
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Nonlinear Performative Prediction
arxiv.org·2d
🧠Machine Learning
Welcome EmbeddingGemma, Google's new efficient embedding model
huggingface.co·2d·
Discuss: Hacker News, Hacker News, r/LocalLLaMA
📝Text Embeddings
Curse of Knowledge: When Complex Evaluation Context Benefits yet Biases LLM Judges
arxiv.org·1d
✨Effect Handlers
TraceLLM: Security Diagnosis Through Traces and Smart Contracts in Ethereum
arxiv.org·1d
🔗Hash Chains
Finding the Balance: Using AI Without Losing My Own Problem-Solving Skills
dev.to·13h·
Discuss: DEV
⚡Proof Automation
Solving Polynomial Systems with Gr\"obner Bases: An Introduction to F4 and FGLM
arxiv.org·1d
🧮SMT Solvers
Structure-Learnable Adapter Fine-Tuning for Parameter-Efficient Large Language Models
arxiv.org·1d
🔗Monadic Parsing
My Take on Vibe Code
dev.to·2d·
Discuss: DEV
📏Code Metrics
Gromov-Wasserstein and optimal transport: from assignment problems to probabilistic numeric
arxiv.org·23h
📐Compression Bounds
When Robots Meet Legacy Software: Behind the Tech Revolutionizing Warehouse Floors
hackernoon.com·1d
🖥️Terminal Renaissance
From Evaluation to Defense: Constructing Persistent Edit-Based Fingerprints for Large Language Models
arxiv.org·1d
💻Local LLMs
Enhancing Technical Documents Retrieval for RAG
arxiv.org·23h
📊Multi-vector RAG