Ixiaus

Nix meets most of those requirements I think. I've replaced make with it in all of my workflows now.

Blekko is a name I haven't heard in a long time...

Hillel Wayne[1] has written a bunch about TLA+ for lay programmers like me. I've found his blog posts pretty good, I also bought his book Practical TLA+ which I like. He also wrote the free web book Learn TLA+[2].

[1]: https://www.hillelwayne.com/post/using-formal-methods/ [2]: https://learntla.com/introduction/

Possibly.

This is neat, I would have loved to see this a few years ago when I was working on a touchpad dimmer that I used Erlang on (the hardware was originally designed to run Linux so it was easy to put Erlang on there but having a lower-cost solution by not requiring Linux would've been great).

Erlang's remote RPC, high-quality CRDT libraries, and hot-code loading made it an incredible technology for implementing IoT software product features.

You can also do this with NixOS...

I am a happy FastMail customer. The service is great, it is indeed fast and they're a small company devoted to doing email and serving their customers.

I don't plan on leaving FastMail.

s/can be/is being/

The database doesn't know how to perform a data migration for you, however. Sometimes it's possible to do it in SQL as part of the schema upgrade but that isn't always possible, in which case you need to implement it in the application. But regardless of how you implement it, it's still "data migration" because you're migrating data from one representation to another and your database won't always know how to do that "under the hood" for you.

Because when you change the representation of data at rest, you need to "migrate" that data to the new representation.

I agree that schema changes are not migration, but I think the author correctly uses the word "migration" to mean migrating their data in the database to some new schema representation.

You can also automatically generate some migrations with a proof search in linear logic, the way the beam[1] project does.

[1] https://tathougies.github.io/beam/schema-guide/migrations/#a...

I'm really interested in this. I liked and used CrashPlan for some time but have had a sub-par backup setup since they shuttered their home-user business.

We do not live in a post-scarcity world, just the illusion of one. Ecological systems will collapse because humans' unchecked consumption patterns disrupt the homeostasis of those systems.

I feel sad that this person writes about "post-scarcity" and "post-capitalism" because it reinforces for me the fact that this person with the resources and station in life to help take responsibility for this accelerating, destabilizing train ride instead chooses to talk about a fanciful Utopia.

I agree. I think gnunet gets a lot right.

The modern syntax you're speaking of is catching up to the early nineties and it still doesn't have a good static type system. It is not a great programming language, it is hanging onto relevance.

With WebAssembly we now have a much more reasonable target for far more modern (and productive and enjoyable) languages like purescript.

Are there not many statically typed, compiled languages that ship a runtime with a garbage collector? Why is Go a good choice here?

Why is this choice better than a language that provides memory safety using linear types so you don't even need a runtime or garbage collector?

Why is Go considered safe?

Very exciting release notes. Nix is great and this makes it even better.

There is a working Linux client. Note that the "wallet" is a Haskell-based node (cardano-sl) that serves a restful http server that the front-end app (Daedalus) connects to.

I built both components back in November and could run it, I just did the same now.

Official Linux packaging would be great but until they get there you can build and run everything yourself.

It is not too young. I've been mentored by peers of mine quite a bit that are my age and a bit older (I'm 31).

As another commenter says, stop worrying about age: both yours and theirs. Focus on being willing to leave your comfort zone.

We will definitely be publishing it. Time is very short and the backlog of projects to publish is growing though so it might take time to polish and write a blogpost and tutorial.

I work for Awake Security so keep an eye out on the company's GitHub org as we've been publicly releasing a lot of projects even though they aren't completely polished or announced yet. I'll see if I can do this for our deploy tool soon.

We use NixOS in production in our product, for our cloud services, and for some development environments.

We build everything with nix from sbt projects, go projects, haskell projects, purescript projects, docker images, and npm projects.

It's an incredible tool.

NixOps is also a good tool but there are a lot of issues with it we haven't had time to contribute fixes for. We also wanted it to be lighter weight and to decouple system specification from system deployment. So I wrote a tool that handles performing the same system deployment operations that NixOps does for you and you can simply pipe the nix path result from nix-build to it. We use terraform to specify and manage the cloud resources.

"Error theater" and zero initialized values, while understandable due to other design decisions, are the biggest source of frustration whenever I have to work on go code.

Off topic from the article, I think, but what go has taught me about programming is that some parts of our industry are stuck in time and intellectually stagnant.

Go is a better C. I would prefer Go over Python. But really, when the state of the art (and production ready!) is light years ahead of Go, it frustrates me to no end to see colleagues spending so much time on things in their day to day that are solved problems in other languages.

It was my involvement and contributions to the KohanaPHP[1] web framework, then on SVN, that landed me my first dev job.

[1]: http://kohanaframework.org

It depends on the task, of course, but I generally think Haskell is a very productive language for getting simple things done. Let me explain why.

There is indeed a side of the language and culture focused on elegance and there's also a side focused on pragmatism. Elegance and pragmatism aren't mutually exclusive but generally we use it as a type-safe getting things done language.

Imho its strength is in the type system even if that means starting your project out entirely in the IO monad with heavy let binding style, you'll still benefit from the type system. You can then, over time, decouple things, test things, etc.

I hope you don't give up on it because in the realm of pragmatic, unexciting, just trying to do my job software, Haskell really shines. It's just hard to see sometimes because not many production users are talking about that kind of use, you're usually seeing the library author's view which is going to be very different.

[Edit] I also think Rust is very promising for occasions in which you need the low level performance. If I can though, I will use haskell because its type system does such an amazing job at protecting myself from me and six months ago me.

A bit parochial to say that Philosophy--as it is taught or studied today--is useless, in my opinion. You're entitled to that thought but you might be surprised by the utility Philosophy has to offer.

I think Philosophy studied with other disciplines is a particularly potent combination. Of my friends who have done this (they are very few) they are perhaps the most inspiring and trenchant thinkers I know.

Hehe, I like that, I'll use it.

Yes, this is the hardest part of any lifestyle change in my experience. Environment, past-conditioning inertia, and social environment.

Glycerol in triglycerides will be converted to glucose, there isn't much, roughly 10% IIRC.

I'm on mobile so cannot lookup your references or provide any of my own.

I will say that there's interesting research surfacing that is implicating insulin as the big nasty, not specifically carbs. Which would mean to me that if you consume foods that have a more moderate insulin response coupled with regular physical activity and other hormone balancing behaviors that kind of lifestyle would be okay.

Our addiction to convenience as mediated by oil and refined carbohydrates doesn't ground people in their bodies, causing the acceleration towards extremes (obesity or ascetic diets like keto--which I personally follow).