fourteenminutes

5 ms·

1.
by fourteenminutes 8mo ago
As a (very happy) RWX customer: - Intermediate tasks are cached in a docker-like manner (content-addressed by filesystem and environment). Tasks in a CI pipeline build on previous ones by applying the filesystem of dependent tasks (AFAIU vi
2.
by fourteenminutes 11mo ago
Love these problems being solved at a platform level rather than just a language level.
3.
We deleted our Dockerfiles: a better, faster way to build container images(rwx.com)
13 points by fourteenminutes 11mo ago|6 comments
4.
by fourteenminutes 2y ago
few developers want to think a lot about CI/CD. The best solution is one that is remarkably close to everything you can do locally.
5.
Solving the Pain that is CI/CD(dan-manges.com)
11 points by fourteenminutes 2y ago|1 comments
6.
by fourteenminutes 2y ago
Used to use GH actions quite a bit. At my current company we set up RWX Mint (rwx.com/mint) and haven't looked back. (disclaimer: used to work at rwx but no longer affiliated)
7.
by fourteenminutes 2y ago
Side effects are monadic (the main side-effectful abstraction, Task, is the continuation monad). There are no algebraic effects.
8.
The Pizza Meter(en.wikipedia.org)
18 points by fourteenminutes 3y ago|2 comments
9.
by fourteenminutes 3y ago
If someone steals your laptop and breaks in I think you have many problems equal to, or more severe, than your shell history.
10.
by fourteenminutes 3y ago
It's unlikely that macros will be supported. Regarding editors, it's unlikely that effort on the advertised Roc editor will start in earnest some time soon. I actually recently merged an LSP implementation into the mainline compil
11.
by fourteenminutes 3y ago
https://ayazhafiz.com/cc . A lot of programming languages, type systems stuff.
12.
by fourteenminutes 3y ago
https://archive.is/blk7s
13.
Time Crystals(en.wikipedia.org)
1 points by fourteenminutes 3y ago|0 comments
14.
Poker Exploits 1: Introduction and Blind vs. Blind Preflop Exploits(lukebhan.com)
2 points by fourteenminutes 4y ago|0 comments
15.
by fourteenminutes 4y ago
The manuscript is currently unpublished so it’s not available ): Thanks for the links - I’ve seen them, and it’s interesting that defunctionalization is usually an optimization. The “Type-driven …” paper is the earliest work I’m aware of th
16.
by fourteenminutes 4y ago
Yes - if the closure representation is recursive, it must be boxed. I believe your example is also that given by the original author (William Brandon et.al.). I don’t think there is any way around this, because it is the same as any other r
17.
by fourteenminutes 4y ago
Yes - that’s a great observation. The scheme here means that you can end up with compilation dependencies that aren’t reflected in your explicit dependency graph, exactly e.g. via the path you describe. The same is true of monomorphization
18.
by fourteenminutes 4y ago
Author here. Yes, the scheme requires whole-program compilation, which is unfortunate. If you’re okay with statically-linked dependencies there is only the large problem of making a compiler that is adept to incremental re-compilation. Howe
19.
by fourteenminutes 5y ago
https://ayazhafiz.com/cc My personal blog! Let me know if you like any of the stuff on it. And what I'm wrong about :)
20.
by fourteenminutes 5y ago
I entirely agree with you! And all of these are things covered in the post.
21.
Why don't more languages offer flow typing?(ayazhafiz.com)
192 points by fourteenminutes 5y ago|122 comments