⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

IR cameras
revk.uk·5h·
Discuss: www.revk.uk
🔬Hardware Forensics
Rumble in the jungle: APT41’s new target in Africa
securelist.com·1d
🎫Kerberos Exploitation
Coding with LLMs in the summer of 2025 (an update)
simonwillison.net·1d
💧Liquid Types
The AGI Final Frontier: The CLJ-AGI Benchmark
raspasov.posthaven.com·2d·
Discuss: Hacker News
🏛️Agda
I built a digital camera that prints photos on thermal paper
instructables.com·1d·
Discuss: Hacker News
🔬Floppy imaging
Ununderstanding – Intellectual Work in the Age of AI
considerthebulldog.com·2h·
Discuss: Hacker News
🌍Cultural Algorithms
The Big LLM Architecture Comparison
magazine.sebastianraschka.com·3d·
Discuss: Hacker News, Hacker News
💻Local LLMs
Scavenger Malware Distributed via ESLint-Config-Prettier NPM Package Hack
invokere.com·1d·
Discuss: Hacker News
📦Container Security
World's first RISC-V tablet is finally fully baked — PineTab-V now ships with completely functional Linux for $149
tomshardware.com·1d
🎯Emulator Accuracy
The unique, mathematical shortcuts language models use to predict dynamic scenarios
news.mit.edu·1d
🌲Parse Trees
Transformer-based Deep Learning Model for Joint Routing and Scheduling with Varying Electric Vehicle Numbers
arxiv.org·13h
🧩WASM Components
How I keep up with AI research
thijsverreck.com·1d·
Discuss: Hacker News
🧭Content Discovery
DeSamba: Decoupled Spectral Adaptive Framework for 3D Multi-Sequence MRI Lesion Classification
arxiv.org·13h
📊Learned Metrics
Coordinate Heart System: A Geometric Framework for Emotion Representation
arxiv.org·13h
🌀Differential Geometry
AIOps - A Multifaceted Challenge
blog.raymond.burkholder.net·23h
🦋Format Evolution
M5Stack CoreS3 Lite low-cost IoT controller features magnetic backplate and 200mAh battery
cnx-software.com·3h
🔌Microcontrollers
Traffic Signal Phase and Timing Estimation with Large-Scale Floating Car Data
arxiv.org·13h
🌊Digital Signal Processing
Hyperelastic nature of the Hoek-Brown criterion
arxiv.org·13h
🌀Differential Geometry
Development and Deployment of Hybrid ML Models for Critical Heat Flux Prediction in Annulus Geometries
arxiv.org·13h
🧠Machine Learning
Enhancing Natural Language Inference Performance with Knowledge Graph for COVID-19 Automated Fact-Checking in Indonesian Language
arxiv.org·13h
⚡Proof Automation