Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
pmahoney
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
16 ms
·
91.
▲
by
pmahoney
12y ago
> A program that runs on your computer has access to all your files anyway. This is also a security problem. If I have the means to run a program (downloaded from the internet; don't fully trust) in a sandbox that restricts its file
92.
▲
by
pmahoney
12y ago
I found the tools weak at best, confusing and overcomplicated at worst. The code from OneLogin [1] was the clearest example I found, but it leaves various things as an exercise for the reader, such as obtaining the relevant public key and
93.
▲
by
pmahoney
12y ago
I deploy a couple things via Nix package manger to non-NixOS systems, and I manage my own system configs, etc. within Nix. My "external configuration management system" is pared down to a small script that symlinks everything in a
94.
▲
by
pmahoney
12y ago
Execline is a little mindbending at first, but a really nice way to write scripts for launching other programs.
95.
▲
by
pmahoney
12y ago
The aluminum phone yields, undergoing plastic deformation, while the plastic phone deforms elastically.
96.
▲
by
pmahoney
12y ago
But none of the reasons he lists have much to do with Gnome: > Machine would suspend and resume without problem, WiFi just worked, audio did not stop working, ... [no] fighting the video drivers
97.
▲
by
pmahoney
12y ago
> reason that you want it to do the installation is that a lockfile is supposed to represent the way to do a build successfully Sure, and I'd like to do that build within Nix (and someone else might want to do it with another packag
98.
▲
by
pmahoney
12y ago
I would probably make the same decision, but I hope in the end Caro is easy to wrap with Nix, which is a breath of fresh air particularly when needing to mix dependencies that cross language boundaries and share those build recipes with a t
99.
▲
by
pmahoney
12y ago
Excellent, thank you!
100.
▲
by
pmahoney
12y ago
I've not used Guix, but looking at those slides, the ability to take the build definition of the "hello" program, inherit everything but change the version, looks very interesting. I'm not aware of a way to do that in Ni
101.
▲
by
pmahoney
12y ago
The struct is currently storing a pointer to the mutex (which was allocated with malloc). The call to pthread_mutex_destroy does not free that memory. Valgrind is your friend :) http://valgrind.org/docs/manual/qu
102.
▲
by
pmahoney
12y ago
There are Java jars with native binaries, just sayin. Though I do like Maven and Java quite a bit. https://bitbucket.org/xerial/sqlite-jdbc https://github.com/twall/jna
103.
▲
by
pmahoney
12y ago
> portably in shell scripts (spoiler: it's hard ) At what point do you give up and, if you must have portability, bootstrap a saner environment? Are there many options in this area? Assume perl is available? Use autoconf-like shell
104.
▲
by
pmahoney
12y ago
> C has not caused a single buffer overrun. Lazy coders have. That's like saying exposed high voltage lab equipment has not caused a single shock, careless lab techs bumping into it have. When you design for safety, you assume mista
105.
▲
by
pmahoney
12y ago
Can str() call into a C extension that then loops forever?
106.
▲
by
pmahoney
12y ago
> Sure, I'm giving up a hell of a lot of performance for this safety, but it's more than worth it for my company's use case. Surely you're not trading performance for safety, as dozens of languages are "safe"
107.
▲
by
pmahoney
12y ago
I assume tertia is referring to something like https://en.wikipedia.org/wiki/Wickard_v._Filburn
108.
▲
by
pmahoney
12y ago
> the conditions under which intelligent life needs to have in order to exist We know what these are?
109.
▲
by
pmahoney
12y ago
Well, if the compiler will also report error for recursive calls not in tail position... There are strategies to prove various things about recursive calls. See Ada/Spark's explanation for Rule 17.2 in [1]. I'm not familiar w
110.
▲
by
pmahoney
12y ago
I actually worked a little on this problem some years ago (as a lab tech; take my knowledge with a gain of salt). One of the largest components in an inverter (such as found in a Toyota Prius) is the capacitor bank. I'll ignore the ele
111.
▲
by
pmahoney
12y ago
> dependency solver that generates nix expressions I have some code that uses Bundler to convert its Gemfile.lock (resolved dependencies) into a set of nix expressions. I think it's a nice way to go. (Though Bundler is aimed at end
112.
▲
by
pmahoney
12y ago
I don't really disagree with your points, but "the best solution we've found given those constraints" include a lot of pain. Something like Nix comes with a lot of different pain, but I suspect many pain points could be
113.
▲
by
pmahoney
12y ago
> nix-pkg -i github.com/my/project What you describe would be fairly easy to script. I'm playing around with similar ideas. It's not exposed by default, but the included script `nix-prefetch-git` dumps a git repo into
114.
▲
by
pmahoney
12y ago
Sounds like the ST monad. http://www.haskell.org/haskellwiki/Monad/ST
115.
▲
by
pmahoney
12y ago
Regarding the computational difficulty of dependency resolution, I ran into a pathological case with Bundler a while back [1]. The money quote from the EDOS folk is: > automatic package installation tools ... live dangerously on the edge
116.
▲
by
pmahoney
12y ago
I've actually been exploring nix myself recently. It has some interesting features. I'm finding it quite nice to maintain some C-based packages across both Linux and Mac OS X (where it is somewhat of a competitor to Homebrew). I&#
117.
▲
by
pmahoney
12y ago
Nice, but can anything challenge the "every language gets its own unique package manager"? (And own unique build system for that matter).
118.
▲
by
pmahoney
12y ago
I think if you consider the outliers on the "talent" scale, such as Jim Ryun, Sebastian Coe, current record holder Hicham El Guerrouj (3:43.13) compared to the entirety of humanity over the past few centuries, you've got to a
119.
▲
by
pmahoney
12y ago
I agree with your points, though am disappointed by this reality. I've been aware of daemontools for some years, but only recently read over the design (which I find quite brilliant) and began using an implementation (s6 at the monent
120.
▲
by
pmahoney
12y ago
I found the nix expression language somewhat confusing at first, but I was able to create simple packages after a couple days. You can find many examples in nixpkgs, e.g. https://github.com/NixOS/nixpkgs/blob/
More ›