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
9394
posts in
351.2
ms
Show HN:
LocalGPT
– A local-first AI assistant in Rust with
persistent
memory
dev.to
·
3d
·
Discuss:
DEV
🧮
Z3
A Small-Scale System for
Autoregressive
Program Synthesis Enabling Controlled
Experimentation
arxiv.org
·
21h
🐫
Embedded OCaml
Deferred
member
initialization
in C++
sandordargo.com
·
1d
·
Discuss:
Lobsters
📝
Nix Language
Gillian
Debugging:
Swinging
Through the (Compositional Symbolic Execution) Trees, Extended Version
arxiv.org
·
1d
🔀
OCaml Multicore
AI makes it
easier
to build the wrong thing
faster
newsletter.masilotti.com
·
10h
·
Discuss:
Hacker News
🔄
Reproducible Builds
Running my
kernel
on real
hardware
kamkow1lair.pl
·
2d
·
Discuss:
Hacker News
⚙️
Operating System Design
How
Programmers
Spend
Their Time
probablydance.com
·
21h
·
Discuss:
Hacker News
🏃
Escape Analysis
Solene
'% :
Declaratively
manage containers on Linux
dataswamp.org
·
2d
·
Discuss:
Hacker News
🐳
Containerization
How to Prove the
Correctness
of AI-Generated Code Using
Formal
Methods
adacore.com
·
1d
·
Discuss:
Hacker News
🤖
Program Synthesis
A Software Engineer’s
Wish
List for
CS
Research
laser-coder.net
·
2d
·
Discuss:
Hacker News
🔤
DSLs
browser.html - a web browser built with web technologies using
Servo
as web
rendering
engine
tangled.org
·
1d
·
Discuss:
Lobsters
,
Hacker News
📺
Vintage Apple
six
thoughts
on
generating
c
wingolog.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🐫
Embedded OCaml
How2Everything
: Mining the web to evaluate and improve LLMs on real-world
procedures
allenai.org
·
1d
·
Discuss:
Hacker News
🧠
Automated Reasoning
Humanity
's last
programming
language
xeiaso.net
·
2d
·
Discuss:
Lobsters
,
Hacker News
🔤
Language Design
Outcome
Engineering
cory.news
·
5h
·
Discuss:
Hacker News
🔧
DevOps
The Problem With LLMs
deobald.ca
·
1d
·
Discuss:
Lobsters
,
Hacker News
📦
Module Systems
Redefining
Go
Functions
pboyd.io
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
r/golang
,
r/programming
🏢
Jane Street Core
I Built a 6
BIPS
JIT
in Five Months
unlikelyemphasis.substack.com
·
5d
·
Discuss:
Substack
🔄
Reproducible Builds
Large Language Models for
Mortals
book released
crimede-coder.com
·
1d
·
Discuss:
Hacker News
🎯
Hindley-Milner
Context-Driven
Development Meets Team Agents: What
Changed
and What Didn't
themobileagent.substack.com
·
1d
·
Discuss:
Substack
🔄
Reproducible Builds
Loading...
Loading more...
« Page 2
•
Page 4 »
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