HNHacker News
TopNewBestAskShowJobs

aeneasmackenzie

266 karma · joined March 27, 2018

submissionscomments
aeneasmackenzie··on Show HN: Ieddit – A minimalist, Reddit-like site with anonymous posts/comments
> It's also a good thing that (it appears that) this website is "fresh" and apolitical rather than coming forth from a political rift in another community (e.g. 8chan, gab, voat).

Only one group likes image boards anyway, this won't matter.

aeneasmackenzie··on Germany's Vanishing Monasteries
>religion needs less restrictions

lukewarm religions are dying out. It's atheism or a religion that makes demands -- and the atheists are not reproducing.

aeneasmackenzie··on Cosmoteer: A starship design, simulation, and battle game
Sounds like it has potential. Please consider ensuring everything but a very few tasks can be automated (e.g. in factorio the only thing you can't do is place trains).
aeneasmackenzie··on Cosmoteer: A starship design, simulation, and battle game
How does your game contrast with factorio?
aeneasmackenzie··on Lezer
And (as you know, if you've read the linked article) nondeterministic parsing is not fast.
aeneasmackenzie··on Super Mario 64 has been decompiled
They got the original compiler running and made source that compiles to the same ROM.
aeneasmackenzie··on Calculus Is Deeply Irrational
Why use a system where you have to check if you put garbage in?
aeneasmackenzie··on Calculus Is Deeply Irrational
That's ok, those ones aren't real.
aeneasmackenzie··on Dependent Haskell Is the Future (2018)
you get a compile time error saying f isn't known to have enough entries, and you resolve it by adding a decidable check that produces a proof that it does. (the check at runtime is just >)
aeneasmackenzie··on Pentagon testing mass surveillance balloons across the US
>testing

It's been tested, look up gorgon stare.

aeneasmackenzie··on America’s urban rebirth is missing actual births
There are subgroups with above-replacement total fertility. Some people don't want to continue existing, but not everyone.
aeneasmackenzie··on America’s urban rebirth is missing actual births
Singapore's fertility rates are at the "rock thrown off a cliff" level.
aeneasmackenzie··on My Lisp Experiences and the Development of GNU Emacs (2002)
There's an OpenGL port already.
aeneasmackenzie··on US Navy's Railgun Now Undergoing Tests in New Mexico
You use an extremely long track, not high acceleration.
aeneasmackenzie··on Haskell Fan Site
Lenses are much more powerful than just records. It's programmable ., too borrow the metaphor.
aeneasmackenzie··on Highly Compressed Richard Hamming's Lectures
Because he made a funny joke.
aeneasmackenzie··on Zero Cost Abstractions
They can unbox sometimes, especially compiling with MLton or stalin. There's research papers on specifying boxedness explicitly still in the MLish framework but no real implementations afaik
aeneasmackenzie··on Should Disney World Have the Right to Build a Nuclear Power Plant?
The sign wasn't kidding. Leave any skeletons from people who thought it was in place and that will be warning enough.
aeneasmackenzie··on Should Disney World Have the Right to Build a Nuclear Power Plant?
1. Dig a hole

2. Put a fence around the hole

3. Put a sign on the fence saying "if you cross this fence you will die"

4. Put radioactive waste in the hole

5. Cover the hole

It's not a complicated problem.

aeneasmackenzie··on A SHA-1 chosen-prefix collision attack
Is there any reason not to just use SHA-3? It sounds like it's a real swiss army knife to hear the authors talk about it.
aeneasmackenzie··on GNU Guix 1.0
Did create a package for it? Is it available?
aeneasmackenzie··on Logical difficulties in modern mathematics (2012)
He hates Dedekind cuts, not real numbers. Real numbers exist all right, here are some: https://arxiv.org/abs/0805.2438
aeneasmackenzie··on RFC: linear history vs merge commits
What's stopping you from bisecting a linear history?
aeneasmackenzie··on Intel to Discontinue Itanium 9700 ‘Kittson’ Processor, the Last of the Itaniums
^W deletes the last word in readline.
aeneasmackenzie··on Twins get different results when they put 5 ancestry DNA kits to the test
Clumps appear in a principal component analysis, people just want to know how they look on one of those.
aeneasmackenzie··on Airlander 10: World's longest aircraft gets full-production go-ahead
Not hybrids. You may be familiar with Cloud Nines, the observation that if you make it but enough a very small temperature difference will be enough to achieve lift for a very large vessel (i.e. more like kilometers). Very difficult to figure out the construction though.
aeneasmackenzie··on So Long, Macbook. Hello Again, Linux
It's a plan 9 theme. The pastels grow on you, they're very easy on the eyes.
aeneasmackenzie··on HelenOS 0.8
HarveyOS is "plan 9 with gcc" but 9front doesn't like gnu stuff. See cat-v, suckless, and their IRC channel.
aeneasmackenzie··on [dead]
The Marie Curies and Emmy Noethers aren't going to be stopped by the comparatively tiny levels of misogyny today, they weren't then.
aeneasmackenzie··on HelenOS 0.8
9front views HarveyOS with scorn and I don't think 9atom is developed.
← PreviousPage 5 of 6Next →