⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

Codeminer42 Dev Weekly #82
blog.codeminer42.com·1d
🎯Gradual Typing
We May Have a Path to the Fundamental Theory of Physics (2020)
writings.stephenwolfram.com·21h·
Discuss: Hacker News
⏰Time Crystals
N8n vs. Windmill vs. Temporal
blog.arcbjorn.com·2d·
Discuss: Hacker News
🌊Stream Processing
I have seen the compounding teams
sundaylettersfromsam.substack.com·16h·
Discuss: Substack
⚔️Lean Tactics
Intel's open source future in question as exec says he's done carrying the competition
theregister.com·2d·
Discuss: Hacker News, r/hardware
🔓Open Source Software
OpenAI's inflated valuation, as I understand it
taloranderson.com·1d·
Discuss: Hacker News
💻Local LLMs
H1B-KV: Hybrid One-Bit Caches for Memory-Efficient Large Language Model Inference
arxiv.org·4d
💨Cache Optimization
AMD and Sony's PS6 chipset aims to rethink the current graphics pipeline
dev.to·15h·
Discuss: DEV
🖥️Modern Terminals
LLMs Learn to Deceive Unintentionally: Emergent Misalignment in Dishonesty from Misaligned Samples to Biased Human-AI Interactions
arxiv.org·2d
🔲Cellular Automata
Stop Worrying and Love the Bomb
bitbytebit.substack.com·13h·
Discuss: Substack
⚙️Build Archaeology
Homelab Jouney, Planning stage
reddit.com·10h·
Discuss: r/homelab
🏠HomeLab
Quantum memory optimisation using finite-horizon, decoherence time and discounted mean-square performance criteria
arxiv.org·2d
⚛️Quantum Storage
Dynamic Power Allocation for High-Bandwidth USB-C Alt Mode Displays using Reinforcement Learning
dev.to·9h·
Discuss: DEV
🎯Emulator Accuracy
Emerging technologies and national security intelligence
tandfonline.com·18h
🔐Capability Systems
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·5d
⚡Proof Automation
Valid Stopping for LLM Generation via Empirical Dynamic Formal Lift
arxiv.org·3d
💻Programming languages
Complete Guide to Audio Processing in Python: From Spectrograms to Real-Time Applications
dev.to·15h·
Discuss: DEV
📊Spectral Analysis
Is DevRel Just About Events, or Something Deeper?
dev.to·1d·
Discuss: DEV
🌐Protocol Synthesis
Is the End of Detection-Based Security Here?
thenewstack.io·1d
🎯Threat Hunting
Updated Buildroot support for STM32MPU platforms, ST BSP v6.1
bootlin.com·1d
🔌Operating system internals