eriknstr

> I made a chatbot that rolled dice, and it was constantly criticized for being "broken" because four 3's would come up in a row.

> These accusations would come up even though they (all being computer science majors) know it's possible (although unlikely) for these events to happen. They just don't trust the black box.

This reminds me of a talk [1] given at Game Developer's Conference (GDC) about the game Civilization, in which the Sid Meyer -- creator of said game -- spent a bit of the time talking about the difference between fairness and perceived fairness. The talk is only an hour long and worth watching.

[1]: https://www.youtube.com/watch?v=AJ-auWfJTts

> There's another one (maybe the same guy?) who moderates with a vengeful bias on Reddit. That kind of shit-throwing is anathema to a large company.

Also due to some being unhappy with the moderation of /r/bitcoin there's a separate community called /r/btc. Then again, there are many communities on Reddit that have split up due to disagreements about moderation, such as for example /r/meirl vs the previously vastly more popular /r/me_irl [1]. (The latter of these still has about 3x the amount of subscribers though, but /r/me_irl has grown to become large indeed.)

[1]: https://www.reddit.com/r/OutOfTheLoop/comments/3z2pax/me_irl...

When I first switched from the terminal emulator that came with the first DE I was using (gnome 2?) to urxvt, it seemed very fast. When I later switched to Terminology, it seemed even faster. I've stayed with Terminology. I agree it'd be very interesting to see a proper comparison between Terminology, urxvt and others.

> Also with a few web sites I might upvote it first and then read it :-|

I can neither confirm nor deny that I do this too but I can say that I think it makes sense to do this, and I would go as far as to say that I think it's healthy for the HN community that stories get upvoted by people who have not yet read the story in full, as long as it doesn't happen too much -- while a story might turn out to be lacking or even factually incorrect in some way I think there is opportunity for interesting discussion to be had as long as the topic at hand is interesting.

But in return you might use more vertical space, and with a terminal size of 80x24, vertical space is more precious.

Site works fine from my location.

I think you are correct.

> Read a sentence to help our machine learn how real people speak. Check its work to help it improve. It’s that simple.

Empty space would be the better default I think yes.

Filling the indent area with dots is not a sensible default IMO. Often when I work on a query I am going to reuse it in an application. If PgAdmin III or psql filled the indent area with dots then they would be included when I copied the query I'd written.

Even though I always reformat the query, and even though the text editor I use -- vim / neo-vim -- supports rectangular text selection, I would be annoyed at such dots.

You are right. Internationalization might be the word for what I'm talking about, though some might argue that that's not correct either because they might say that l10n is a subset of i18n. Not quite sure. But anyways, yes, l10n in the sense that it works in my part of the world is desirable. I18n if only taken to mean translation (and things like right-to-left and such which arise from supporting certain languages) is what doesn't matter to me.

Also some of us don't even like to have the software localized. English is not my mother tongue and it's not an official language where I live either but I always set the system language to American English on my computers and devices.

I think I read recently that Chrome / Chromium is now able to run without having to use xvfb, so now truly headless.

Maybe the Internet Archive has a digital copy of Dictionnaire Infernal?

Off topic but the hash shown piqued my interest.

The source is linked from the page - https://github.com/btrask/stronglink

> A searchable, syncable, content-addressable notetaking system

I second this. Please open source it. I suggest using the ISC, MIT or the 2-clause BSD license.

OP is not suggesting ZFS above all else.

> And every enterprise system has already moved way past what ZFS can do, including enterprise-class offerings based on ZFS from Sun, Nexenta, and iXsystems.

However, OP is naturally suggesting ZFS over NTFS, HFS+, ext3/4 and even ReFS and APFS.

> Still, ZFS is way better than legacy storage SOHO filesystems. The lack of integrity checking, redundancy, and error recovery makes NTFS (Windows), HFS+ (macOS), and ext3/4 (Linux) wholly inappropriate for use as a long-term storage platform. And even ReFS and APFS, lacking data integrity checking, aren’t appropriate where data loss cannot be tolerated.

What I'd like to know is, can this issue be resolved in a future version of ZFS or is it too ingrained into the design of ZFS?

The massive amounts of RAM recommendation is if you need to do deduplication. Are you doing that? If not then you don't need a lot of RAM.

Between the low cost of storage, and alternative solutions for deduplicating data I personally don't use the built-in deduplication functionality of ZFS for my zpools. Might come down to what sorts of data you are storing, though.

Meanwhile someone on Reddit said that Firefox is able to record across pages.

Very recently I bought an iPhone and a subscription that includes 4G service. With this subscription I have 6 GB of traffic per month anywhere in EU, BUT any traffic to Spotify is unmetered, and I don't know quite how to feel about this. On one side it's great having unlimited access to all the music in Spotify at any time and any place within the whole of EU, but on the other side I worry that I am helping damage net neutrality.

Now Spotify, like Netflix and YouTube and a lot of other big streaming services, almost certainly has edge servers placed topologically near to the cell towers. I think this is probably ok. In order to provide streaming services to a lot of people you are going to need lots of servers and bandwidth no matter what, and when you do you might as well work with the ISPs to reduce the cost of bandwidth as much as possible by placing out servers at the edges. So IMO Spotify is in a different market entirely from anyone who hasn't got millions or billions of dollars to spend, and if you have that money it should be no more difficult for you to place edge servers at the ISPs than it was for them.

But the unmetered bandwith deal might be harmful to net neutrality, maybe?

Could you share your configuration for link aggregation? I did it for a while but if I remember correctly, while plugging the cable into my laptop worked as expected I think that in order to get connected to wifi again after unplugging the cable, I had to manually

    service restart netif lagg0

And sometimes also

    service restart dhclient lagg0

But it might also be that I was to impatient and that it would have reconnected to wifi by itself if I gave it more time. How long does yours take to get back on wifi?

I'll be willing to try it sure. Just don't steal my login details please :)

You can find my e-mail address through my website which is linked on my HN profile, or you can PM me on Reddit, same username that I use here.

If your system is public already you can simply link to it in a reply to this comment.

This sounds very interesting indeed. Can this be done with Coq? Do you have any tutorials or such on doing this?

The very first time I heard "serverless" I thought P2P, but even though I agree somewhat with what you said, think of it as serverless because you don't have to manage the servers yourself.

If the unikernel people keep up with the hyperbole the potential audience will learn to just ignore most posts about unikernels. Please don't use hyperbole.

In theory you could implement HN and Reddit with the exact same design, but to me each of these hold value in different ways thanks to their differences. That's just one of countless examples.

GitHub mobile has a similar issue. I have not found any way to fork a repository on the mobile site so I have to request the desktop site in order to do so.

If you could add links for the papers you mentioned that'd be nice. Assuming they are available to the public.

> What we need is this:

> * packet interface for the network

> * a block interface for some storage

> * a serial port to output console data

Some applications need additional devices, such as for example hardware RNG, atomic clocks and/or GPGPU.

> if you stood at the end of the valley when the shadows had grown long, then you had better run back to the cave or face the evening hunt of the local tigers

Is there such a thing as an evening hunt for the tigers? I'm not saying there isn't, I just haven't heard it mentioned in any tv program about tigers.

Where do I find GPUCC so that I can install it?