⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

Newly-Retired Andrew Appel Reflects on his Voting Machine Advocacy
blog.citp.princeton.edu·6h
🔓Hacking
Read more: Swiss scientists reveal the complex craft of prehistoric tattooing
swissinfo.ch·12h
🏺Computational Archaeology
Threat Analysis - Public Administration - May -> July of 2025
cstromblad.com·10h
🕵️Penetration Testing
AI Chip Startup Groq Nears $600 Million Fundraising Deal
bloomberg.com·2d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Show HN: MoebiusXBIN – ASCII and text-mode art editor with custom font support
blog.glyphdrawing.club·1d·
Discuss: Hacker News
🔠Terminal Fonts
Pointers Are Complicated, Or: What's in a Byte?
ralfj.de·6d·
Discuss: Hacker News
🦀Embedded Rust
Wan2.2 Is Here: Open-Source AI Video Just Leveled Up
algogist.com·3d·
Discuss: Hacker News
🗜️LZW Variants
Automating container notes in Proxmox — built a small tool to streamline it - first Github code project
reddit.com·1d·
Discuss: r/homelab
📦Container Security
Physics-Informed Neural Networks for Inverse PDE Problems
towardsdatascience.com·2d
🔗Tailscale
Methodology for intelligent injection point location based on geometric algorithms and discrete topologies for virtual digital twin environments
arxiv.org·2d
📊Computational Geometry
Machine Learning Fundamentals: k-nearest neighbors project
dev.to·1d·
Discuss: DEV
🗂️Vector Search
Show HN: LLM-benchmark – Make LLMs fight for fastest ops/SEC on your code
github.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
Multilingual Self-Taught Faithfulness Evaluators
arxiv.org·2d
💻Local LLMs
Security Tensors as a Cross-Modal Bridge: Extending Text-Aligned Safety to Vision in LVLM
arxiv.org·2d
🤖Advanced OCR
Panto’s Next Act: From Fundraising Highs to Code Review Breakthroughs
dev.to·8h·
Discuss: DEV
📏Code Metrics
Why Developers Need Mobile-First Error Tracking (And How We Built It)
hackernoon.com·1d
👁️Observatory Systems
Wall Shear Stress Estimation in Abdominal Aortic Aneurysms: Towards Generalisable Neural Surrogate Models
arxiv.org·15h
🌀Riemannian Computing
The Geometry of Harmfulness in LLMs through Subconcept Probing
arxiv.org·1d
🌳Context free grammars
Deep Reinforcement Learning for Real-Time Green Energy Integration in Data Centers
arxiv.org·1d
🧠Machine Learning
Numerical Methods for Solving Nonlinearly Coupled Poisson Equations in Dual-Continuum Modeled Porous Electrodes
arxiv.org·15h
🌀Riemannian Computing