Hacker Newsnew | past | comments | ask | show | jobs | submit | schonfinkel's commentslogin

I don't wanna be that guy but...

NIX FIXES THIS.


So does Bazel. :p


adding to the list, one exotic approach to this problem is stagex https://codeberg.org/stagex/stagex


It's nice to see that Fable is still around, my old team once did a proof of concept that later turned into a real service that used both Fable + SQL Type Providers. We had levels productivity that were never heard before, since must bugs were caught by the compiler (which had knowledge of the types all the way from the DB to the FE).


There were also some great options revealed here: https://news.ycombinator.com/item?id=47678283


Big tech has noticed this a long time ago, which is why they hire a legion of "developer advocates", its inorganic in the beginning, but it works long-term and once certain tools get into large companies it's almost impossible to remove.


thats the cool thing about engineers they are already at your company and ofc both roles are not comparable but engineers can help


> Apple is pressuring Windows from above and now from below with the MacBook Neo

> Linux is pressuring Windows from below and from the developer class

If Valve actually delivers their Steam Machines in an affordable price then it'll be the deathblow.


For those interested, there is an awesome link between people like Bush and pioneers like Engebart (and later XEROX PARC), what made these people really genius was not only their (almost prophetic) vision, but they also had the capability to actually sketch (and sometimes implement) their crazy ideas. His early vision for "memex" acted like a "sorcere's spell" when Engelbart first read it in a magazine during WW2.

> By the time he left Berkeley a few years later with a Ph.D. in engineering, he had decided that his mission in life would be, in effect, to turn the memex into reality.

This excerpt is from the early chapters of "Dealers of Lightning: Xerox PARC and the Dawn of the Computer Age". We're living in a reality these giants dreamed, and we managed to mess most of it.


I've been following the development of Spectrum OS, which seems to be Qubes with a "Nix take".

> Spectrum will, for now, be a Linux-based system, with packages from Nixpkgs but not derived from NixOS. This gives us an actively-developed base with good hardware support, powerful and optimised compartmentalization primitives in KVM, and the reproducible packaging and configuration system that is important for a maintainable compartmentalized system.

https://spectrum-os.org/

https://diode.zone/c/spectrum/videos


Couple great options I've never heard about, now I'm stealing from the blogpost.


Total agree

Many thanks!


I'm a NixOS user and I know Gobolinux is a few years older, this blogpost (from 2011) was actually useful for me at the time when I decided to pick NixOS for my workstations: https://sandervanderburg.blogspot.com/2011/12/evaluation-and...

Nowadays I'm also playing with Guix as well, I kinda love that everything can be unified in a more decent language (Guile Scheme) than Nix: https://guix.gnu.org/


For those unaware, one of the best resources to learn Rocq: https://softwarefoundations.cis.upenn.edu/


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: