🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔤 DSLs
Domain-Specific Languages, Language Design, Compilers, Interpreters
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Reframe – Open‑Source ISO20022 Message Transformer in Rust
github.com
·
11h
·
Discuss:
Hacker News
🐫
OCaml
CORE: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks
arxiv.org
·
1d
🔬
Static Analysis
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com
·
3h
·
Discuss:
r/programming
🐫
OCaml
Binding Application in Idris
andrevidela.com
·
2h
·
Discuss:
Hacker News
🔠
Type-Level Programming
Specification Grounding: The Missing Link in Vibe Coding
unstract.com
·
8h
·
Discuss:
Lobsters
,
Hacker News
🔍
Formal Verification
A Refreshing SQL Injection Discovery in Z-Push
xbow.com
·
8h
·
Discuss:
Hacker News
🛡️
seL4
Every AI Integration Is Held Together with Parsing Logic and Prayer
blog.dottxt.co
·
13h
·
Discuss:
Hacker News
🤖
Program Synthesis
Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com
·
1d
·
Discuss:
Hacker News
🐫
Embedded OCaml
Show HN: Bedrock – An 8-bit computing system for running programs anywhere
benbridle.com
·
3h
·
Discuss:
Hacker News
⚙️
PL Implementation
Go Internals: How much can we figure by tracing a syscall in Go?
csunderthehood.substack.com
·
5h
·
Discuss:
r/golang
,
r/programming
🍎
XNU Internals
Using Self-Hosted Large Language Models (LLMs) Securely in Government
digitaltrade.blog.gov.uk
·
1d
·
Discuss:
Hacker News
🛡️
seL4
Show HN: Please check out my Free OpenAPI audit tool
devunus.com
·
4h
·
Discuss:
Hacker News
🌐
NetworkProtocols
Migrate Enterprise Classic ASP Applications to ASP.NET Core
faciletechnolab.com
·
1d
·
Discuss:
r/programming
⚙️
PL Implementation
Writing Bounds-Safe Code in C with Arrays
uecker.codeberg.page
·
8h
·
Discuss:
Hacker News
🔬
Static Analysis
The Next Wave
dumindu.github.io
·
6h
·
Discuss:
Hacker News
,
r/programming
🤖
Program Synthesis
KSAT
corrode.dev
·
1d
·
Discuss:
Hacker News
⎈
Kubernetes
Introducing Rudy: A Toolchain for Rust Debuginfo
samjs.io
·
11h
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🐫
Embedded OCaml
RFC 9309 – Robots Exclusion Protocol
datatracker.ietf.org
·
14h
·
Discuss:
Hacker News
📡
Network Protocol Design
ANN: Miso-lynx, create iOS apps with Haskell and LynxJS
github.com
·
1d
·
Discuss:
Hacker News
❄️
Nix
REST Is for Humans, Not for APIs
jabbawookiees.bearblog.dev
·
1d
·
Discuss:
Hacker News
🌐
NetworkProtocols
Loading...
Loading more...
Page 2 »