๐ฟ๏ธ 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
ยท
14h
ยท
Discuss:
Hacker News
๐
NetworkProtocols
My Favorite Word Is Discrete, What's Yours?
jacksonslipock.bearblog.dev
ยท
2d
ยท
Discuss:
Hacker News
๐งฉ
Separation Logic
Changes to Camunda Helm Sub-Charts: What You Need to Know
camunda.com
ยท
5h
ยท
Discuss:
Hacker News
โ
Kubernetes
Memory-Centric AI: SanDisk's High Bandwidth Flash
sandisk.com
ยท
22h
ยท
Discuss:
Hacker News
๐ง
Unikernel Development
Figma โ The Untold Story
platforms.substack.com
ยท
10h
ยท
Discuss:
Substack
๐บ
Vintage Apple
Esoteric Languages Challenge Coders to Think Way Outside the Box
spectrum.ieee.org
ยท
5d
ยท
Discuss:
Hacker News
,
r/programming
,
r/technews
๐งฎ
Lambda Calculus
How to (actually) become an expert in .NET
mijailovic.net
ยท
2d
ยท
Discuss:
r/AskProgramming
,
r/programming
๐
Reproducible Builds
Claude Code Anonymous
steipete.me
ยท
19h
ยท
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
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
ยท
4d
ยท
Discuss:
Hacker News
๐ซ
OCaml
AI Is Currently Hitting the Wall of Code Structure
modgo.org
ยท
3d
ยท
Discuss:
Hacker News
๐ค
Program Synthesis
Behavioral Fingerprinting of Large Language Models
arxiv.org
ยท
2d
๐
Automata Learning
ChatGPT is NOT a LLM โ GPT is
vincirufus.com
ยท
2d
ยท
Discuss:
Hacker News
๐
Automata Learning
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
Show HN: Production Manager App โ Offline Payroll and Job Tracker (.exe)
github.com
ยท
1d
ยท
Discuss:
Hacker News
๐
Reproducible Builds
PRREACH: Probabilistic Risk Assessment Using Reachability for UAV Control
arxiv.org
ยท
2d
๐ฉน
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
ยท
2d
๐งฉ
Parser Combinators
Loading...
Loading more...
« Page 19
โข
Page 21 »