Ixiaus

11 ms·

61.
by Ixiaus 7y ago
Nix meets most of those requirements I think. I've replaced make with it in all of my workflows now.
62.
by Ixiaus 7y ago
Blekko is a name I haven't heard in a long time...
63.
by Ixiaus 7y ago
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:/&#x
64.
by Ixiaus 8y ago
Possibly.
65.
by Ixiaus 8y ago
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 solu
66.
by Ixiaus 8y ago
You can also do this with NixOS...
67.
by Ixiaus 8y ago
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.
68.
by Ixiaus 8y ago
s/can be/is being/
69.
by Ixiaus 8y ago
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 a
70.
by Ixiaus 8y ago
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&q
71.
by Ixiaus 8y ago
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...
72.
A non-repetitive alternative to YAML(dhall-lang.org)
3 points by Ixiaus 8y ago|0 comments
73.
by Ixiaus 8y ago
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.
74.
by Ixiaus 8y ago
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 &quot
75.
by Ixiaus 8y ago
I agree. I think gnunet gets a lot right.
76.
by Ixiaus 9y ago
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 mu
77.
by Ixiaus 9y ago
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 e
78.
by Ixiaus 9y ago
Why is Go considered safe?
79.
by Ixiaus 9y ago
Very exciting release notes. Nix is great and this makes it even better.
80.
by Ixiaus 9y ago
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 i
81.
by Ixiaus 9y ago
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
82.
by Ixiaus 9y ago
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&
83.
by Ixiaus 9y ago
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. I
84.
by Ixiaus 9y ago
"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
85.
by Ixiaus 9y ago
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
86.
by Ixiaus 9y ago
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
87.
by Ixiaus 9y ago
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 oth
88.
by Ixiaus 9y ago
Hehe, I like that, I'll use it.
89.
by Ixiaus 9y ago
Yes, this is the hardest part of any lifestyle change in my experience. Environment, past-conditioning inertia, and social environment.
90.
by Ixiaus 9y ago
Glycerol in triglycerides will be converted to glucose, there isn't much, roughly 10% IIRC.

More ›