๐Ÿฟ๏ธ 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

Building Seamless User Journeys: Your Guide to React Onboarding with OnboardJS
onboardjs.comยท19hยท
Discuss: Hacker News
๐ŸŒNetworkProtocols
Show HN: A fast 3D collision detection algorithm
cairno.substack.comยท1dยท
Discuss: Substack
๐ŸŽฎVerification Games
The Right Approach to Authorization in RAG
osohq.comยท1dยท
Discuss: Hacker News
๐Ÿ›ก๏ธseL4
Developing Structural Analysis Tooling for Experimental Aircraft
stanleywang.devยท1dยท
Discuss: Hacker News
๐Ÿ”„Reproducible Builds
Semantically Separating Nominal Wyvern for Usability and Decidability
arxiv.orgยท3d
๐ŸซOCaml
LLMs show cultural theory was right about the death of the author
programmablemutter.comยท13hยท
Discuss: Hacker News
โžก๏ธCategory Theory
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ยท2h
โžก๏ธCategory Theory
An InfoSec Architect's First Taste of Temporal
supasaf.comยท2dยท
Discuss: Hacker News
โš™๏ธPL Implementation
Medical Red Teaming Protocol of Language Models: On the Importance of User Perspectives in Healthcare Settings
arxiv.orgยท2h
๐Ÿ”Formal Verification
Helpful function to find memory leaks in JavaScript
news.ycombinator.comยท1dยท
Discuss: Hacker News
๐ŸŽApple
I Changed My Mind: AI Will Replace Us
medium.comยท11hยท
Discuss: Hacker News
โœ“Automated Theorem Proving
LLM Inference Handbook
bentoml.comยท3hยท
Discuss: Hacker News
๐Ÿ›ก๏ธseL4
MoSE: Skill-by-Skill Mixture-of-Expert Learning for Autonomous Driving
arxiv.orgยท2h
๐ŸŽฎ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ยท2h
โœ“Automated Theorem Proving
Understanding Chain-of-Thought in LLMs through Information Theory
arxiv.orgยท2h
โœ“Automated Theorem Proving
Chat2SPaT: A Large Language Model Based Tool for Automating Traffic Signal Control Plan Management
arxiv.orgยท2d
โš™๏ธPL Implementation
SQLBarber: A System Leveraging Large Language Models to Generate Customized and Realistic SQL Workloads
arxiv.orgยท2d
๐Ÿ”คDSLs
Loading...Loading more...
AboutBlogChangelogRoadmap