DCP-o-matic • Re: LtRt Matrix Decoder
dcpomatic.com·1d
🎬Cinema Codecs
[Guest Post] J Mac v Q Deck - an object lesson in unregistered designs
ipkitten.blogspot.com·1d·
Discuss: ipkitten.blogspot.com
🧲RISC-V Archaeology
These are the tools we use to build and maintain our precious tech, and they're on sale for Amazon Prime Day
tomshardware.com·2d
🎮Switch Archaeology
C++26: range support for std:optional
sandordargo.com·13h·
Discuss: Lobsters, Hacker News
💧Liquid Types
Smart Specs: Automating Engineering Standards for Error-Free Design
vibe.forem.com·4d·
Discuss: DEV
📋Format Specification
This Puzzle Shows Just How Far LLMs Have Progressed in a Little Over a Year
towardsdatascience.com·1d
📐Mathematical Art
FURINA: A Fully Customizable Role-Playing Benchmark via Scalable Multi-Agent Collaboration Pipeline
arxiv.org·1h
⚡Performance Mythology
The Role of AI in Next-Gen Chip Design
dev.to·3d·
Discuss: DEV
🔧Hardware Verification
Duct Tape DSLs: Model Routing, Structured Outputs, and Typed Tools
lowlevelmagic.io·1d·
Discuss: Hacker News
🧩WASM Components
nfc-laboratory: NFC signal and protocol analyzer using SDR receiver
github.com·2d·
Discuss: Lobsters, Hacker News
⚡Compression Hardware
Neural Network-Based Anomaly Detection in CI/CD Pipelines: A Technical Overview
dev.to·1h·
Discuss: DEV
🧠Learned Compression
I could use help picking a GEEKOM for my new server
reddit.com·13h·
Discuss: r/homelab
🏠HomeLab
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·4d·
Discuss: Hacker News
🎯Interactive Provers
A First Look at the Lifecycle of DL-Specific Self-Admitted Technical Debt
arxiv.org·2d
📏Code Metrics
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·3d·
Discuss: DEV
📏Code Metrics
StruSR: Structure-Aware Symbolic Regression with Physics-Informed Taylor Guidance
arxiv.org·1h
🧠Machine Learning
Unsupervised Backdoor Detection and Mitigation for Spiking Neural Networks
arxiv.org·1h
🌊Stream Ciphers
Automated Predictive Maintenance for Aquaculture Feed Delivery Systems via Bayesian Network Optimization
dev.to·4h·
Discuss: DEV
📡RSS Automation
Quantum Weaving: A New Era of Multimodal AI by Arvind Sundararajan
dev.to·1h·
Discuss: DEV
🔐Quantum Cryptography
Automated Multi-Modal Anomaly Detection in Embryonic Neurogenesis via Hyper-Dimensional Feature Fusion
dev.to·12h·
Discuss: DEV
🔍Vector Forensics