🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔄 Finite State Machines
Statecharts, Visual Programming, State Transitions, Temporal Logic
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
10 Insights from Integrating AI into My Coding Workflow
thenewstack.io
·
1h
🤖
Program Synthesis
The XINU Page
xinu.cs.purdue.edu
·
13h
·
Discuss:
Hacker News
📦
Unikernel Systems
LLM Failures
funcall.blogspot.com
·
2d
·
Discuss:
Hacker News
🐫
OCaml
Lisp error handling (advanced): how handler-bind doesn't unwind the stack
lisp-journey.gitlab.io
·
3d
·
Discuss:
Hacker News
🛡️
seL4
StreamDiffusion: A Pipeline-level Solution for Real-time Interactive Generation
arxiv.org
·
2d
🧪
Property-Based Testing
Using Self-Hosted Large Language Models (LLMs) Securely in Government
digitaltrade.blog.gov.uk
·
1d
·
Discuss:
Hacker News
🔤
DSLs
Types are Transforming Python
spin.atomicobject.com
·
2d
·
Discuss:
Hacker News
🐫
Embedded OCaml
Ready lists
11011110.github.io
·
3d
·
Discuss:
Hacker News
💻
CS
Structured Prompts, Better Outcomes? Exploring the Effects of a Structured Interface with ChatGPT in a Graduate Robotics Course
arxiv.org
·
9h
⚙️
PL Implementation
Vibe Coding in BASIC
goto10retro.com
·
1d
·
Discuss:
Hacker News
🐫
Embedded OCaml
Basic Computations in Fault Tree Analysis
arxiv.org
·
2d
🔬
Static Analysis
DocCHA: Towards LLM-Augmented Interactive Online diagnosis System
arxiv.org
·
9h
🔍
Formal Verification
AutoTriton: Automatic Triton Programming with Reinforcement Learning in LLMs
arxiv.org
·
2d
🔠
Type-Level Programming
Reframe – Open‑Source ISO20022 Message Transformer in Rust
github.com
·
23h
·
Discuss:
Hacker News
🔤
DSLs
Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
arxiv.org
·
3d
🛡️
seL4
Real-Time Decorrelation-Based Anomaly Detection for Multivariate Time Series
arxiv.org
·
9h
🧪
Property-Based Testing
Multilayer GNN for Predictive Maintenance and Clustering in Power Grids
arxiv.org
·
9h
👁️
System Observability
Measuring how changes in code readability attributes affect code quality evaluation by Large Language Models
arxiv.org
·
2d
🔬
Static Analysis
Curriculum Negative Mining For Temporal Networks
arxiv.org
·
9h
➡️
Category Theory
From Autonomy to Agency: Agentic Vehicles for Human-Centered Mobility Systems
arxiv.org
·
3d
💻
CS
Loading...
Loading more...
« Page 4
•
Page 6 »