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
🔍 Type Inference
Hindley-Milner, Unification, Constraint Solving, OCaml Types
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
73250
posts in
449.7
ms
rePIRL
: Learn
PRM
with Inverse RL for LLM Reasoning
arxiv.org
·
13h
💬
Prompt Engineering
LogicSkills
: A Structured Benchmark for
Formal
Reasoning in Large Language Models
arxiv.org
·
1d
📊
Datalog
The
JSNLV
Receptacle
jsnlxndrlv.neocities.org
·
4d
🕰️
Hybrid Logical Clocks
Pydantic
Monty
: A Secure Python Interpreter for AI Agents
pydevtools.com
·
4d
🏗️
Pavex
The Spec Problem, Part 2:
Dialectical
Refinement
blog.gorewood.games
·
4d
🎭
Program Synthesis
The Secret Life of Python: The
Silent
Type (Type
Casting
)
dev.to
·
5d
·
Discuss:
DEV
🏷️
Pointer Tagging
Fastfood
: Approximate Kernel Expansions in
Loglinear
Time
dev.to
·
2d
·
Discuss:
DEV
🎯
Qdrant
Finding the needle in the
logstack
: Reducing LLM context with
TF-IDF
eliseomartelli.it
·
4d
🦙
Ollama
language games
ascara.bearblog.dev
·
4d
📖
Interactive Fiction
Dynamic Reports: Natural Language
Queries
with
On-the-Fly
Code Generation
angulararchitects.io
·
4d
🏗️
Pavex
The
Null
Pointer
Crisis: Running God-Mode Software on Legacy Hardware
news.ycombinator.com
·
5d
·
Discuss:
Hacker News
🔄
Memory Disambiguation
Build LLM-Powered
Documentation
that Always Stays True to latest
codebeases
pub.towardsai.net
·
4d
📚
Technical Writing
LlamaLib
: A cross-platform C++/C# library for local LLMs based on
llama.cpp
github.com
·
4d
·
Discuss:
Hacker News
🦙
Ollama
Fine‑Grained Differential Privacy for
Genomic
Risk Prediction in Multi‑Tenant
Telehealth
Platforms **Abstract**
Telehealth
services increasingly integrate ge...
freederia.com
·
4d
🔐
Homomorphic Secret Sharing
libfirm/cparser
: C99 parser and frontend for
libfirm
github.com
·
5d
·
Discuss:
Hacker News
🏗️
MLIR
How
separating
logic and search boosts AI agent
scalability
artificialintelligence-news.com
·
4d
⚓
Anchors
Why you should
consider
F#
asfaload.com
·
4d
·
Discuss:
Hacker News
📏
Linear Types
**Abstract:** This paper introduces a novel approach to automated theorem
proving
(
ATP
) by dynamically generating and optimizing theorem statements within a ...
freederia.com
·
4d
🧮
SMT Solvers
Loading...
Loading more...
« Page 14
•
Page 16 »
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