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
⚙️ Parser Generators
ANTLR, Yacc, Grammar Tools, Language Workbenches
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
18216
posts in
407.4
ms
A Guide to Large Language Models in Modeling and
Simulation
: From Core
Techniques
to Critical Challenges
arxiv.org
·
3d
📐
Binary Grammars
Automated Customization of LLMs for Enterprise Code
Repositories
Using Semantic
Scopes
arxiv.org
·
3d
🗣️
Domain-Specific Languages
Yet Another Set of Claude Code
Plugins
(But Maybe
Useful
?)
dev.to
·
1d
·
Discuss:
DEV
⚡
Proof Automation
An Introduction to
Retrieval
Augmented
Generation (RAG)
dev.to
·
5d
·
Discuss:
DEV
📊
Multi-vector RAG
Local Agent
Bench
: Test 11 small LLMs on tool-calling
judgment
, on CPU, no GPU
github.com
·
1d
·
Discuss:
Hacker News
,
r/LocalLLaMA
⚡
Performance Mythology
GABRIEL – turn messy
qualitative
corpora
into analysis-ready datasets
github.com
·
3d
·
Discuss:
Hacker News
🎙️
Whisper
Context
Engineering for Coding Agents
martinfowler.com
·
3d
·
Discuss:
Hacker News
✨
Effect Handlers
annotate
–> preview –> code generation
intentify.dev
·
3d
·
Discuss:
Hacker News
🦀
Rust Macros
I Built a 6
BIPS
JIT
in Five Months
unlikelyemphasis.substack.com
·
2d
·
Discuss:
Substack
⚙️
RISC-V Microcode
How to Build Safe
Natural
Language-Driven
APIs
techcommunity.microsoft.com
·
5d
·
Discuss:
Hacker News
🌀
Brotli Internals
Tried my AI skill generator. A
12-char
typo beat a
3k-word
spec
goldsborough.io
·
3d
·
Discuss:
Hacker News
⚡
Proof Automation
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
3d
·
Discuss:
Lobsters
,
Hacker News
⚔️
Lean Tactics
Training a Small Language Model
elijahpotter.dev
·
6d
·
Discuss:
Hacker News
🤖
Grammar Induction
What does it take to build towards 100
PRs/day
per
engineer
?
jonathannen.com
·
3d
·
Discuss:
Hacker News
⚡
Proof Automation
How I Program with LLMs
blog.wesleyabbey.io
·
4d
·
Discuss:
Hacker News
⚔️
Lean Tactics
Mekara
:
Workflows
as Code Proof-of-Concept
meksys-dev.github.io
·
5d
·
Discuss:
Hacker News
⚡
Proof Automation
Beyond
Roleplay
:
Jailbreaking
Gemini with drugs and ritual
tidepool.leaflet.pub
·
3d
·
Discuss:
Hacker News
📼
Cassette Hacking
Sandboxing
AI agents in Linux
blog.senko.net
·
5d
🛡️
WASM Sandboxing
Detecting
backdoored
language models at scale
microsoft.com
·
4d
·
Discuss:
Hacker News
🧪
Protocol Fuzzing
Building a C
compiler
with a team of parallel
Claudes
anthropic.com
·
4d
·
Discuss:
Lobsters
,
Hacker News
,
r/ClaudeAI
,
r/Compilers
,
r/embedded
,
r/rust
🔩
Systems Programming
Loading...
Loading more...
« Page 4
•
Page 6 »
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