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
📏 Linear Logic
Resource Awareness, Session Types, Proof Nets, Substructural Logic
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23331
posts in
899.3
ms
F# Weekly #6, 2026 –
FScript
& An ode to “Slowly”
handcrafted
code
sergeytihon.com
·
3d
💧
Liquid Types
theHigherGeometer
thehighergeometer.wordpress.com
·
6d
🔲
Proof Irrelevance
Claude Code: Production ready code in a two-week
sprint
thoughtbot.com
·
2d
⚡
Proof Automation
Matchlock
: Linux-based
sandboxing
for AI agents
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
🛡️
WASM Sandboxing
A much
needed
wrapper
dev.to
·
3d
·
Discuss:
DEV
⚡
gRPC
The
Importance
of
Prompts
in the AI Era (and Why Prompt Sharing Platforms Matter)
dev.to
·
3d
·
Discuss:
DEV
📟
CLI Design
Geospatial
System Design
Patterns
systemdr.substack.com
·
3d
·
Discuss:
Substack
📏
Range Queries
Still Manual? Automated
Linter
Configuration via
DSL-Based
LLM Compilation of Coding Standards
arxiv.org
·
1d
🗣️
Domain-Specific Languages
How2Everything
: Mining the Web for How-To
Procedures
to Evaluate and Improve LLMs
arxiv.org
·
1d
🗺️
Competency Maps
LLMs Are Prediction
Machines
kaelandt.github.io
·
2d
·
Discuss:
Hacker News
🧮
Kolmogorov Bounds
Deobfuscation
and Analysis of
Ring-1.io
back.engineering
·
2d
·
Discuss:
Hacker News
🔒
Secure Boot
Adversarial
Reasoning:
Multiagent
World Models for closing the Simulation Gap
latent.space
·
3d
·
Discuss:
Hacker News
,
Hacker News
🔲
Cellular Automata
How I
squeezed
a
BERT
sentiment analyzer into 1GB RAM on a $5 VPS
mohammedeabdelaziz.github.io
·
4d
·
Discuss:
Hacker News
🌀
Brotli Dictionary
NotebookLM
: The AI that only
learns
from you
byandrev.dev
·
3d
·
Discuss:
Hacker News
💻
Local LLMs
A Neuro Symbolic Architecture For Induced
Epistemic
Agency and System 2 Reasoning in
Quantized
Large Language Models
papers.ssrn.com
·
5d
·
Discuss:
Hacker News
🔗
Constraint Handling
Unlocking core memories with
GoldSrc
engine and
CS
1.6 (2025)
danielbrendel.com
·
3d
·
Discuss:
Hacker News
⚡
Homebrew CPUs
How to set up Claude Code: a
context-first
approach
dhirajtourani.com
·
3d
·
Discuss:
Hacker News
,
r/programming
⚡
Effectful Programming
LLMs could be, but
shouldn
't be
compilers
alperenkeles.com
·
5d
·
Discuss:
Lobsters
,
Hacker News
💧
Liquid Types
Understanding LLM Inference
Engines
: Inside
Nano-vLLM
(Part 2)
neutree.ai
·
5d
·
Discuss:
Hacker News
💻
Local LLMs
Ask HN: How would you design an
LLM-unfriendly
language?
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
🌳
Context free grammars
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