🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
💎 Refinement Types
Liquid Types, SMT Verification, Predicate Subtyping, Contract Programming
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
How to Use RTSP Protocol in Browsers and Why Direct Integration Isn't Possible
red5.net
·
8h
·
Discuss:
Hacker News
🌐
NetworkProtocols
My Favorite Word Is Discrete, What's Yours?
jacksonslipock.bearblog.dev
·
2d
·
Discuss:
Hacker News
🧩
Separation Logic
Memory-Centric AI: SanDisk's High Bandwidth Flash
sandisk.com
·
16h
·
Discuss:
Hacker News
🔧
Unikernel Development
SiFive Expands Its RISC-V Intelligence Family to Address Exploding AI Workloads
forbes.com
·
1d
·
Discuss:
Hacker News
🔧
Unikernel Development
How did MVC get so F'ed up?
stlab.cc
·
2d
·
Discuss:
Hacker News
🏹
Effect Systems
Figma – The Untold Story
platforms.substack.com
·
5h
·
Discuss:
Substack
📺
Vintage Apple
How to (actually) become an expert in .NET
mijailovic.net
·
2d
·
Discuss:
r/AskProgramming
,
r/programming
🔄
Reproducible Builds
Claude Code Anonymous
steipete.me
·
14h
·
Discuss:
Hacker News
🔧
Unikernel Development
Show HN: DevSwarm, run multiple AI coding assistants in parallel
devswarm.ai
·
1d
·
Discuss:
Hacker News
⚙️
PL Implementation
GLM 4.5 with Claude Code is a killer combination
docs.z.ai
·
3d
·
Discuss:
Hacker News
🐫
OCaml
Radicle 1.4.0
radicle.xyz
·
4d
·
Discuss:
Lobsters
,
Hacker News
❄️
Nixified Development
AI Is Currently Hitting the Wall of Code Structure
modgo.org
·
2d
·
Discuss:
Hacker News
🤖
Program Synthesis
Behavioral Fingerprinting of Large Language Models
arxiv.org
·
1d
📚
Automata Learning
Show HN: Production Manager App – Offline Payroll and Job Tracker (.exe)
github.com
·
1d
·
Discuss:
Hacker News
🔄
Reproducible Builds
Natural Latents: Latent Variables Stable Across Ontologies
lesswrong.com
·
6d
📝
Term Rewriting
Build an AI PR Reviewer with MCP and Gemini
decodingml.substack.com
·
4d
·
Discuss:
Substack
🔄
Reproducible Builds
Applying Functional Programming to a Complex Domain: A Practical Game Engine PoC
reddit.com
·
6d
·
Discuss:
r/programming
🔄
Finite State Machines
PRREACH: Probabilistic Risk Assessment Using Reachability for UAV Control
arxiv.org
·
1d
🩹
Self-Healing Systems
A Study of Large Language Models for Patient Information Extraction: Model Architecture, Fine-Tuning Strategy, and Multi-task Instruction Tuning
arxiv.org
·
1d
🧩
Parser Combinators
Emergent Social Dynamics of LLM Agents in the El Farol Bar Problem
arxiv.org
·
1d
🎮
Verification Games
Loading...
Loading more...
« Page 18
•
Page 20 »