Feeds to Scour
SubscribedAll
Scoured 26605 posts in 85.7 ms
Optimizing Branch Predictor for Graph Applications  🔗Topological Sorting
arxiv.org·3d
An AI agent just designed a complete RISC-V CPU from scratch in 12 hours  ⚙️RISC-V Microcode
techspot.com·2d
LemmaScript: A Verification Toolchain for TypeScript via Dafny  ✅Format Verification
midspiral.com·3d·Lobsters, Hacker News
CFITSIO Fuzzing: Memory Corruptions and a Codex-Assisted Pipeline  🧪Binary Fuzzing
blog.doyensec.com·6d·r/netsec
The Code Review Bottleneck Is You  📏Code Metrics
julien.danjou.info·4d
Fresh Masking Makes NTT Pipelines Composable: Machine-Checked Proofs for Arithmetic Masking in PQC Hardware  🌊Stream Ciphers
arxiv.org·2d
From Image to Music Language: A Two-Stage Structure Decoding Approach for Complex Polyphonic OMR  🎧Learned Audio
arxiv.org·2d
CuRast: Cuda-Based Software Rasterization for Billions of Triangles  🎨LUT Compression
arxiv.org·1d·Hacker News
Deep Interest Mining with Cross-Modal Alignment for SemanticID Generation in Generative Recommendation  🤖AI Curation
arxiv.org·1d
Continuous benchmarking: Keeping pace with an evolving ecosystem of models and technologies  🌊Stream Processing
arxiv.org·5d
PARM: Pipeline-Adapted Reward Model  ⚡Incremental Computation
arxiv.org·4d
CPU Optimization of a Monocular 3D Biomechanics Pipeline for Low-Resource Deployment  ⚡SIMD Vectorization
arxiv.org·5d
Partitioning Unstructured Sparse Tensor Algebra for Load-Balanced Parallel Execution  🚀SIMD Parsing
arxiv.org·4d
SPRITE: From Static Mockups to Engine-Ready Game UI  🖥️Terminal Emulators
arxiv.org·3d
Unified Ultrasound Intelligence Toward an End-to-End Agentic System  🧠Neural Compression
arxiv.org·4d
Formally Verified Patent Analysis via Dependent Type Theory: Machine-Checkable Certificates from a Hybrid AI + Lean 4 Pipeline  ⚡Proof Automation
arxiv.org·3d
Fringe Projection Based Vision Pipeline for Autonomous Hard Drive Disassembly  💾Floppy Imaging
arxiv.org·4d
PRISM: Probing Reasoning, Instruction, and Source Memory in LLM Hallucinations  ✨Effect Handlers
arxiv.org·4d
Physics-Informed Causal MDPs for Sequential Constraint Repair in Engineering Simulation Pipelines  ⚡Z3 Optimization
arxiv.org·4d
From Natural Language to Executable Narsese: A Neuro-Symbolic Benchmark and Pipeline for Reasoning with NARS  🌳Context free grammars
arxiv.org·3d

No more posts from matmat's subscribed feeds.

Scour all 24370 feedsLearn more about Feeds

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
Save / unsave
s
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