๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ”„ Finite State Machines

Statecharts, Visual Programming, State Transitions, Temporal Logic

Book review: A New Kind of Science (2005)
bactra.orgยท1dยท
Discuss: Hacker News
๐Ÿ’ปCS
Building Seamless User Journeys: Your Guide to React Onboarding with OnboardJS
onboardjs.comยท21hยท
Discuss: Hacker News
๐ŸŒNetworkProtocols
Perspective Chapter: Insights from Kalman Filtering with Correlated Noises Recursive Least-Square Algorithm for State and Parameter Estimation
arxiv.orgยท4h
๐Ÿ‘๏ธSystem Observability
On Trustworthy Rule-Based Models and Explanations
arxiv.orgยท4h
โœ“Automated Theorem Proving
LLMs show cultural theory was right about the death of the author
programmablemutter.comยท14hยท
Discuss: Hacker News
โžก๏ธCategory Theory
The Right Approach to Authorization in RAG
osohq.comยท1dยท
Discuss: Hacker News
๐Ÿ›ก๏ธseL4
Semantically Separating Nominal Wyvern for Usability and Decidability
arxiv.orgยท3d
๐ŸซOCaml
I Changed My Mind: AI Will Replace Us
medium.comยท13hยท
Discuss: Hacker News
โœ“Automated Theorem Proving
GTA1: GUI Test-time Scaling Agent
arxiv.orgยท2d
๐ŸงชProperty-Based Testing
Towards Exception Safety Code Generation with Intermediate Representation Agents Framework
arxiv.orgยท2d
๐Ÿ”Formal Verification
Beyond the Linear Separability Ceiling
arxiv.orgยท4h
โžก๏ธCategory Theory
Developing Structural Analysis Tooling for Experimental Aircraft
stanleywang.devยท1dยท
Discuss: Hacker News
๐Ÿ”„Reproducible Builds
An InfoSec Architect's First Taste of Temporal
supasaf.comยท2dยท
Discuss: Hacker News
โš™๏ธPL Implementation
Helpful function to find memory leaks in JavaScript
news.ycombinator.comยท1dยท
Discuss: Hacker News
๐ŸŽApple
Medical Red Teaming Protocol of Language Models: On the Importance of User Perspectives in Healthcare Settings
arxiv.orgยท4h
๐Ÿ”Formal Verification
LLM Inference Handbook
bentoml.comยท5hยท
Discuss: Hacker News
๐Ÿ›ก๏ธseL4
MoSE: Skill-by-Skill Mixture-of-Expert Learning for Autonomous Driving
arxiv.orgยท4h
๐ŸŽฎVerification Games
PBE Meets LLM: When Few Examples Aren't Few-Shot Enough
arxiv.orgยท2d
โœ“Automated Theorem Proving
Position: We Need An Algorithmic Understanding of Generative AI
arxiv.orgยท4h
โœ“Automated Theorem Proving
Understanding Chain-of-Thought in LLMs through Information Theory
arxiv.orgยท4h
โœ“Automated Theorem Proving
Loading...Loading more...
AboutBlogChangelogRoadmap