Feeds to Scour
SubscribedAll
Scoured 26509 posts in 22.9 ms
256 Lines or Less: Test Case Minimization  🧪Binary Fuzzing
matklad.github.io·5d·Lobsters, Hacker News, Hacker News
Stateful Embedded Fuzzing with Peripheral-Accurate SystemC Virtual Prototypes  🧪RISC-V Fuzzing
arxiv.org·2d
How to Make Illegal States Unrepresentable  ⚔️Lean Tactics
hackernoon.com·1d
Making illegal state unrepresentable  🧪Binary Fuzzing
blog.frankel.ch·6d·Hacker News, r/coding, r/programming
How Do LLM Agents Think Through SQL Join Orders?  🧠Query Planners
ucbskyadrs.github.io·1d·Hacker News
CFITSIO Fuzzing: Memory Corruptions and a Codex-Assisted Pipeline  🧪Binary Fuzzing
blog.doyensec.com·6d·r/netsec
Self-Awareness before Action: Mitigating Logical Inertia via Proactive Cognitive Awareness  🎯Threat Hunting
arxiv.org·2d
Best Practices in Prompt Engineering for AI Agents in Solidity Smart Contract Auditing  🏠Homelab Pentesting
hackernoon.com·5d
Separable Pathways for Causal Reasoning: How Architectural Scaffolding Enables Hypothesis-Space Restructuring in LLM Agents  📏Linear Logic
arxiv.org·2d
Saying More Than They Know: A Framework for Quantifying Epistemic-Rhetorical Miscalibration in Large Language Models  🧠Intelligence Compression
arxiv.org·2d
SDLLMFuzz: Dynamic-static LLM-assisted greybox fuzzing for structured input programs  🧪Binary Fuzzing
arxiv.org·4d
From Admission to Invariants: Measuring Deviation in Delegated Agent Systems  ✨Algebraic Effects
arxiv.org·4d
Structured Abductive-Deductive-Inductive Reasoning for LLMs via Algebraic Invariants  🧮Theorem Proving
arxiv.org·5d
Discovering a Shared Logical Subspace: Steering LLM Logical Reasoning via Alignment of Natural-Language and Symbolic Views  📏Linear Logic
arxiv.org·3d
Scattered Hypothesis Generation for Open-Ended Event Forecasting  🌸Bloom Variants
arxiv.org·5d
Product-of-Experts Training Reduces Dataset Artifacts in Natural Language Inference  💻Local LLMs
arxiv.org·3d
Asymptotically Optimal Tests for One- and Two-Sample Problems  🧮Kolmogorov Bounds
arxiv.org·4d
Symplectic Inductive Bias for Data-Driven Target Reachability in Hamiltonian Systems  ✨Effect Handlers
arxiv.org·4d
ARGUS: Agentic GPU Optimization Guided by Data-Flow Invariants  ⚡Incremental Computation
arxiv.org·3d
A phenotype-driven and evidence-governed framework for knowledge graph enrichment and hypotheses discovery in population data  🕸️Graph Embeddings
arxiv.org·4d

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