HNHacker News
TopNewBestAskShowJobs

meneame2

46 karma · joined December 24, 2017

submissionscomments
meneame2··on Eelo: A Google-less Android alternative emerges
From the article:

> Unless you are a geek, LineageOS is not realistically usable if you don't want Google inside

Why? LineageOS plus F-Droid with Firefox, OsmAnd~ and Conversations is surprisingly usable.

I agree it could get a bit more polish. But if Eelo is going to be a big effort, maybe he should try to go for a full Linux distro like Jolla sans the closed components. With stuff like Anbox (Android containers) it should be moderately easy to bootstrap an ecosystem.

meneame2··on Home and hotel – Switching from macOS to Ubuntu on a Dell XPS 13 laptop
For example, many Broadcom network cards do not have decent drivers. These are really common.
meneame2··on Why Use Debian Stable on the Desktop?
> each application can be presented with its own mix of system packages without any conflicts between them

Furthermore, everything is done, or in the way to be done, in a functional way: system configuration, deployment, etc.

There are even efforts to manage dotfiles currently getting implemented.

IMHO, the Nix way is a great leap ahead.

meneame2··on Home and hotel – Switching from macOS to Ubuntu on a Dell XPS 13 laptop
Ubuntu is now really polished, and works great if you cherry pick hardware a bit and avoid components with drivers that are not in the kernel.

But I'd go one step further and argue that, as a developer, Linux can give you a unique experience if you stick to its strengths:

* Use a minimal distribution with few moving parts -> Things rarely break, and if something does it's usually easy to fix

* Try functional package management and administration (NixOS) -> Easy to reproduce setups, trivial to rollback, no dependency hell

* Try a simple keyboard-driven desktop -> A tiling window manager (XMonad), a web browser (Firefox) and Emacs (with Org, Magit, Eshell, Dired, Notmuch...) work incredibly well

meneame2··on Ask HN: What programming language you will learn in 2018?
Is Rust ready for scientific computing?

I understand that given you are listing Rust alongside Solidity, your interest might be in cryptocurrencies, but I still thought this might be worth to ask.

I'm very experienced in C++98, less so in C++11 and successors as I spent most of my time on other languages this decade (OCaml, Scala and R). C++11 is much more modern and appealing, so I'm wondering whether I should update my C++ skills, learn Julia, learn Rust, or a combination of those.

meneame2··on Coming Soon: Machine-Checked Proofs in Everyday Development
Three extra classics:

* https://books.google.es/books?id=YseqCAAAQBAJ

* http://www.concrete-semantics.org/

* https://softwarefoundations.cis.upenn.edu/

meneame2··on People Walked Differently in Medieval Times
I've reviewed dozens of minimalist shoes and gotten some custom made.

Vivo is hit and miss in terms of quality. Some models are quite good. In my opinion, their classic desert boot Gobi is the best item in their lineup. Some variations are offered with insulation and/or water resistance.

IMHO, the very best minimal shoe money can buy is a Russell Moccasin [1]. And I say this as a European that in principle prefers high end English (Edward Green), Spanish (Carmina) and Austrian (Saint Crispin) shoes.

Some words of warning, though. It's a traditional company. Orders are very slow and there's little feedback. Plus their QC is sloppy. Some pairs are very well finished, others are not.

[1] http://www.russellmoccasin.com/minimalist-footwear-custom-ma...

meneame2··on People Walked Differently in Medieval Times
I'm not so happy with their adult shoes. Some are good, like Gobi. Others are pretty bad, and they change their designs pretty radically so they never improve their weak points.

For example, I spent a few hundred on the first Porto iteration, and it fell apart in less than 2 months. Their German shop refused to honor the guarantee.

meneame2··on Review: Copperhead OS
Sadly it has turned its open source license into a code available but non-free one.

That, coupled with the fact that Pixel devices are way more expensive than Nexus used to be limits its usefulness.

meneame2··on Google retires the Pixel C tablet as it shifts focus to the Pixelbook
Plus, the Pixel C had so much potential for a dream portable Linux machine. It was designed as a ChromeOS device, with Coreboot. But they locked the bootloader before launching with Android.
meneame2··on Fedora Modularity
Looks like they are reinventing a small chunk of Nix (https://nixos.org/).