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