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