⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

Financial, Other Industries Urged to Prepare for Quantum Computers
darkreading.com·20h
🔐Quantum Security
Satellites Are Leaking the World’s Secrets: Calls, Texts, Military and Corporate Data
wired.com·10h·
Discuss: Hacker News, r/TrueReddit, r/technews
🕳️Information Leakage
Why did containers happen? A view from ten years in the trenches by Docker's fo
buttondown.com·1d·
Discuss: Lobsters, Hacker News
📦Container Security
Geopolitics and Open Source: KYM (Know Your Maintainers)
vulnerability.blog·21h·
Discuss: Hacker News
🦋Format Evolution
Field Guide to TSL and WebGPU
blog.maximeheckel.com·3h·
Discuss: Hacker News
🎬WebCodecs
A fork of ffmpeg.wasm with Node.js support
github.com·1h·
Discuss: Hacker News
🎬ffmpeg
Interactive Atmospheric Composition Emulation for Next-Generation Earth System Models
arxiv.org·7h
📜Document Physics
The Agentic Era: From Artificial Intelligence to Cognitive Infrastructure
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
What Is Your Agent's GPA? A Framework for Evaluating Agent Goal-Plan-Action Alignment
arxiv.org·1d
🧠Intelligence Compression
Beyond Single-Granularity Prompts: A Multi-Scale Chain-of-Thought Prompt Learning for Graph
arxiv.org·1d
🔢Denotational Semantics
Adaptive Decoding via Hierarchical Neural Information Gradients in Mouse Visual Tasks
arxiv.org·1d
🧠Learned Codecs
My Experience with Linux.
reddit.com·17h·
Discuss: r/linux
🔌Operating system internals
ROBOPSY PL[AI]: Using Role-Play to Investigate how LLMs Present Collective Memory
arxiv.org·7h
🏛Digital humanities
Exploring Artificial Intelligence and Culture: Methodology for a comparative study of AI's impact on norms, trust, and problem-solving across academic and busin...
arxiv.org·7h
🌍Cultural Algorithms
Sample-Efficient Online Learning in LM Agents via Hindsight Trajectory Rewriting
arxiv.org·7h
🔲Cellular Automata
Deep Learning for Selective Adsorption of Mercury from Aqueous Solutions Using Magnetically Recyclable Nanocomposites
dev.to·33m·
Discuss: DEV
📄Document Digitization
SPAD: Specialized Prefill and Decode Hardware for Disaggregated LLM Inference
arxiv.org·4d·
Discuss: r/LLM
💻Local LLMs
PatentVision: A multimodal method for drafting patent applications
arxiv.org·7h
🤖Advanced OCR
Evaluating Earth-Observing Satellite Sampling Effectiveness Using Kullback-Leibler Divergence
arxiv.org·7h
🧮Kolmogorov Bounds
Humans still win: why frontend basics matter — even with Gemini, GPT, and Claude
dev.to·13h·
Discuss: DEV
👁️System Observability