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-Level Programming
Dependent Haskell, GADTs, Type Families, Kind System
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
18353
posts in
224.2
ms
Linear
Realisability
and
Implicative
Algebras
arxiv.org
·
19h
📏
Linear Logic
Quantifying
Energy-Efficient Edge Intelligence: Inference-time Scaling Laws for
Heterogeneous
Computing
arxiv.org
·
19h
🧮
Kolmogorov Complexity
Adaptive
Neuro-Symbolic
Planning for smart agriculture
microgrid
orchestration in hybrid quantum-classical pipelines
dev.to
·
1d
·
Discuss:
DEV
⚡
Incremental Computation
outer
measure in
nLab
ncatlab.org
·
5d
🔢
Denotational Semantics
B+-Tree
Structure
: How Order Is
Maintained
at Scale
dev.to
·
1d
·
Discuss:
DEV
🌳
B+ Tree Splits
Hoot
: Scheme on
WebAssembly
spritely.institute
·
2d
·
Discuss:
Hacker News
🌐
WASI
From Prediction to
Compilation
: A Manifesto for
Intrinsically
Reliable AI
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
⚖️
Hoare Logic
Waterloo
Style
theprogrammersparadox.blogspot.com
·
3d
·
Discuss:
Hacker News
🕹
Emulation Theory
A
Newbie
's First
Contribution
to (Rust for) Linux
blog.buenzli.dev
·
1d
·
Discuss:
Hacker News
🦀
Rust Macros
learning by
reverse
engineering
clymup.com
·
2d
🔓
Reverse engineering
Logic
Puzzles
: Why the
Liar
Is the Helpful One
blog.szczepan.org
·
2d
·
Discuss:
Hacker News
🔲
Proof Irrelevance
Memory-Safe
Jule
language
emerges
as C/C++ alternative
thenewstack.io
·
2d
·
Discuss:
Hacker News
🦀
Rust Macros
The control
layer
for AI
blog.dottxt.ai
·
3d
·
Discuss:
Hacker News
🔒
WASM Capabilities
Human-like Search for Modern
Applications
anvitra.ai
·
1d
·
Discuss:
Hacker News
🗂️
Vector Search
How I
squeezed
a
BERT
sentiment analyzer into 1GB RAM on a $5 VPS
mohammedeabdelaziz.github.io
·
2d
·
Discuss:
Hacker News
🌀
Brotli Dictionary
Visual
data
modelling
in the browser (open source)
github.com
·
2d
·
Discuss:
Hacker News
🔶
Voronoi Diagrams
[
RFC
PATCH v1 0/4] Machine Learning (
ML
) library in Linux kernel
lore.kernel.org
·
3d
·
Discuss:
Lobsters
,
Hacker News
🎵
Audio ML
Continual
learning and the post
monolith
AI era
baseten.co
·
3d
·
Discuss:
Hacker News
📼
Tape Combinators
impl Rust: Avro
IDL
tool in Rust via
ANTLR
youtube.com
·
3d
·
Discuss:
Hacker News
,
r/rust
⚙️
Parser Generators
Python’s
Truthiness
: A Code Smell Worth
Sniffing
owl.billpg.com
·
3d
·
Discuss:
Hacker News
🧪
Binary Fuzzing
Loading...
Loading more...
« Page 4
•
Page 6 »
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