LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation
arxiv.org·1d
🔌Embedded Rust
PicoEMP: low-cost Electromagnetic Fault Injection (EMFI) tool
github.com·15h·
Discuss: Hacker News
🔌Microcontrollers
HW Security: Multi-Agent AI Assistant Leveraging LLMs To Automate Key Stages of SoC Security Verification (U. of Florida)
semiengineering.com·11h
💻Local LLMs
Why Binary Won and Nothing Else Even Got Close
b0a04gl.site·23h·
Discuss: Hacker News
⚙Risc-v
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·3h·
Discuss: Substack
☁️Serverless Rust
Machine Learning Fundamentals: accuracy with python
dev.to·1d·
Discuss: DEV
🏗️AI Infrastructure
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·14h
🔍Static Analysis
LLM-Aided Testbench Generation and Bug Detection for Finite-State Machines
arxiv.org·1d
🔍Query Compilers
Switch project, part 2 - Line Card
serd.es·1d·
Discuss: Hacker News
🍓single board computers
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
💻Local LLMs
Using OpenTelemetry to Diagnose a Critical Memory Leak
hackernoon.com·3h
🔬eBPF Monitoring
How to (Almost) solve cybersecurity once and for all
adaptive.live·22h·
Discuss: Hacker News
🔌Embedded Rust
Introduction to the DCJ11 , PDP-11 on a Chip
5volts.ch·2d·
Discuss: Lobsters, Hacker News
🍓single board computers
Why Dyad?: A Perspective for Modelica Users
juliahub.com·3h·
Discuss: Hacker News
📐Data Modeling
Microcontrollers: Getting Started
youtube.com·5d
🔌Microcontrollers
C++ Seeding Surprises (2015)
pcg-random.org·2h·
Discuss: Hacker News
☁️Serverless Rust
How to Compile a Large Language Model (LLM) to RISC-V
siliscale.com·4d·
Discuss: Hacker News
🧩RISC-V
Learning High-Quality Latent Representations for Anomaly Detection and Signal Integrity Enhancement in High-Speed Signals
arxiv.org·1d
💻Local LLMs
New rust mocking library Injectorpp 0.4.0 is released! Type check is added and more
reddit.com·1d·
Discuss: r/rust
☁️Serverless Rust
Why Agentic Flows Need Distributed-Systems Discipline
temporal.io·1d·
Discuss: Hacker News
🌐Distributed systems