⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

INFiLED Blends Heritage and Innovation at Historic Murcia Barracks
madcornishprojectionist.co.uk·14h
🎬Video Codecs
DEVONthink 4.1.1
tidbits.com·10h
🔠Terminal Fonts
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·2d·
Discuss: X
🧮SMT Solvers
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·4h
🕸️Algebraic Topology
Graphulo: Accumulo library of matrix math primitives and graph algorithms
github.com·2d·
Discuss: Hacker News
🧮Algebraic Datatypes
Identifying and Quantifying Financial Bubbles with the Hyped Log-Periodic Power Law Model
arxiv.org·4h
🧠Intelligence Compression
RFID-Based Smart Servo Lock System using Arduino R4 Wi-Fi
hackster.io·3d
📼Cassette Hacking
PatentVision: A multimodal method for drafting patent applications
arxiv.org·4h
🤖Advanced OCR
Evaluating Earth-Observing Satellite Sampling Effectiveness Using Kullback-Leibler Divergence
arxiv.org·4h
🧮Kolmogorov Bounds
Conformal Inference for Time Series over Graphs
arxiv.org·4h
🧮Kolmogorov Bounds
Optimal Multi-Modal Transportation and Electric Power Flow: The Value of Coordinated Dynamic Operation
arxiv.org·4h
🌊Streaming Systems
Evaluating the effects of preprocessing, method selection, and hyperparameter tuning on SAR-based flood mapping and water depth estimation
arxiv.org·4h
🌀Differential Geometry
Humanoid Artificial Consciousness Designed with Large Language Model Based on Psychoanalysis and Personality Theory
arxiv.org·1d
🔲Cellular Automata
Towards a Taxonomy of Sustainability Requirements for Software Design
arxiv.org·1d
🦋Format Metamorphosis
Congrats to the Heroku "Back to School" AI Challenge Winners!
dev.to·17h·
Discuss: DEV
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
High-Performance Golang WebSocket Server: Complete Production-Ready Implementation Guide
dev.to·1d·
Discuss: DEV
🌐WebSocket Framing
Modeling Time-Lapse Trajectories to Characterize Cranberry Growth
arxiv.org·1d
🧠Machine Learning