⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

Peru: Sandstorm strikes southern region
france24.com·3h
📰RSS Archaeology
In a miniature world, climate change and environmental issues loom large
the-independent.com·3h
🔲Cellular Automata
Rust, Python, and TypeScript: the new trifecta
smallcultfollowing.com·1d·
Discuss: Hacker News
🦀Rust Macros
Custom TensorFlow Training Loops Made Easy
hackernoon.com·1d
🕸️Tensor Networks
AI Coding Assistants Are the New Compilers
marmelab.com·3d·
Discuss: Hacker News
🦀Rust Macros
Efficient Sub-pixel Motion Compensation in Learned Video Codecs
arxiv.org·2d
🧠Learned Codecs
LinDeps: A Fine-tuning Free Post-Pruning Method to Remove Layer-Wise Linear Dependencies with Guaranteed Performance Preservation
arxiv.org·2d
📊Quantization
Amazon Strands Agents SDK: A technical deep dive into agent architectures and observability
aws.amazon.com·1d
🔒WASM Capabilities
MCP Horror Stories: The Security Issues Threatening AI Infrastructure
docker.com·1d·
Discuss: DEV
🌳Archive Merkle Trees
Schematra: Sinatra inspired Chicken web framework
github.com·23h·
Discuss: Lobsters, Hacker News
λLambda Formalization
Out of Distribution, Out of Luck: How Well Can LLMs Trained on Vulnerability Datasets Detect Top 25 CWE Weaknesses?
arxiv.org·2d
🎯Threat Hunting
Cactus Language • Pragmatics 4
inquiryintoinquiry.com·4d
📐Format Grammars
Federated Distributionally Robust Optimization with Non-Convex Objectives: Algorithm and Analysis
arxiv.org·1d
🌐Edge Preservation
Neural Autoregressive Modeling of Brain Aging
arxiv.org·12h
🔍Vector Forensics
Controller upgrade - SFF-8654 sideband cable question
reddit.com·1d·
Discuss: r/homelab
📊Homelab Monitoring
LLM-Crowdsourced: A Benchmark-Free Paradigm for Mutual Evaluation of Large Language Models
arxiv.org·1d
💻Local LLMs
LangChain.js with Node.js: Build AI-Powered Apps Fast
dev.to·1d·
Discuss: DEV
🎙️Whisper
OpenBSD Ports: Import of CDE-2.5.2
discoverbsd.com·1d
🔌Operating system internals
Helping or Homogenizing? GenAI as a Design Partner to Pre-Service SLPs for Just-in-Time Programming of AAC
arxiv.org·2d
🎙️Whisper
LLM-Assisted Cheating Detection in Korean Language via Keystrokes
arxiv.org·12h
🧠Intelligence Compression