Crimson Collective: A New Threat Group Observed Operating in the Cloud
rapid7.com·9h
🎫Kerberos Exploitation
Medium Android App — Migrating from Apollo Kotlin 3 to 4: Lessons Learned
medium.engineering·1d
🏎️Varnish Cache
An alternative to knowledge graphs for storing loosely structured content
fleetingswallow.com·2d·
Discuss: Hacker News
🕸️Knowledge Graphs
Graph-based LLM over Semi-Structured Population Data for Dynamic Policy Response
arxiv.org·48m
💻Local LLMs
nfc-laboratory: NFC signal and protocol analyzer using SDR receiver
github.com·1d·
Discuss: Lobsters, Hacker News
⚡Compression Hardware
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·1d·
Discuss: Hacker News
💻Local LLMs
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·2d
🧮Kolmogorov Complexity
Golang Dependency Inversion — A Java Developer's Point of View
dev.to·9h·
Discuss: DEV
🔬Refinement Types
C2|Q>: A Robust Framework for Bridging Classical and Quantum Software Development
arxiv.org·2d
⚛️Quantum Compilers
Google Chrome RCE (No Sandbox) via CanonicalEquality:EqualValueType()
ssd-disclosure.com·2d·
Discuss: Hacker News
🛡️WASM Security
KEO: Knowledge Extraction on OMIn via Knowledge Graphs and RAG for Safety-Critical Aviation Maintenance
arxiv.org·48m
🧠Intelligence Compression
Hardware Stockholm Syndrome
programmingsimplicity.substack.com·1d·
Discuss: Substack
🔩Systems Programming
LexiCon: a Benchmark for Planning under Temporal Constraints in Natural Language
arxiv.org·48m
🧮Kolmogorov Complexity
POEM: Explore Unexplored Reliable Samples to Enhance Test-Time Adaptation
arxiv.org·1d
🧮Kolmogorov Complexity
You don't need an AI agent framework, or why frameworks are the new Juicero
konvu.com·7h·
Discuss: Hacker News
🔬Refinement Types
SALAD: Self-Adaptive Link Adaptation
arxiv.org·48m
⧗Information Bottleneck
Myth Busters: Is Rust a Slam Dunk?
infoq.com·3d·
Discuss: Hacker News
🦀Embedded Rust
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·2d
🔧Hardware Verification
Evaluating LLM Safety Across Child Development Stages: A Simulated Agent Approach
arxiv.org·48m
💻Programming languages
Proofs of quantum memory
arxiv.org·1d
⚛️Quantum Tape