Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
1.
▲
Typical: Data interchange with algebraic data types
(github.com/stepchowfun)
129 points
g0xA52A2A
3 years ago
50 comments
2.
▲
Show HN: Docuum – LRU Eviction of Docker Images
(github.com/stepchowfun)
10 points
curryhoward
6 years ago
discuss
3.
▲
Show HN: Toast – A tool for running tasks in containers
(github.com/stepchowfun)
10 points
curryhoward
7 years ago
discuss
4.
▲
Toast: Containerize your development and CI environments
(github.com/stepchowfun)
8 points
stepchowfun
4 years ago
discuss
5.
▲
Typical: Data interchange with algebraic data types
(github.com/stepchowfun)
5 points
stepchowfun
4 years ago
discuss
6.
▲
Toast: Containerize your development and CI environments
(github.com/stepchowfun)
3 points
sbt567
5 years ago
discuss
7.
▲
Tagref: refer to other parts of your codebase in a robust way
(github.com/stepchowfun)
3 points
curryhoward
6 years ago
discuss
8.
▲
Toast is a tool for doing work in containers
(github.com/stepchowfun)
3 points
Chris2048
6 years ago
discuss
9.
▲
Typical: Data interchange with algebraic data types
(github.com/stepchowfun)
2 points
todsacerdoti
4 years ago
discuss
10.
▲
Tagref: Maintain cross-references in your code
(github.com/stepchowfun)
2 points
tsujp
4 years ago
discuss
11.
▲
Tagref: Check cross-references in your code
(github.com/stepchowfun)
2 points
stepchowfun
4 years ago
discuss
12.
▲
Toast: A high-level containerized build system
(github.com/stepchowfun)
2 points
eternalban
4 years ago
discuss
13.
▲
Docuum – LRU eviction of Docker images
(github.com/stepchowfun)
2 points
stepchowfun
6 years ago
discuss
14.
▲
Toast: Containerize your development environment tool in Rust
(github.com/stepchowfun)
2 points
adamnemecek
7 years ago
discuss
15.
▲
Toast: Containerize Your Development Environment
(github.com/stepchowfun)
2 points
Supermighty
7 years ago
discuss
16.
▲
A formally verified proof of the soundness of System F
(github.com/stepchowfun)
2 points
mmphosis
7 years ago
discuss
17.
▲
Finding ambiguities in context-free grammars
(github.com/stepchowfun)
2 points
curryhoward
9 years ago
discuss
18.
▲
Show HN: Noteref – Maintain references to notes in your codebase
(github.com/stepchowfun)
1 point
curryhoward
8 years ago
1 comment
19.
▲
Typical: Data interchange with algebraic data types
(github.com/stepchowfun)
1 point
082349872349872
2 years ago
discuss
20.
▲
LRU Eviction of Docker Images
(github.com/stepchowfun)
1 point
agomez314
3 years ago
discuss
21.
▲
Typical Rusty: Data interchange with algebraic data types
(github.com/stepchowfun)
1 point
metadat
4 years ago
discuss