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
74644
posts in
638.5
ms
Inference-Time Rethinking with
Latent
Thought
Vectors
for Math Reasoning
arxiv.org
·
22h
🧩
Constraint Programming
Beyond Function-Level Analysis: Context-Aware Reasoning for
Inter-Procedural
Vulnerability
Detection
arxiv.org
·
22h
🧪
Jepsen Testing
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
From Turbo
Pascal
to TypeScript: Anders
Hejlsberg
on Language Design, Scale, and AI
dev.to
·
2d
·
Discuss:
DEV
🔨
Compiler Design
The Secret Life of Python: The
Silent
Type (Type
Casting
)
dev.to
·
4d
·
Discuss:
DEV
🏷️
Pointer Tagging
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
Build LLM-Powered
Documentation
that Always Stays True to latest
codebeases
pub.towardsai.net
·
4d
📚
Technical Writing
**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
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