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
liate's Likes
Subscribe
20
interests
·
50
feeds
·
20
likes
📐
Type Theory
cofault.com
·
54w
54 weeks ago
What is cosh(List(Bool))? Or beyond algebra: analysis of data types.
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 What is cosh(List(Bool))? Or beyond algebra: analysis of data types.
⚡
Systems Programming
Julio Merino (jmmv.dev)
·
52w
52 weeks ago
Lessons along the EndBOX journey
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 Lessons along the EndBOX journey
🔧
Functional Programming
byorgey.github.io
·
52w
52 weeks ago
Monads are not like burritos
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 Monads are not like burritos
⚡
Systems Programming
scp-iota.github.io
·
53w
53 weeks ago
Rust Could be a Good Beginner Language
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 Rust Could be a Good Beginner Language
⚡
Systems Programming
raku-advent.blog
·
53w
53 weeks ago
Following the Unix philosophy without getting Left Pad
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 Following the Unix philosophy without getting Left Pad
✅
Formal Verification
pyjarrett.github.io
·
53w
53 weeks ago
Writing a Verified Postfix Calculator in Ada/Spark
Discussed on
Hacker News
,
Lobsters
, 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 Writing a Verified Postfix Calculator in Ada/Spark
🔄
Language Evolution
theredline.versionstory.com
·
53w
53 weeks ago
Legal Version Control Is 30 Years Out of Date
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 Legal Version Control Is 30 Years Out of Date
🏗️
Compiler Design
blog.snork.dev
·
53w
53 weeks ago
Abstraction boundaries are optimization boundaries
Discussed on
Hacker News
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 Abstraction boundaries are optimization boundaries
🏗️
Compiler Design
xahlee.info
·
53w
53 weeks ago
Iterators: Signs of Weakness in Object-Oriented Languages (By H. G. Baker, 1992)
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 Iterators: Signs of Weakness in Object-Oriented Languages (By H. G. Baker, 1992)
🏗️
Compiler Design
typesanitizer.com
·
53w
53 weeks ago
Zig-style generics are not well-suited for most languages
Discussed on
Lobsters
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 Zig-style generics are not well-suited for most languages
⚡
Systems Programming
Kobzol’s blog
·
53w
53 weeks ago
Why doesn't Rust care more about compiler performance?
Discussed on
Hacker News
,
Hacker News
,
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 Why doesn't Rust care more about compiler performance?
⚡
Systems Programming
ecency.com
·
54w
54 weeks ago
Zero-cost Functional Records in Rust
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 Zero-cost Functional Records in Rust
⚡
Systems Programming
steveklabnik.com
·
53w
53 weeks ago
Is Rust faster than C?
Discussed on
Hacker News
,
Lobsters
, 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 Is Rust faster than C?
⚡
Systems Programming
unison-lang.org
·
54w
54 weeks ago
Unison Lang: A big idea of content-addressed code
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 Unison Lang: A big idea of content-addressed code
⚡
Systems Programming
SIGARCH
·
54w
54 weeks ago
Distance-Based ISA for Efficient Register Management
Discussed on
Hacker News
,
Lobsters
, 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 Distance-Based ISA for Efficient Register Management
🧠
Lisp Dialects
Andrey Listopadov
·
54w
54 weeks ago
A programming system
Discussed on
Hacker News
,
Lobsters
, 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 A programming system
🔍
Static Analysis
itnext.io
·
54w
54 weeks ago
Dogfooding the _Optional qualifier
Discussed on
r/C_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 Dogfooding the _Optional qualifier
📐
Type Theory
blog.polybdenum.com
·
54w
54 weeks ago
Subtype Inference by Example
Discussed on
Hacker News
,
Lobsters
, 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 Subtype Inference by Example
📐
Type Theory
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
🧠
Lisp Dialects
norvig.com
·
54w
54 weeks ago
(An ((Even Better) Lisp) Interpreter (in Python))
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 (An ((Even Better) Lisp) Interpreter (in Python))
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