⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

Tips for Bakers: Preparing Your Tool Demo for the Great Digital Preservation Bake Off at iPRES 2025
ipres2025.nz·5h
📋PREMIS Events
Codeminer42 Dev Weekly #82
blog.codeminer42.com·2d
🎯Gradual Typing
We May Have a Path to the Fundamental Theory of Physics (2020)
writings.stephenwolfram.com·1d·
Discuss: Hacker News
⏰Time Crystals
N8n vs. Windmill vs. Temporal
blog.arcbjorn.com·3d·
Discuss: Hacker News
🌊Stream Processing
A new breed of analyzers
daniel.haxx.se·2d·
Discuss: Lobsters, Hacker News, r/programming
🐛Fuzzing
Save Your USB-C Plugs From Oblivion
hackaday.com·23h
💾Floppy Imaging
Real-Time Disaster Response via Distributed CubeSat EO with Adaptive Spectral Unmixing
dev.to·17h·
Discuss: DEV
📥Feed Aggregation
Cisco Silicon One P200 and Cisco 8223 for 51.2T Scale Across Networking
servethehome.com·1d
🏠Homelab Federation
Easily generate different NLP Task prompts for popular generative models
github.com·9h·
Discuss: Hacker News
🎙️Whisper
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·6d
💻Programming languages
Server CPU: Clearwater Forest comes as Xeon 6+ with up to 288 cores
heise.de·3d
⚡Nordic Processors
Show HN: Static builds of popular open source libraries on npmjs.org
github.com·2d·
Discuss: Hacker News
🔓Open Source Software
AI Renaissance: Bridging the Gap Between Intuition and Logic
dev.to·2d·
Discuss: DEV
🤖Paleographic AI
What do you think about this setup ?
reddit.com·21h·
Discuss: r/homelab
💾Proxmox Storage
INFER : Learning Implicit Neural Frequency Response Fields for Confined Car Cabin
arxiv.org·3d
👂Psychoacoustic Coding
Evaluating Small Vision-Language Models on Distance-Dependent Traffic Perception
arxiv.org·3d
🧠Machine Learning
MARC: Memory-Augmented RL Token Compression for Efficient Video Understanding
arxiv.org·3d
🧠Learned Codecs
Tech With Tim: How to Build AI Agents in Python
dev.to·16h·
Discuss: DEV
🔲Cellular Automata
Why The Future of Code Is More Human Than Ever
dev.to·2d·
Discuss: DEV
📏Code Metrics
From ML Beginner to Production Engineer: How I’m Leveling Up My AI Projects
dev.to·11h·
Discuss: DEV
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing