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
Haskell, Rust, Functional languages
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
82923
posts in
598.7
ms
Open source
USearch
library
jumpstarts
ScyllaDB vector search
thenewstack.io
·
1d
🔧
MLIR
LiteRT
for Web with
LiteRT.js
| Google AI Edge | Google AI for Developers
ai.google.dev
·
2d
🤖
AI
computer graphics, maths, shaders,
fractals
,
demoscene
iquilezles.org
·
4d
✅
Formal Verification
OSTEP
Chapters
6,7
muratbuffalo.blogspot.com
·
2d
·
Discuss:
Blogger
🔒
Hardware Security
Running Local LLMs as Your AI Coding
Assistant
on Apple
Silicon
dev.to
·
10h
·
Discuss:
DEV
🤖
AI
Hello Edge: Keyword
Spotting
on
Microcontrollers
dev.to
·
18h
·
Discuss:
DEV
🔒
Hardware Security
olehpona/DocxInfer
: cli tool written in Rust, that allows you to convert .docx file filled with Jinja2 markup into json file describing variables set in the markup
github.com
·
1d
·
Discuss:
r/rust
🤖
AI
camel-ai/seta-env
: 💻
SETA
: Scaling Environments for Terminal Agents - Environments
github.com
·
1d
·
Discuss:
r/LocalLLaMA
🤖
AI
LLM
Vibe
Coding or
Illiterate
Programming
slott56.github.io
·
2d
✅
Formal Verification
Architecture for Flow •
Susanne
Kaiser
& James Lewis • GOTO 2026
youtube.com
·
2d
🌐
Decentralized AI
LangChain
Academy's
LangSmith
Essentials Course
i-programmer.info
·
3d
🔧
MLIR
My Take on
Vibe
Coding
cedardb.com
·
3d
🔧
MLIR
AFD-INSTRUCTION: A Comprehensive
Antibody
Instruction Dataset with Functional
Annotations
for LLM-Based Understanding and Design
arxiv.org
·
1d
🔧
MLIR
El Agente
Estructural
: An
Artificially
Intelligent Molecular Editor
arxiv.org
·
2d
🤖
AI
The ‘weird’ things that happened when
Clickhouse
replaced
C++ with Rust
thenewstack.io
·
2d
·
Discuss:
Hacker News
🔧
MLIR
wingolog
wingolog.org
·
1d
🔧
MLIR
Flavours
of
Reflection
semantics.bernardteo.me
·
4d
·
Discuss:
Lobsters
,
r/cpp
🔧
MLIR
YAML
Best
Practices
yamlscript.org
·
9h
🔧
MLIR
**Abstract:** This paper introduces a novel framework, Automated Protocol Verification and Optimization via Multi-Modal Data Fusion and
Recursive
HyperScore
...
freederia.com
·
1d
✅
Formal Verification
The Fall of
YAMLScript
!
yamlscript.org
·
9h
🔧
MLIR
Loading...
Loading more...
« Page 15
•
Page 17 »
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