🐿️ 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
Perspective: A data visualization and analytics component for large datasets
perspective.finos.org
·
1d
·
Discuss:
Hacker News
👁️
System Observability
The Ancient History of Compression Algorithms
cs4fn.org
·
2d
·
Discuss:
Hacker News
🐫
Embedded OCaml
The case for building operator interfaces before AI agents
henrypray.com
·
2d
·
Discuss:
Hacker News
👁️
System Observability
Don’t compare programming to the real world
expressionstatement.com
·
2d
·
Discuss:
r/programming
👁️
System Observability
RFC 9309 – Robots Exclusion Protocol
datatracker.ietf.org
·
2d
·
Discuss:
Hacker News
📡
Network Protocol Design
AI Models for Pokemon Games
kevinlu.ai
·
2d
·
Discuss:
Hacker News
🎮
Verification Games
Using Clouds for too long might have made you incompetent
loudwhisper.me
·
4h
·
Discuss:
Hacker News
⎈
Kubernetes
Making Docs Better for AI and Humans
redmonk.com
·
1d
·
Discuss:
Hacker News
🤖
Program Synthesis
From Cloud Native to AI Native: Why Your AI Architecture Needs a Reality Check
brianchristner.io
·
1d
·
Discuss:
Hacker News
🔄
Reproducible Builds
Microbeam Decision Pathways for Goal-Aligned Autonomous Agents
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🔠
Type-Level Programming
Measuring the Impact of AI on Experienced Open-Source Developer Productivity
metr.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
👁️
System Observability
High-Resolution Visual Reasoning via Multi-Turn Grounding-Based Reinforcement Learning
arxiv.org
·
3d
🎮
Verification Games
A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems
arxiv.org
·
3d
🔍
Formal Verification
CLI-RAG: A Retrieval-Augmented Framework for Clinically Structured and Context Aware Text Generation with LLMs
arxiv.org
·
2d
🔬
Static Analysis
FEVO: Financial Knowledge Expansion and Reasoning Evolution for Large Language Models
arxiv.org
·
3d
🐫
OCaml
Designing a CPU with only Memory Chips
hackaday.com
·
1d
⚙️
Operating System Design
Cache Benchmarks
github.com
·
21h
·
Discuss:
Hacker News
👁️
System Observability
From LLMs to Actions: Latent Codes as Bridges in Hierarchical Robot Control
arxiv.org
·
3d
🐫
OCaml
Coding Triangle: How Does Large Language Model Understand Code?
arxiv.org
·
3d
🤖
Program Synthesis
A Neural Representation Framework with LLM-Driven Spatial Reasoning for Open-Vocabulary 3D Visual Grounding
arxiv.org
·
2d
🔤
DSLs
Loading...
Loading more...
« Page 11
•
Page 13 »