⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

Computed GOTO, in MS BASIC
masswerk.at·3d
📺VT100 Emulation
How Microsoft defends against indirect prompt injection attacks
msrc.microsoft.com·22h
🔓LDAP Injection
Validated Patterns
validatedpatterns.io·2d·
Discuss: Hacker News
🔐CBOR
Minimal Scala Container Images Using Nix
blog.aiono.dev·1d·
Discuss: Hacker News
📦Container Security
Installer Usability
freebsdfoundation.org·1h·
Discuss: Hacker News
🔌Operating system internals
The Discovery, Disclosure, and Investigation of CVE-2024-25825
arxiv.org·1h
🔓Hacking
‘World’s smallest Intel Core Ultra-powered Mini PC’ crown claimed by fanless Aaeon PICO-MTU4-SEMI — just 43mm high and 0.44 liters in size
tomshardware.com·18h
🔌Operating system internals
Ika Launches Mainnet to Enable Native Cross-Chain Asset Control on Sui Blockchain
hackernoon.com·12h
🔗Blockchain Archives
Automated but Atrophied? Student Over-Reliance vs Expert Augmentation of AI in Learning and Cybersecurity
arxiv.org·1h
🗺️Competency Maps
Unified machine-learning framework for property prediction and time-evolution simulation of strained alloy microstructure
arxiv.org·1h
🧠Machine Learning
Lost puppy in need of a wise wizard, where to look?
reddit.com·11h·
Discuss: r/homelab
🏠Homelab
The Subtle Art of Herding Cats: Why AI Agents Ignore Your Rules (Part 1 of 4)
dev.to·1d·
Discuss: DEV
⚡Proof Automation
The VibeTDD Experiment: A Roadmap for Combining AI and Test-Driven Development
dev.to·20h·
Discuss: DEV
⚡Proof Automation
GLM-4.5 Teardown: Is This the GPT-4 and Claude Killer We've Been Waiting For?
algogist.com·1d·
Discuss: Hacker News
⚡Performance Mythology
Air Quality Analysis Station
hackster.io·21h
📻Homebrew Protocols
StepAL: Step-aware Active Learning for Cataract Surgical Videos
arxiv.org·1h
🏺Computational Archaeology
Linear Stability Analysis of Physics-Informed Random Projection Neural Networks for ODEs
arxiv.org·1h
🌀Riemannian Computing
XAI for Point Cloud Data using Perturbations based on Meaningful Segmentation
arxiv.org·1h
🌀Differential Geometry
Automatic Classification of User Requirements from Online Feedback -- A Replication Study
arxiv.org·1h
📊Feed Optimization
Graded Transformers: A Symbolic-Geometric Approach to Structured Learning
arxiv.org·1d
🤖Grammar Induction