⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

AI-Driven Disaster Response and Displacement Monitoring
cacm.acm.org·12h
📥Feed Aggregation
Digilent Analog Discovery Studio Max – A 14-in-1 portable electronics trainer kit with four breadboards
cnx-software.com·1d
⚡Circuit Archaeology
BYOVD to the next level (part 2) — rootkit like it's 2025
blog.quarkslab.com·5d
🔍eBPF
Introducing PromptIntel
blog.securitybreak.io·1d
🎯Threat Hunting
Rohan Paul on X: "New paper from @Google is a major memory breakthrough for AI agents. ReasoningBank helps an AI agent improve during use by learning from its w...
x.com·1d·
Discuss: X
🧮SMT Solvers
Why do CPUs have multiple cache levels?
fgiesen.wordpress.com·2d·
Discuss: Hacker News
⚡Cache Theory
Rethinking PostgreSQL buffer mapping for modern hardware architectures
orioledb.com·1d·
Discuss: Hacker News
🗃️Database Storage
My First Home-Built NAS
preview.redd.it·1d·
Discuss: r/homelab
🏠HomeLab
The IP risks of LLMs at work are nontrivial
augmentedswe.com·1d·
Discuss: Hacker News
🔄Language Evolution
Understanding the interplay of collagen and myocyte adaptation in cardiac volume overload: a multi-constituent growth and remodeling framework
arxiv.org·58m
🕸️Algebraic Topology
Real-Time Ice Prediction via Multi-Sensor Fusion & Adaptive Kalman Filtering for RWIS
dev.to·10h·
Discuss: DEV
🌊Stream Processing
Identifying and Quantifying Financial Bubbles with the Hyped Log-Periodic Power Law Model
arxiv.org·58m
🧠Intelligence Compression
Evaluating Earth-Observing Satellite Sampling Effectiveness Using Kullback-Leibler Divergence
arxiv.org·58m
🧮Kolmogorov Bounds
Humans still win: why frontend basics matter — even with Gemini, GPT, and Claude
dev.to·6h·
Discuss: DEV
👁️System Observability
Conformal Inference for Time Series over Graphs
arxiv.org·58m
🧮Kolmogorov Bounds
Optimal Multi-Modal Transportation and Electric Power Flow: The Value of Coordinated Dynamic Operation
arxiv.org·58m
🌊Streaming Systems
Evaluating the effects of preprocessing, method selection, and hyperparameter tuning on SAR-based flood mapping and water depth estimation
arxiv.org·58m
🌀Differential Geometry
Towards a Taxonomy of Sustainability Requirements for Software Design
arxiv.org·1d
🦋Format Metamorphosis
Humanoid Artificial Consciousness Designed with Large Language Model Based on Psychoanalysis and Personality Theory
arxiv.org·1d
🔲Cellular Automata
LinearSR: Unlocking Linear Attention for Stable and Efficient Image Super-Resolution
arxiv.org·1d
📊Learned Metrics