⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

You Don't Need a Vendor to Automate Security Questionnaires
blog.marcolancini.it·2d
⚡Proof Automation
Beginner here.
microcenter.com·2d·
Discuss: r/homelab
📺yt-dlp
AIDE – a file and directory integrity checker
aide.github.io·1d·
Discuss: Hacker News
🏺ZIP Archaeology
Simon Tatham's Portable Puzzle Collection
chiark.greenend.org.uk·1d·
Discuss: Hacker News
⚔️Lean Tactics
Bringing a Decade Old Bicycle Navigator Back to Life with Open Source Software (and DOOM)
raymii.org·1d·
Discuss: Lobsters, Hacker News, Hacker News
🕸️WASM Archives
Open-Source LLM Helps Safeguard Text Generation Prompts and Responses
corp.roblox.com·4d·
Discuss: Hacker News
⚡Proof Automation
Invisible Programming Language
en.wikipedia.org·2d·
Discuss: Hacker News, r/programming
🔗Concatenative Languages
[P] I tried implementing the CRISP paper from Google Deepmind in Python
reddit.com·5h·
Discuss: r/MachineLearning
🗂️Vector Databases
Rust Embedded Drivers (RED) - Open Source Book
reddit.com·1d·
Discuss: r/rust
🦀Embedded Rust
Data Engineering in the Age of AI: Skills To Master Now
thenewstack.io·1d
🌊Stream Processing
TextSAM-EUS: Text Prompt Learning for SAM to Accurately Segment Pancreatic Tumor in Endoscopic Ultrasound
arxiv.org·2d
🧠Machine Learning
Forget Prompt Engineering — The Real Skill Is Specification Writing
hackernoon.com·4d
⚙️TLA+
Prompt Injection Attacks: Hacking AI Through Conversation
infosecwriteups.com·3d
⚡Proof Automation
🚀 Just discovered this 2-minute productivity hack:
dev.to·2h·
Discuss: DEV
🔍BitFunnel
Contraction, Criticality, and Capacity: A Dynamical-Systems Perspective on Echo-State Networks
arxiv.org·2d
🔲Cellular Automata
Python Fundamentals: collections module
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
A lightweight library for portable low-level GPU computation using WebGPU
github.com·1d·
Discuss: Hacker News
🔩Systems Programming
Paper Notes - From Mind to Machine: The Rise of Manus AI as a Fully Autonomous Digital Agent
dev.to·19h·
Discuss: DEV
⚙️TLA+
Kreuzberg: The Python Document Intelligence Framework That Will Blow Your Mind!
dev.to·2h·
Discuss: DEV
🤖Archive Automation
What is Machine Learning?
dev.to·14h·
Discuss: DEV
🧠Machine Learning