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
74643
posts in
1.12
s
Echoes as
Anchors
: Probabilistic Costs and Attention
Refocusing
in LLM Reasoning
arxiv.org
·
20h
💬
Prompt Engineering
Inference-Time Rethinking with
Latent
Thought
Vectors
for Math Reasoning
arxiv.org
·
20h
🧩
Constraint Programming
Issue 742
iosdevweekly.com
·
4d
🧊
Iced
The Spec Problem, Part 2:
Dialectical
Refinement
blog.gorewood.games
·
4d
🎭
Program Synthesis
Hamming
Distance for Hybrid Search in
SQLite
notnotp.com
·
5d
·
Discuss:
r/programming
📋
Columnar Storage
The Secret Life of Python: The
Silent
Type (Type
Casting
)
dev.to
·
4d
·
Discuss:
DEV
🏷️
Pointer Tagging
Fastfood
: Approximate Kernel Expansions in
Loglinear
Time
dev.to
·
1d
·
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
Sparse
Sum
‑of‑
Squares
Certification for High‑Dimensional Stochastic Control Systems — ### Abstract High‑dimensional stochastic control systems—such as ...
freederia.com
·
3d
🔢
Numerical Methods
The
Null
Pointer
Crisis: Running God-Mode Software on Legacy Hardware
news.ycombinator.com
·
4d
·
Discuss:
Hacker News
🔄
Memory Disambiguation
**Abstract:** This research introduces an automated protocol optimization framework for enhancing the performance of cryogenic quantum
annealers
(
CQAs
). Leve...
freederia.com
·
3d
⚓
Anchors
LlamaLib
: A cross-platform C++/C# library for local LLMs based on
llama.cpp
github.com
·
3d
·
Discuss:
Hacker News
🦙
Ollama
libfirm/cparser
: C99 parser and frontend for
libfirm
github.com
·
4d
·
Discuss:
Hacker News
🏗️
MLIR
STIP
: Efficient and Secure Non-Interactive Transformer Inference via Compact
Packing
eprint.iacr.org
·
6d
🔢
Homomorphic Encryption
Can an LLM Know That It
Knows
?
pub.towardsai.net
·
4d
💬
Prompt Engineering
How
separating
logic and search boosts AI agent
scalability
artificialintelligence-news.com
·
3d
⚓
Anchors
Why you should
consider
F#
asfaload.com
·
3d
·
Discuss:
Hacker News
📏
Linear Types
Loading...
Loading more...
« Page 12
•
Page 14 »
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