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
🕯️ Candle
Rust ML Framework, CUDA Bindings, Model Inference, Neural Networks
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
26567
posts in
932.4
ms
Even hotter take - multi parameter type classes (what in Rust you’d
conceive
of as traits with
generics
) were a mistake
bsky.app
·
3d
·
Discuss:
Bluesky
🦀
Rust
Tutorialkit.rb
: the ruby.wasm journey goes onward—Martian Chronicles, Evil
Martians
’ team blog
evilmartians.com
·
2d
🚀
Astral
Plugin-Based
LLM
Workflows
agentplatform.app
·
1d
🦙
Ollama
Opus 4.6 Reasoning
Distill
3k
prompts
huggingface.co
·
2d
·
Discuss:
r/LocalLLaMA
🧮
SMT Solvers
SAE Feature
Matchmaking
(Layer-to-Layer) by
Mitali
M
greaterwrong.com
·
2d
🔍
AI Interpretability
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem
Proving
on
seL4
arxiv.org
·
2d
📐
TLA+
Understanding Dynamic Compute
Allocation
in
Recurrent
Transformers
arxiv.org
·
2d
🧠
LLM Inference
Edge AI Chip
Solutions
hailo.ai
·
1d
📱
Edge AI Optimization
What
Functional
Programmers
Get Wrong About Systems
iankduncan.com
·
2d
🔐
MVCC
rss.livelink.threads-in-node
: Choosing the Right Model in GitHub Copilot: A Practical Guide for Developers
techcommunity.microsoft.com
·
1d
🏗️
LLM Infrastructure
Gemini
thinking
| Gemini API | Google AI for
Developers
ai.google.dev
·
2d
✨
Gemini
Claude Skills vs. MCP: A Technical
Comparison
for AI
Workflows
intuitionlabs.ai
·
1d
🪄
Prompt Engineering
Running my
kernel
on real
hardware
kamkow1lair.pl
·
2d
·
Discuss:
Hacker News
🔐
Hardware Security
ASCII
Fire
4rknova.com
·
2d
·
Discuss:
Hacker News
🚀
Astral
The Evolution of a
Lean
Programmer
unnamed.website
·
3d
·
Discuss:
Hacker News
⚙
Rust Compiler Internals
Structure Beats
Prose
:
Specs
for Coding Agents That Actually Work
medium.com
·
2d
·
Discuss:
Hacker News
📐
TLA+
My Experience at the North American
Haskell
Hackathon
AmeriHac
thedeveloper101.github.io
·
3d
·
Discuss:
Hacker News
⚡
Comptime Programming
Grumpy
Julio
plays with CLI coding agents
jmmv.dev
·
2d
·
Discuss:
Lobsters
,
Hacker News
🔌
Claude Plugins
SubJS
: JavaScript
Runtime
for Agents. Let your agent do what it does best
emi0x7d1.dev
·
1d
·
Discuss:
Hacker News
🦕
Deno
Formal
Methods
Practice and Theory
adacore.com
·
1d
·
Discuss:
Hacker News
📐
TLA+
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