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
💻 Programming languages
programming language theory
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
20624
posts in
407.9
ms
RocqSmith
: Can Automatic Optimization
Forge
Better Proof Agents?
arxiv.org
·
1d
🧮
SMT Solvers
Contextual
Drag
: How Errors in the Context Affect LLM Reasoning
arxiv.org
·
2d
🪄
Prompt Engineering
Ambiguity,
legibility
, and working in the open (
ambiguiti.es
)
blog.dougbelshaw.com
·
5d
🎨
Design Tokens
New comment by
recursivedoubts
in "English professors double down on requiring printed copies of
readings
"
gist.github.com
·
5d
·
Discuss:
Hacker News
💡
Readwise
Assume
Possible
questionsconsidered.blog
·
5d
🧮
SMT Solvers
Code. Check.
Commit
. 🚀 Never Leave the Terminal with Claude Code +
SonarQube
MCP
foojay.io
·
4d
🔌
Claude Plugins
luml-ai/luml
:
LUML
is an open-source
MLOps/LLMOps
platform, allowing to build and deploy AI/ML models in a matter of minutes.
github.com
·
3d
·
Discuss:
Hacker News
🦙
Ollama
Building my
self-hosted
cloud coding agent
stanislas.blog
·
4d
⛰
Alpine.js
LLM Fine-tuning Providers. Customize Large Language Models on… | by
Xin
Cheng
| Feb, 2026
billtcheng2013.medium.com
·
5d
🏗️
LLM Infrastructure
Software That
Survives
blog.gorewood.games
·
4d
💾
Persistence Strategies
RDEL
#127: How is Google using AI for internal code
migrations
?
rdel.substack.com
·
5d
·
Discuss:
Substack
🏆
LLM Benchmarking
Building a browser API in one shot
nolanlawson.com
·
6d
·
Discuss:
Lobsters
,
Hacker News
🦕
Deno
The
Coherence
Premium
joanwestenberg.com
·
4d
·
Discuss:
Hacker News
💰
Tokenomics
Bjarne
Stroustrup
seems like an unpleasant person to work with
gigamonkeys.com
·
5d
·
Discuss:
r/programming
✏️
Code Editors
Intent-Driven
Text
Transformation
for the Terminal
getxf.dev
·
5d
·
Discuss:
Hacker News
✏️
Code Editors
Floating-point accuracy
visualization
example: the
ULP
error for each math function coming with Julia
discourse.julialang.org
·
5d
·
Discuss:
Hacker News
🔢
Algebraic Data Types
Documenting C++ with
Doxygen
and
Sphinx
rgoswami.me
·
5d
·
Discuss:
Hacker News
📦
uv
(1) Demystifying
SKOS
for Practitioners: A Practical Guide to Controlled
Vocabularies
moderndata101.substack.com
·
5d
·
Discuss:
Substack
🧠
Obsidian
A
TypeScript
Interactive
Fiction
Platform
sharpee.net
·
6d
·
Discuss:
Hacker News
✏️
Code Editors
An AI
Workflow
to Slow Down and
Reflect
in the Age of Inference-Speed
souravinsights.com
·
3d
·
Discuss:
Hacker News
👨💻
AI Coding
Loading...
Loading more...
« Page 19
•
Page 21 »
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