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

Feeds to Scour
SubscribedAll
Scoured 18252 posts in 179.3 ms
Lessons from Formally Verified Deployed Software Systems (Extended version)
arxiv.org·1d
🔄Eventual Consistency
Preview
Report Post
weitianxin/Awesome-Agentic-Reasoning
github.com·50m
🪄Prompt Engineering
Preview
Report Post
In Praise of APL (1977)
jsoftware.com·59m·
Discuss: Hacker News
🪄Prompt Engineering
Preview
Report Post
Multi-Modal Program Verification in Velvet
proofsandintuitions.net·1d·
Discuss: Hacker News
🧮SMT Solvers
Preview
Report Post
Use of Assertions
blog.regehr.org·18h
💻Programming languages
Preview
Report Post
Making a Language
thunderseethe.dev·11h
💻Programming languages
Preview
Report Post
Enabling autonomous agents with environment virtualization
thenewstack.io·11h
🔄Incremental Computation
Preview
Report Post
CPU-less parallel execution of lambda calculus in digital logic
arxiv.org·1d
🔓Lock-Free Structures
Preview
Report Post
Making Claude Good at Go (with some context engineering + Tessl)
tessl.io·2d·
🔌Claude Plugins
Preview
Report Post
Conversation: LLMs and the what/how loop
martinfowler.com·19h
🪄Prompt Engineering
Preview
Report Post
Simplex, a workflow specification language for autonomous agents
github.com·1d·
Discuss: Hacker News
💻Programming languages
Preview
Report Post
Simulating Pots with LTSpice
hackaday.com·6h
🔮Prefetching
Preview
Report Post
t2x - a CLI tool for AI-first text operations
shruggingface.com·1d
👨‍💻AI Coding
Preview
Report Post
AI agents and IT ops: Cowboy chaos rides again
infoworld.com·44m
🆕New AI
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·16h·
Discuss: Hacker News
🪄Prompt Engineering
Preview
Report Post
Silent Agreement Evaluation
lesswrong.com·3d
🏆LLM Benchmarking
Preview
Report Post
Building a Regulatory Risk Copilot with Databricks Agent Bricks (Part 1: Information Extraction)
databricks.com·13h
🏗️LLM Infrastructure
Preview
Report Post
Setting Up A Cluster of Tiny PCs For Parallel Computing - A Note To Myself
kenkoonwong.com·14h·
Discuss: Hacker News
🚀Async Optimization
Preview
Report Post
Bye Bye Big Tech Step 5: AI assistents and chatbots
bitsoffreedom.nl·26m
🆕New AI
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