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
🔍 Refinement Types
Liquid Haskell, SMT Integration, Verification, Predicate Types
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
81063
posts in
1.10
s
Querying
Dataverse
Using AI Builder’s Grounded Prompts
dev.to
·
3h
·
Discuss:
DEV
🧠
Semantic Parsing
How to Design LLM
Applications
for Production: A System Design Guide
dev.to
·
4h
·
Discuss:
DEV
🎨
Domain-Specific Languages
Finding the needle in the
logstack
: Reducing LLM context with
TF-IDF
eliseomartelli.it
·
3d
🏗️
MLIR
Can AI Rely on the
Systematicity
of Truth? The Challenge of Modelling
Normative
Domains
link.springer.com
·
2d
·
Discuss:
Hacker News
⚖️
Inference Rules
impl Rust: Avro
IDL
tool in Rust via
ANTLR
youtube.com
·
2d
·
Discuss:
Hacker News
,
r/rust
⚙️
TOML Parsers
CoLT
: Reasoning with Chain of
Latent
Tool Calls
arxiv.org
·
4d
🗺️
Region Inference
Gradually
Compacting
Large Language Models for Reasoning Like a Boiling Frog
arxiv.org
·
3d
🪜
Recursive Descent
Evaluating
and
mitigating
the growing risk of LLM-discovered 0-days
red.anthropic.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🛡️
Parser Security
Tip of the Week #218:
Designing
Extension Points With
FTADLE
abseil.io
·
1d
🪆
Embedded DSLs
Performance Tip of the Week #74: Avoid
sweeping
street lights under
rugs
abseil.io
·
1d
🔗
Weak References
Building "zero-gap"
secrets
for a
UGC
platform
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🔗
Hash Functions
Subscribing
Template Classes with Object
Factories
in C++
artima.com
·
1d
📋
Template Compilers
Why
YS
Chose
Clojure
yamlscript.org
·
2d
🔮
Clojure
YS
— YAML Done
Wisely
yamlscript.org
·
2d
🧼
Lisp Hygiene
**Abstract:** The hierarchy problem, stemming from the unexpectedly low
electroweak
scale compared to the Planck scale, necessitates novel theoretical
framew
...
freederia.com
·
2d
✨
Effect Inference
What if writing
tests
was a
joyful
experience?
blog.janestreet.com
·
3d
·
Discuss:
Hacker News
💬
Interactive REPLs
"Pure Virtual
Function
Called": An
Explanation
artima.com
·
1d
🔗
Weak References
AI‑Driven Inverse Design of High‑Entropy Solid‑
Electrolyte
Perovskites
for Solid‑State Lithium Batteries — **Abstract** Solid‑state lithium batteries (...
freederia.com
·
2d
🧩
Constraint Solvers
How
StrongDM
’s AI team build
serious
software without even looking at the code
simonwillison.net
·
1d
·
Discuss:
Lobsters
,
Hacker News
🎭
Program Synthesis
Securing
GenAI: Vol. 8 — Deploying AI apps
securely
pub.towardsai.net
·
2d
⚡
JIT Optimizations
Loading...
Loading more...
« Page 11
•
Page 13 »
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