Skip to main content
Scour
Discover
Docs
Login
Sign Up
Discover
About
Docs
Changelog
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
matmat's Likes on Scour
scour.ing
esham.io
·
55w
55 weeks ago
Curate your shell history – Benjamin Esham
Discussed on
Hacker News
and
Lobsters
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Curate your shell history – Benjamin Esham
scalastic.io
·
55w
55 weeks ago
Functional Programming in Bash: Harnessing the Power of Simplicity
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Functional Programming in Bash: Harnessing the Power of Simplicity
cacm.acm.org
·
55w
55 weeks ago
Technical Perspective: When Proofs Meet Programs: An Extension of Dependent Type Theory with Church’s Thesis
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Technical Perspective: When Proofs Meet Programs: An Extension of Dependent Type Theory with Church’s Thesis
pinecone.io
·
55w
55 weeks ago
Cascading retrieval with multi-vector representations
Discussed on
Hacker News
and
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Cascading retrieval with multi-vector representations
raphael-proust.gitlab.io
·
55w
55 weeks ago
A no-maths guide to monads
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for A no-maths guide to monads
reddit.com
·
55w
55 weeks ago
My Homelab Network (so far)
Discussed on
r/homelab
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for My Homelab Network (so far)
arxiv.org
·
55w
55 weeks ago
Grammars of Formal Uncertainty
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Grammars of Formal Uncertainty
deepintodev.com
·
55w
55 weeks ago
How Databases Store Your Tables on Disk
Discussed on
Hacker News
,
r/programming
, and
r/programming
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for How Databases Store Your Tables on Disk
maych.in
·
55w
55 weeks ago
I Think It's Time to Give Nix a Chance
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for I Think It's Time to Give Nix a Chance
arxiv.org
·
55w
55 weeks ago
Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, and COSE
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, and COSE
nerdlypleasures.blogspot.com
·
56w
56 weeks ago
The 1977 Trinity - Which Computer is the Best Buy?
Discussed on
nerdlypleasures.blogspot.com
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The 1977 Trinity - Which Computer is the Best Buy?
cassettepunk.com
·
56w
56 weeks ago
Lo8: Resurrecting 8-track as a data storage medium (cassettepunk.com)
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Lo8: Resurrecting 8-track as a data storage medium (cassettepunk.com)
soap.coffee
·
56w
56 weeks ago
Monad Transformers are a Great Abstraction
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Monad Transformers are a Great Abstraction
soap.coffee
·
56w
56 weeks ago
Proving Algebraic Datatypes are “Algebraic”
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Proving Algebraic Datatypes are “Algebraic”
Kevin Boone's website
·
56w
56 weeks ago
An overview of character encoding for developers
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for An overview of character encoding for developers
Kevin Boone's website
·
56w
56 weeks ago
Understanding the Hamming 'sphere packing' bound in coding theory
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Understanding the Hamming 'sphere packing' bound in coding theory
arxiv.org
·
56w
56 weeks ago
Information-Theoretic Foundations for Machine Learning
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Information-Theoretic Foundations for Machine Learning
chrispenner.ca
·
56w
56 weeks ago
Silly job interview questions in Haskell
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Silly job interview questions in Haskell
blog.laufeyjarson.com
·
56w
56 weeks ago
Creating Floppy Disc Image Files
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Creating Floppy Disc Image Files
arxiv.org
·
56w
56 weeks ago
Master Thesis Impredicative Encodings of Inductive and Coinductive Types
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Master Thesis Impredicative Encodings of Inductive and Coinductive Types
« Page 2
·
Page 4 »
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous post
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s
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
Discover
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
Like
Save
Not for me
Report