Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⚙️ PL Implementation
Compilers, Runtime Systems, JIT, Interpreter Design
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8582
posts in
109.9
ms
Sympathy
for the Model, or,
Welfare
Concerns as Takeover Risk
lesswrong.com
·
3d
🐫
OCaml
NUASM
— Neuro‑Universal‑ASM: The World's First Native Multi‑Language
Assembler
dev.to
·
4d
·
Discuss:
DEV
⚙️
Compiler Design
How to
Dynamically
Switch Local LLMs with
LangChain
dev.to
·
5d
·
Discuss:
DEV
📦
OPAM
Environment-in-the-Loop
:
Rethinking
Code Migration with LLM-based Agents
arxiv.org
·
1d
🧱
Immutable Infrastructure
Gillian
Debugging:
Swinging
Through the (Compositional Symbolic Execution) Trees, Extended Version
arxiv.org
·
2d
🔀
OCaml Multicore
Making a Hardware Accelerated Live TV Player from Scratch in C: HLS Streaming,
MPEG-TS
Demuxing
, H.264 Parsing, and Vulkan Video Decoding
blog.jaysmito.dev
·
3d
·
Discuss:
Hacker News
,
r/programming
🔌
IOKit
Learn
Weird
Programming
Languages
okienko.day
·
3d
·
Discuss:
Hacker News
⚙️
Compiler Design
Unified
crypto
pricing
API for developers
luzia.dev
·
2d
·
Discuss:
Hacker News
🔌
APIs
Show HN:
Klint
– Linux Kernel Security
Scanner
saturnine.cc
·
3d
·
Discuss:
Hacker News
🔧
Unikernel Development
I don't like
imports
kevincox.ca
·
2d
·
Discuss:
Hacker News
📦
Module Systems
DSA
Interview Questions: What Really Gets Asked (and How to
Prepare
Smart)
dsa-interview-questions.pages.dev
·
2d
·
Discuss:
Hacker News
🧩
SAT Solvers
Opus
4.5 really
changed
things
kylerush.org
·
3d
·
Discuss:
Hacker News
🔧
DevOps
AI
Workflows
with
human-in-the-loop
weavemind.ai
·
4d
·
Discuss:
Hacker News
🧠
Automated Reasoning
AI doesn't replace jobs: it
removes
the
constraint
that created them
briefings.canaryiq.com
·
2d
·
Discuss:
Hacker News
🧠
Automated Reasoning
Hud
:
Runtime
Code Sensor for Production-Safe AI Code
marketplace.visualstudio.com
·
3d
·
Discuss:
Hacker News
📊
Runtime Verification
File based project management for AI agents
markdownprojects.com
·
3d
·
Discuss:
Hacker News
💻
CLI Tools
Experiments
in building
bespoke
tools with AI
knlb.dev
·
3d
·
Discuss:
Hacker News
🧠
Automated Reasoning
EU AI Act
Compliance
for
Enterprise
AI Systems: What Your Engineering Team Needs to Build
medium.com
·
3d
·
Discuss:
Hacker News
🔍
Formal Verification
LLMs could be, but
shouldn
't be
compilers
alperenkeles.com
·
6d
·
Discuss:
Lobsters
,
Hacker News
⚙️
Compiler Design
AI
Orchestrators
Decision
Table
gist.github.com
·
3d
·
Discuss:
Hacker News
🧠
Automated Reasoning
Loading...
Loading more...
« Page 13
•
Page 15 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help