HNHacker News
TopNewBestAskShowJobs

jonathonf

798 karma · joined October 14, 2013

submissionscomments
jonathonf··on IntelliJ (with Stack) as Haskell IDE
https://github.com/rikvdkleij/intellij-haskell/blob/master/R...
jonathonf··on Takeover.sh – Wipe and reinstall a running Linux system via SSH without reboot
Pretty sure the conflation has been around ever since rocket science and brain surgery have been used as a comparison. :)
jonathonf··on Rust on AVR: Safer microcontrollers almost here
> The best thing Rust has over Ada (no one writes ADA any more :) ) is momentum.

Having only recently looked at Ada I don't really understand this. It does look like Ada offers a lot of really nice features that other languages haven't yet caught up to.

For example, SPARK allows formal definition of correct code behaviour within the function definition. This appears to me to mean tests are written into the function at the time you write the function. That's huge from a maintenance standpoint, and it likely provides extra information a compiler could take advantage of.

> where no errors are allowed, which could possibly lead to loss of human lives, very few care of using Ada.

Loss of life is one area, but surely anything financial would benefit from this - as well as anything dealing with personal data (e.g. identity management)?

jonathonf··on WireGuard: a modern VPN tunnel [PDF, slides]
Link to project site (at the end of the presentation): https://www.wireguard.io/
jonathonf··on 2017 State of Global Tech Salaries
London. The city with the highest cost of living in Europe [citation needed].

Look anywhere else in the UK and it's more like £25000-£35000.

jonathonf··on Arch Linux pulls the plug on 32-bit
I erred on the side of caution. :)

I've successfully run Arch on a set of 10 EeePC 901s for a club. Linux plus Arduino programming = awesome kids.

jonathonf··on Arch Linux pulls the plug on 32-bit
That's not how Arch works... ;)
jonathonf··on Arch Linux pulls the plug on 32-bit
Which ones provide a similar approach to Arch?

A six-year-old 32-bit processor (e.g. an Atom in an EeePC 901 or HP Mini 311c) is more than capable of running a modern desktop system.

jonathonf··on Arch Linux pulls the plug on 32-bit
> I wonder if Arch would consider doing the same (supporting 32-bit x86 as an alternative architecture).

Yes: https://lists.archlinux.org/pipermail/arch-ports/2017-Januar...

(Also https://lists.archlinux.org/pipermail/arch-ports/2017-Januar...)

jonathonf··on TiddlyWiki: a local, single-page wiki
That page points to a code.google.com (and as such unavailable) project... :(
jonathonf··on Termbin: Easiest way to copy over SSH
What's the best way of scp'ing from a remote server connection to local machine, if the local machine isn't externally accessible (e.g. isn't running SSH)?

e.g.

    local$ ssh remote
    remote$ # do some stuff
    remote$ echo "Text" > file.txt
    remote$ # oh, I need to copy file.txt back to my local host
    remote$ #?
jonathonf··on Joxa – A concurrent, distributed Lisp
Joxa - A Lisp on the Erlang VM
jonathonf··on Ask HN: What is the best Linux distro for a development laptop?
If you want an Arch-based system with less worry about updates, have a look at Manjaro. The team do a pretty decent job of making sure each batch of updates work together - though if you use the 'stable' branch you'll be a week or two behind Arch stable (but not for security updates). If you want it more frequently, Manjaro's 'unstable' is synced to Arch stable.

Yes, Manjaro has a small team and occasionally mess up the website, but don't let that stop you from trying the distro.

(Retired Core team member)

jonathonf··on Show HN: Alacritty, a GPU-accelerated terminal emulator written in Rust
From what I remember, and I'm possibly wrong with this, the Matrox Millenium cards were the last generation where 2D performance was a design focus - the Matrox RAMDAC was the best there was at the time. After the Voodoo 3 was released (IIRC the first combined 2D+3D accelerated video card) the 3D arms race started, but 2D performance hasn't moved a lot since then (at least in consumer-level hardware), hence the move to software being written in OpenGL etc. to benefit from hardware 3D acceleration.

I'm guessing that "workstation" cards (designed for CAD etc.) may have moved on a bit since then, though.

jonathonf··on Haskell vs. Ada vs. C++ vs. Awk vs (1994) [pdf]
"Those who forget the lessons of the past..."
jonathonf··on The Linux 2.5, Ruby 1.9 and Python 3 release management anti-pattern
Well, it does. I was told one thing and reality is different. I'm supposed to trust other members of my team rather than fact-check their input.
jonathonf··on The Linux 2.5, Ruby 1.9 and Python 3 release management anti-pattern
That raises several questions for my next team meeting...
jonathonf··on The Linux 2.5, Ruby 1.9 and Python 3 release management anti-pattern
> Microsoft breaking compatibility, more-so post Windows 7

IIRC, there have been several instances of this between releases, less so from the user application perspective, but rather from the driver model.

Windows 3.1 to Windows 95 (16- to 32-bit), Windows ME to Windows 2000 (NT kernel), Windows XP to Vista (UAC etc.) each saw various issues with device drivers.

The extent of user application backwards-compatibility is impressive, with only Windows 10 removing 16-bit application support (boo). For example, even now it's possible to double-click on the application icon at the left-hand of the window title bar to close the application - à la Win 3.1.

> The only mistake Microsoft made was not doing rolling releases

I think they're 'fixing' that with Windows 10.

jonathonf··on Lyp – The Lilypond Swiss Army Knife
In case anyone is wondering, LilyPond is FOSS music score production/transcribing software: http://lilypond.org/

Though if you do any of that you'll probably already know. :)

jonathonf··on Alpine Linux 3.5.0 released
If you're serving using repo software (and rebuilding often to pick up the security updates) then Ubuntu (or Debian) starts to make sense.

If you're purely running your own application/service (or non-repo software, e.g. rwasa) then Alpine seems perfect.

jonathonf··on The Zimbu programming language
It does make them easy to spot, though.
jonathonf··on Why time management is ruining our lives
One tactic I use for opening emails is to write the question or point in the subject line (e.g. not "Meeting" but "Today's meeting is at 10:00 in 94a").

For the majority of situations this means easier comprehension/scanning and zero redundancy. It also provides good practice for anything that needs more than a single line.

For longer emails I also like to put a summary at the top, then an expanded details below as necessary, and make sure each paragraph starts a new point or item.

jonathonf··on Four years with Rust
Fair enough. I just know that it worked with tup, for whatever reason I was playing with that instead of just entr+cargo:

ls src/*.rs | entr -c cargo build

(entr is pretty awesome :)

jonathonf··on Four years with Rust
> get cargo to output colors

cargo build --color=always

jonathonf··on Web app that generates a cozy and realistic window view
This seem to just be a frame for rainbowhunt.com ? Any reason why .club is better than .com, or is this a different user "cashing" in?
jonathonf··on Show HN: World class unlimited email hosting for all your domains from $4/month
They don't currently - they use Stripe for card handling. Ideally they should probably be using Stripe's own recurring payment feature rather than storing card numbers themselves.
jonathonf··on Show HN: World class unlimited email hosting for all your domains from $4/month
Just as an implementation note, one way to maintain compatibility with older devices while allowing modern ones to use better levels of security is to use haproxy on the front end. This can handle TLS/SSL itself or hand over to the correct SSL backend depending on the connecting device.
jonathonf··on Show HN: World class unlimited email hosting for all your domains from $4/month
Possible, yes (`imapsync` makes it easy). Does it make sense? Depends on you.
jonathonf··on Show HN: World class unlimited email hosting for all your domains from $4/month
> They provide better value for money than migadu.com just by looking at it.

This depends on your use-case. For running a single account, yes. For one intended use-case of Migadu (managing multiple accounts across multiple domains), then no.

jonathonf··on Show HN: World class unlimited email hosting for all your domains from $4/month
http://imgur.com/NUyainb
← PreviousPage 4 of 8Next →