Formal Specification, Model Checking, Distributed Systems Verification, Temporal Logic

Feeds to Scour
SubscribedAll
Scoured 18220 posts in 537.9 ms
Lessons from Formally Verified Deployed Software Systems (Extended version)
arxiv.org·1d
🔄Eventual Consistency
Preview
Report Post
Use of Assertions
blog.regehr.org·14h
💻Programming languages
Preview
Report Post
Multi-Modal Program Verification in Velvet
proofsandintuitions.net·1d·
Discuss: Hacker News
🧮SMT Solvers
Preview
Report Post
Making a Language
thunderseethe.dev·7h
💻Programming languages
Preview
Report Post
Enabling autonomous agents with environment virtualization
thenewstack.io·8h
🔄Incremental Computation
Preview
Report Post
Simplex, a workflow specification language for autonomous agents
github.com·1d·
Discuss: Hacker News
💻Programming languages
Preview
Report Post
CPU-less parallel execution of lambda calculus in digital logic
arxiv.org·1d
🔓Lock-Free Structures
Preview
Report Post
Conversation: LLMs and the what/how loop
martinfowler.com·15h
🪄Prompt Engineering
Preview
Report Post
Making Claude Good at Go (with some context engineering + Tessl)
tessl.io·2d·
🔌Claude Plugins
Preview
Report Post
Simulating Pots with LTSpice
hackaday.com·3h
🔮Prefetching
Preview
Report Post
Silent Agreement Evaluation
lesswrong.com·2d
🏆LLM Benchmarking
Preview
Report Post
t2x - a CLI tool for AI-first text operations
shruggingface.com·1d
👨‍💻AI Coding
Preview
Report Post
show hn: mastra 1.0, open-source javascript agent framework from the gatsby devs
news.ycombinator.com·16h·
Discuss: Hacker News
Alpine.js
Preview
Report Post
oneAPI DPC++ Compiler and Runtime architecture design — oneAPI DPC++ Compiler documentation
intel.github.io·2d
⚙️Language Runtimes
Preview
Report Post
Evolution of LLMs use by a programmer
asfaload.com·13h·
Discuss: Hacker News
🪄Prompt Engineering
Preview
Report Post
understanding LSM trees via read, write, and space amplification
bitsxpages.com·7h
🌲LSM-Trees
Preview
Report Post
Building a Regulatory Risk Copilot with Databricks Agent Bricks (Part 1: Information Extraction)
databricks.com·10h
🏗️LLM Infrastructure
Preview
Report Post
Setting Up A Cluster of Tiny PCs For Parallel Computing - A Note To Myself
kenkoonwong.com·10h·
Discuss: Hacker News
🚀Async Optimization
Preview
Report Post
Meet the IBM researchers trying to make LLMs smarter
research.ibm.com·17h
🏆LLM Benchmarking
Preview
Report Post
Rust async combinators for elegant and secure concurrency
kerkour.com·1d·
Discuss: r/rust
🔄Async Rust
Preview
Report Post

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