Feeds to Scour
SubscribedAll
Scoured 121890 posts in 113.2 ms
C++ support by stedolan · Pull Request #14701  🍱Nom
github.com·22h·Hacker News·
C2RustXW: Program-Structure-Aware C-to-Rust Translation via Program Analysis and LLM  🦀Rust Macros
arxiv.org·2d·
Swiss Ephemeris PHP: A 1:1 FFI Wrapper for Astronomical Precision in PHP 8.3+  🛰️Spice Kernel
dev.to·6d·DEV·
Inspection finds dozens of violations of detention standards at a major immigration camp in Texas  🦀Rust Embedded
the-independent.com·4h·
The Linux Kernel's Minimum Rust Version Supported Prepares For Rust 1.85 Baseline  🐧Rust for Linux
phoronix.com·1d·
Pubs should be declared adults-only zones  🦀Rust
theguardian.com·6h·
Why is Hugo deadset against rendering raw, “unsafe”...  📦Serde
lmika.org·4d·
H.R. 7980 (IH) - Protecting Americans from Unsafe Drugs Act of 2026  🧪Food Science
govinfo.gov·16h·
FAA fines companies $430K for sending unsafe hazmat shipments to airlines  🚛Supply Chain
freightwaves.com·1d·
Software Engineer: Build the World’s Best AI Plan Checker at InspectMind AI  🎭Program Synthesis
ycombinator.com·1d·Hacker News·
WHBench: Evaluating Frontier LLMs with Expert-in-the-Loop Validation on Women's Health Topics  🦙Ollama
arxiv.org·18h·
Governing AI Agent Decisions with MCP: How I Built Dead Letter Oracle  📞Tauri IPC
dev.to·2d·DEV·
Uncertainty-Guided Label Rebalancing for CPS Safety Monitoring  🔍DTrace
arxiv.org·6d·
Unsafe by Reciprocity: How Generation-Understanding Coupling Undermines Safety in Unified Multimodal Models  🔄Memory Ordering
arxiv.org·2d·
From Global to Local: Hierarchical Probabilistic Verification for Reachability Learning  ✅Model Checking
arxiv.org·6d·
Distributed Predictive Control Barrier Functions: Towards Scalable Safety Certification in Modular Multi-Agent Systems  📐TLA+
arxiv.org·1d·
Unsafe Probabilities and Risk Contours for Stochastic Processes using Convex Optimization  📊Optimization
arxiv.org·3d·
World2Rules: A Neuro-Symbolic Framework for Learning World-Governing Safety Rules for Aviation  💬Prompt Engineering
arxiv.org·1d·
Diagnosing and Repairing Unsafe Channels in Vision-Language Models via Causal Discovery and Dual-Modal Safety Subspace Projection  🧮Embeddings
arxiv.org·2d·
Attesting LLM Pipelines: Enforcing Verifiable Training and Release Claims  🔒BPF LSM
arxiv.org·1d·

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help