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
Type-level Programming, Proof-carrying Code, Agda, Type Safety
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
24176
posts in
830.8
ms
Automatic
WS2812
Characterization
cpldcpu.com
ยท
3d
๐๏ธ
System Observability
[$] Kernel
control-flow-integrity
support comes to
GCC
lwn.net
ยท
4d
๐
Shell Combinators
C++
Latch
and
Barrier
leimao.github.io
ยท
5d
๐ง
Separation Logic
Showcase: "act" - A lightweight Go library for
cleaner
error
handling
- my take on the Go error
handling
discussion
reddit.com
ยท
3d
ยท
Discuss:
r/golang
๐
Proof Carrying Code
Fastfood
: Approximate Kernel Expansions in
Loglinear
Time
dev.to
ยท
3d
ยท
Discuss:
DEV
๐
Streaming Algorithms
S -
Glossary
(Python)
dev.to
ยท
4d
ยท
Discuss:
DEV
๐ง
Lisp Dialects
Grounding Generative
Planners
in
Verifiable
Logic: A Hybrid Architecture for Trustworthy Embodied AI
arxiv.org
ยท
1d
๐
Linear Logic
Is Reasoning
Capability
Enough
for Safety in Long-Context Language Models?
arxiv.org
ยท
1d
๐ณ
Context free grammars
[
RFC
PATCH v1 0/4] Machine Learning (
ML
) library in Linux kernel
lore.kernel.org
ยท
4d
ยท
Discuss:
Lobsters
,
Hacker News
๐ต
Audio ML
C and C++
dependencies
, don't
dream
it, be it!
nibblestew.blogspot.com
ยท
3d
ยท
Discuss:
Hacker News
,
nibblestew.blogspot.com
,
r/cpp
๐
Dependency Resolution
Font
Rendering
from First Principles
mccloskeybr.com
ยท
3d
ยท
Discuss:
Hacker News
๐ค
Font Archaeology
The Engineering
Discipline
That Made AI Actually
Useful
multigres.com
ยท
6d
ยท
Discuss:
Hacker News
๐๏ธ
Compiler Archaeology
a
declarative
spec for goals, plans, and
gated
execution
planspec.io
ยท
5d
ยท
Discuss:
Hacker News
โ๏ธ
Lean Tactics
On the Promises of '
High-Assurance
'
Cryptography
symbolic.software
ยท
6d
ยท
Discuss:
Lobsters
,
Hacker News
๐ณ
Archive Merkle Trees
Understanding LLM Inference
Engines
: Inside
Nano-vLLM
(Part 2)
neutree.ai
ยท
4d
ยท
Discuss:
Hacker News
๐ป
Local LLMs
Can
Quantum-Mechanical
Description
of Physical Reality Be Considered Complete? [pdf]
cds.cern.ch
ยท
3d
ยท
Discuss:
Hacker News
๐
Quantum Cryptography
Agentic
Coding and the Problem of
Oracles
epkconsulting.substack.com
ยท
3d
ยท
Discuss:
Substack
,
r/programming
๐ฒ
Cellular Automata
Code only says what it does
brooker.co.za
ยท
3d
ยท
Discuss:
Hacker News
๐
Proof Carrying Code
Memory-Safe
Jule
language
emerges
as C/C++ alternative
thenewstack.io
ยท
3d
ยท
Discuss:
Hacker News
๐ฆ
Rust Macros
Grumpy
Julio
plays with CLI coding agents
jmmv.dev
ยท
1d
ยท
Discuss:
Lobsters
,
Hacker News
๐ณ
Incremental Parsing
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