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
🔗 Dependent Types
Idris, Agda, Proof Assistants, Type-Level Programming
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
74033
posts in
692.9
ms
This Docker
Compose
visual
builder
is the tool I wish I had as a beginner
xda-developers.com
·
1h
🐳
Docker
Dirk
Eddelbuettel
:
chronometre
: A new package (pair) demo for R and Python
dirk.eddelbuettel.com
·
2d
🐻❄️
Polars
Still Manual? Automated
Linter
Configuration via
DSL-Based
LLM Compilation of Coding Standards
arxiv.org
·
15h
🏗️
MLIR
SectorC
: a C compiler in 512
bytes
blog.adafruit.com
·
21h
📏
Picolibc
On
convexity
and efficiency in
semantic
systems
arxiv.org
·
15h
📝
Parser Combinators
Reducing
Technical
Debt: Top Five Coding Resources
loufranco.com
·
1d
🔨
Incremental Compilation
VSORA
Board Chair Sandra
Rivera
on Solutions for AI Inference and LLM Processing
semiwiki.com
·
1d
💬
Prompt Engineering
Expectation
and
Copysets
buttondown.com
·
1d
·
Discuss:
Hacker News
,
Hacker News
🔐
Homomorphic Secret Sharing
Autobiolocation
autobiolocation.is
·
1d
·
Discuss:
Hacker News
⚓
Anchors
wareya/pred
_
recdec
: Predicated LL (recursive descent) parser in pure rust
github.com
·
1d
·
Discuss:
Hacker News
🍱
Nom
Building Production-Ready AI
Chatbots
: Lessons from 6 Months of
Failure
lojiq.ai
·
2h
·
Discuss:
DEV
💬
Prompt Engineering
Let
Lambda
Come Over
yamlscript.org
·
3d
λ
Functional Programming
Recursive
self-improvement
from AI models
marginalrevolution.com
·
1h
💬
Prompt Engineering
Learning Rust:
Custom
Error
types
that actually work!
rup12.net
·
21h
·
Discuss:
Lobsters
,
Hacker News
🛡️
Error Handling
A
Proof
of P =
NP
dev.to
·
1d
·
Discuss:
DEV
💃
Dancing Links
Show HN: Deploy Multiple
OpenClaw
Assistants
Easily
moltbot-online.com
·
3h
·
Discuss:
Hacker News
🏗️
Gazebo
Redefining
Go
Functions
pboyd.io
·
5h
·
Discuss:
Lobsters
,
Hacker News
,
r/golang
🐹
golang
5 LLM
Workflow
Patterns for Building Scalable AI Applications: A Complete Guide (With
Examples
)
pub.towardsai.net
·
14h
💬
Prompt Engineering
Designing
a Cost-Efficient
Agentic
System
p.agnihotry.com
·
1d
·
Discuss:
Hacker News
⚓
Anchors
Your
VCL
App: 4x to 11x Faster Math Performance with
Elements
blogs.remobjects.com
·
1d
·
Discuss:
Hacker News
🛣️
Highway
Loading...
Loading more...
« Page 6
•
Page 8 »
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