Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
The House Carpenter
thehousecarpenter.wordpress.com
Guesses based on what each set of time and change is touching
A note on the correct definition of a proportion space
thehousecarpenter.wordpress.com
·
102w
The trajectory of a bouncing ball
thehousecarpenter.wordpress.com
·
106w
Implementing Python’s `cmp_to_key` function
thehousecarpenter.wordpress.com
·
112w
Enumerating the ordered k-partitions of an integer
thehousecarpenter.wordpress.com
·
113w
Dualities between depth-first search and breadth-first search
thehousecarpenter.wordpress.com
·
224w
A simple motivation for the notion of a natural transformation
thehousecarpenter.wordpress.com
·
325w
Notes on periodic functions
thehousecarpenter.wordpress.com
·
334w
A proof of the boundedness theorem by induction
thehousecarpenter.wordpress.com
·
361w
Notes on proving the completeness theorem for propositional logic
thehousecarpenter.wordpress.com
·
366w
Programming languages as theorem verifiers
thehousecarpenter.wordpress.com
·
371w
Log in to enable infinite scrolling
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
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
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