Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧮 Algebraic Datatypes
Sum Types, Product Types, Pattern Matching, Type Safety
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
27771
posts in
15.5
ms
jwde/colnade
: Statically type-safe DataFrame abstraction layer for Python.
github.com
·
1d
·
Discuss:
Hacker News
📋
DFDL
Extending Formal Verification to
Sequential
Circuits (U. of
Bremen
)
semiengineering.com
·
13h
🔧
Hardware Verification
Refining
Almost-Safe Value Functions on the
Fly
arxiv.org
·
1d
🔒
Type Safety
Large induced
matchings
and minimal blocking sets using
parabolas
anuragbishnoi.wordpress.com
·
9h
🕸️
Graph Algorithms
extended C*-
algebra
in
nLab
ncatlab.org
·
10h
🧮
Algebraic Archives
State of
Knuckledragger
III: Kernel Changes,
Symbolic
Union, AI, and more
philipzucker.com
·
1d
⚔️
Lean Tactics
Parse
, Don't
Guess
architecture-weekly.com
·
12h
✅
Format Verification
Completing
the formal proof of higher-dimensional sphere
packing
math.inc
·
11h
·
Discuss:
Hacker News
⚽
Sphere Packing
Generalization
of terms via universal
algebra
arxiv.org
·
1d
🔲
Proof Irrelevance
Beyond
Pandas
:
Architecting
High-Performance Python Pipelines
hackernoon.com
·
9h
🌊
Stream Processing
Right-sizes
LLM models to your system's RAM,
CPU
, and GPU
news.ycombinator.com
·
23h
·
Discuss:
Hacker News
⚡
Cache Theory
The Death Of
Predictable
Software?
Constellation
Software's Valuation Reckoning
seekingalpha.com
·
4h
🔍
BitFunnel
Understanding
SMF
properties
davepacheco.net
·
8h
💧
Liquid Types
nahhididwin/L-Representation
: L-Representation: Turning a Single Integer \
textit
{L} into a Universal, Provably-Correct Geometric \& Algebraic Engine
github.com
·
23h
·
Discuss:
Hacker News
📊
APL Heritage
PEP
827 – Type
Manipulation
peps.python.org
·
4d
·
Discuss:
Lobsters
,
Hacker News
🎯
Gradual Typing
Data
Structures
and
Algorithms
Introduction
hellointerview.com
·
3d
🌳
Huffman Trees
A Review of
Uncle
Bob's Functional Design:
Principles
, Patterns, and Practices
coding-mischief.com
·
7h
·
Discuss:
Hacker News
🧬
Functional Programming
The
Math
Behind the Match: Building Production Search for People
Names
hackernoon.com
·
9h
🌳
Trie Structures
Format
Overview
toonformat.dev
·
14h
✅
Format Verification
Dual Approaches to
Projective
Geometric
Algebra
terathon.com
·
22h
·
Discuss:
Hacker News
📐
Projective Geometry
Loading...
Loading more...
Page 2 »
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