Feeds to Scour
SubscribedAll
Scoured 28627 posts in 65.9 ms
I've just released version 1.1.0 of the JUnit Reporter Extension for bld  🚩CTF Writeups
github.com·7h
Go quirks: function closures capturing mutable references  📌Pin/Unpin
rednafi.com·6d·Hacker News
Coroutines for R • coro  ⏳Async/Await
coro.r-lib.org·2d
DiscreteRTC: Discrete Diffusion Policies are Natural Asynchronous Executors  🚀Async Optimization
arxiv.org·2d
Intuitive concurrent programming in any language  🧵Concurrency
lf-lang.org·6d
From Convergence to Confidence: Push-Button Verification for RDTs  📐TLA+
kcsrk.info·2d·Hacker News, Hacker News
Structured Generation for Tool Calling  🔧Developer tools
blog.dottxt.ai·1d·Hacker News
It's a lock: sync.Mutex in Go  🧵Concurrency
bitfieldconsulting.com·4d
Functional Programming in Lean - Functional Programming in Lean  💻Programming languages
leanprover.github.io·3d·Hacker News
Haskell Data Pipelines  🦀Rust Web Services
github.com·6d·Lobsters, Hacker News
DMRlib: Easy-coding and Efficient Resource Management for Job Malleability  📏Linear Types
arxiv.org·1d
penberg/betelgeuse: Completion-based I/O for Rust. No runtime, no hidden tasks.  🔄Async Rust
github.com·6d
Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes)  ⏱️Runtime Performance Analysis
arxiv.org·1d
dmiller-fork/libkr: A library of the examples from the c programming language by Kernighan and Ritchie  🦀Rust
github.com·3d·Hacker News
AHASD: Asynchronous Heterogeneous Architecture for LLM Adaptive Drafting Speculative Decoding on Mobile Devices  🧠LLM Inference
arxiv.org·2d
Should I Replan? Learning to Spot the Right Time in Robust MAPF Execution  🚀Async Optimization
arxiv.org·2d
WhisperPipe: A Resource-Efficient Streaming Architecture for Real-Time Automatic Speech Recognition  🔬RaBitQ
arxiv.org·2d
FlyCatcher: Neural Inference of Runtime Checkers from Tests  🎮Deterministic Simulation
arxiv.org·4d
AgentEval: DAG-Structured Step-Level Evaluation for Agentic Workflows with Error Propagation Tracking  💻Coding Agents
arxiv.org·3d
Sovereign Agentic Loops: Decoupling AI Reasoning from Execution in Real-World Systems  🔧Agent Tooling
arxiv.org·4d

No more posts from emschwartz's subscribed feeds.

Scour all 24433 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