Pavel Panchekha’s Blog pavpanchekha.com

Why are Shell Scripts Bad?

pavpanchekha.com1 min read
Feeds

Parallel Line Breaking

pavpanchekha.com3 min read
Feeds

Proof Systems are Operating Systems

pavpanchekha.com2 min read
Feeds

A Survey of PL Blogging (Part 2)

pavpanchekha.com3 min read
Feeds

Intrinsic and Extrinsic Data

pavpanchekha.com4 min read
Feeds

Architecture Patterns

pavpanchekha.com3 min read
Feeds

Long-term Goals for Herbie

pavpanchekha.com2 min read
Feeds

Sub-specifications

pavpanchekha.com6 min read
Feeds

Was Lower Case Designed for Reading Speed

pavpanchekha.com4 min read
Feeds

Designing Libraries Like Languages

pavpanchekha.com4 min read
Feeds

Learning Shame

pavpanchekha.com4 min read
Feeds

Dedicated Crossword Practice

pavpanchekha.com3 min read
Feeds

What's Wrong with CSS?

pavpanchekha.com10 min read
Feeds

Categories for Reactive Programming

pavpanchekha.com4 min read
Feeds

Selective Crossword Submissions

pavpanchekha.com3 min read
Feeds

Crossword Science with Stan

pavpanchekha.com5 min read
Feeds

You Start Off Bad at Crosswords

pavpanchekha.com3 min read
Feeds

How I Track TODOs

pavpanchekha.com1 min read
Feeds

Remembering the Herbie Visualizer

pavpanchekha.com4 min read
Feeds

Social Processes in Package Managers

pavpanchekha.com2 min read
Feeds

Keyboard Shortcuts

Navigation

Next / previous post
j/k
Open post
oorEnter
Preview post
v
Continue reading
c

Post Actions

Love post
a
Like post
l
Dislike
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Discover
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help