Moan-routine: LO's Predicate Signatures
lmika.org·14h
🔗Functional Compilers
macOS.ZuRu Resurfaces | Modified Khepri C2 Hides Inside Doctored Termius App
sentinelone.com·1d
🦠Malware Analysis
SEO, Logorrhoea and the Rise of Sick AI
purpleorca.co.uk·13h·
Discuss: Hacker News
🌀Brotli Internals
How TimescaleDB helped us scale analytics and reporting
blog.cloudflare.com·3d·
Discuss: Hacker News
🧬PostgreSQL Forensics
Iceberg, the Right Idea – The Wrong Spec – Part 2 of 2: The Spec
database-doctor.com·2d·
Discuss: Hacker News
🔧KAITAI
Python Indexing vs. For Loops: What’s Really Faster?
thenewstack.io·1d
🧠Learned Indexing
The Next Wave
dumindu.github.io·1d·
Discuss: Hacker News, r/programming
🔩Systems Programming
Most AI models can fake alignment, but safety training suppresses the behavior, study finds
the-decoder.com·1d
🔍Concolic Testing
Show HN: Cactus – Ollama for Smartphones
news.ycombinator.com·1d·
Discuss: Hacker News
🌀Brotli Internals
Towards an Application-Centric Benchmark Suite for Spatiotemporal Database Systems
arxiv.org·2d
🗄️Database Sharding
DocCHA: Towards LLM-Augmented Interactive Online diagnosis System
arxiv.org·17h
🎙️Whisper
The hidden cost of AI reliance
codebytom.blog·2d·
Discuss: Hacker News, r/programming
🔍Concolic Testing
ST-GRIT: Spatio-Temporal Graph Transformer For Internal Ice Layer Thickness Prediction
arxiv.org·17h
🧠Machine Learning
Optimizing Communication and Device Clustering for Clustered Federated Learning with Differential Privacy
arxiv.org·17h
🤐Secure Multiparty
Distributionally Robust Joint Chance-Constrained Optimization for Electricity Imbalance: Integrating Renewables and Storage
arxiv.org·1d
🤝Consensus Algorithms
Worried About AI? Use It to Your Advantage
towardsdatascience.com·1d
🧪Data science
DATABench: Evaluating Dataset Auditing in Deep Learning from an Adversarial Perspective
arxiv.org·2d
🔬Archive Forensics
Improving AEBS Validation Through Objective Intervention Classification Leveraging the Prediction Divergence Principle
arxiv.org·17h
🌀Differential Geometry
ReliableMath: Benchmark of Reliable Mathematical Reasoning on Large Language Models
arxiv.org·3d
🧮SMT Solvers
FLoRA: An Advanced AI-Powered Engine to Facilitate Hybrid Human-AI Regulated Learning
arxiv.org·17h
🔲Cellular Automata