skysight-inc/HackerNews huggingface dataset:
...that would be more of a belief theory (like Dempster-Shafer) than a logic.

Or maybe what you are thinking of is simply the situation wherein a logical expression is neither valid nor unsatisfiable. Valid would mean it's true in all models (all possible worlds), and therefore provable. Unsatisfiable would mean it's false in all models (all possible worlds), so that its negation would be provable.

so "p or (not p)" would be valid
"p and (not p)" would be unsatisfiable
"p" is neither valid nor unsatisfiable. it may be true, or it may be false. it's a contingency. Maybe that's what you have in mind by "unknown".

There are various mathematical theories for navigating the space between unsatisfiable and valid. If you start thinking about the proportion of possible worlds wherein p is true, you are thinking of frequentist probability theory. If you start reasoning about whether p is satisfiable whereas not p is also satisfiable and distinguishing that from the case where p is either unsatisfiable or valid, then you are thinking of possibility theory.
> Black out blinds and eye mask, eliminate all sources of light in the room

Why do you need black-out blinds if you have an eye mask?
haha! I remember reading this. Made me smile
Considering the history behind the Chinese government's response to protesters, I would be willing to consider that the title and related tweet is somewhat accurate.
I was a bit underwhelmed by how moderately off-putting it was...I was led to believe it's the worst thing ever. It certainly smelled pretty awful, but there wasn't a wretch-inducing taste. The icy Brennivín definitely helped.

Not that I'm eager to ever try it again...
What a pleasure this morning, lot of places in public transportation, fluid traffic, people arrive at work with a smile, then we can work on an exceptionally zen atmosphere.

They can repeat this operation as often as they please.
I think Apple has a different vision for needs of people who use Macs and iPads for work.

For example the new Sidecar feature (use iPad as a screen) supports the pencil but not touch. Apple believes that touch on macOS interface is not a good experience. I suppose that they feel that text entry and chaining CLI tools on iPad is not one either.
The F-22 is not sold to other nations, or even being manufactured at this point.
As a side note looks like Adobe has a patent(!) on tabs... And it expires today!

https://patents.google.com/patent/US5546528
I am confused by the e-mail issue. The OP says that Riot says:

> If you don't specify an email address, you won't be able to reset your password. Are you sure?

In your response on pg. 4, you say:

> Commented [11]: Yup, this is the point of the service -to map email addresses and phone numbers to matrix IDs.

Is it possible to specify an e-mail address to be able to reset passwords without making this e-mail address public? Clearly, this should be the default setting if someone enters an e-mail address after the above prompt by Riot.
Not sure I'd call sandboxing a "botched transition"–many developers found it so onerous that they've been holding off on it for almost a decade :)
Oh yeah I get that you are not comparing with anything else, because then your criticism wouldn't be on matrix but on how about 99% of the internet today work _by design_. With any protocol, where you are expecting any reliable, low-latency 2-way communication, each partner will know about the other, you won't work around that anytime soon. What you can work around is the number/mass of the partner which is acting as your always-on messaging relay, eventually trading convenience for privacy - I agree that vector/riot is not looking too good on this, but I don't see how they're not clear on it/working towards eventual resolution of this problems. One can argue whether this should be the first priority or an afterthought but I've grudgingly accepted the latter being standard today (just look at all those leaky SaaS-apps on hn...).

For the perception/expectations of average Joe on privacy/obscurity on the internet I recommend you read the recurring threads on any platform whenever there is a new "scandal" centered on whatsapp (europe): half of your commenters will just tell you that they are gonna use Telegram (yeah, the ones, where you don't know exactly whose behind and which think that encrypted group chat is too much of a hassle).

Regarding your comments that the protocol is broken, I'm really surprised how you are intending to tackle this? Why the hell are you using the very same protocol which is driven by a body which you claim intransparent and non-cooperative? If all your allegiations are true you would have been better of rolling your own/your software won't be compatible for long if you take your own writing seriously...

P.S.: care to elaborate who's "we"? Your projects have a surprisingly low number of contributors (which hopefully changes now), so I can't really figure out, why you are not just saying "I". Also don't know what's so bad on taking a stand in a civilized public discussion (if "we" decided to be anonymous)?
> This README was generated with <3 by readme-md-generator

No, it wasn't. This is the antithesis of love. This is what "lovingly" hand-crafted READMEs look like:

https://github.com/sapcc/castellum
https://github.com/sapcc/swift-http-import

None of that templated "please star if you like this" bullshit (your project's README is NOT the place to be explaining GitHub's UI), but all of the information that people actually need to use the program.

I just can't stand this phony corporate bullshiting about how "we at $ANONYMOUS_CORPORATION are your friends and want to help you succeed" that's just a plain lie everytime. It seems to be an American thing. When I interact with American managers, they're all about "being passionate about X" or whatever. The German managers are much more focused on the actual tasks, i.e. boring in all the good ways.
Design of Anno Game Engine
>I suspect this to be a natural distrust of the body regarding fermented things

I wonder if the opposite is true, from an evolutionary perspective. Fermentation is a way food remains safe to eat where otherwise it might have rotted or made one sick.
The title cuts off “Symbolicator,” the specific name of the component here which is slightly confusing.
This sounds a lot like the abstraction that SystemVerilog uses to describe the electronic states that a piece of wire can be in. Namely, SystemVerilog uses 0 for a wire driven by a low voltage, 1 for a wire driven by a high voltage, Z (high impedance) for a wire that is not being powered at all, and X (unknown) for a wire that is driven by a 0 and a 1 at the same time.

X is highly contagious, if you connect any wire to one with an X value, the result will be X. On the other hand, Z wires have their value overwritten by anything (a 0 connected to a Z will result in a 0). However, Z is not a valid _input_ to a logic gate: 1 AND Z = X.

Z is usually used for buses which consist of multiple inputs and outputs connected to the same wire. When nobody is transmitting, the value of the bus is Z. When one device transmits, the bus takes the value of the transmission. And finally, if more than one device attempts to transmit at a given time the result is X and you get what is known as bus contention :)
~
Hey, You Left Something Out
> I would constantly look at my clock, phone, watch, etc.

I have a projection clock which displays a dull red digital clock on the ceiling. It means if I do wake up I can check the time without having to roll over, rind a bright clock etc. It’s so dull it doesn’t disturb my sleep and I find really useful to have.
The build and instant play feature reminds me of Trackmania for some reason.

It was (is) a great game, but I still cannot believe why it never became famous.
It seems logical that the ones having difficulties sleeping use tools to sleep better. So I'm not sure I understand your point and comparison with self-help books.
I find AppImage files quite annoying, I must admit. I understand that it's annoying packaging for all the different Linux distros, but this doesn't feel like the solution. Maybe renaming them and dumping them in /usr/local/bin would make them integrate better with the OS, but I usually just avoid them.

Flatpak has been quite nice when I've used it, if a bit more awkward to figure out first time.

Snap is fine, but the actual publishing side of it I found quite confusing and arduous when I tried it, so from a developer point-of-view I would probably avoid it (unless it improved a lot in the last year).
I’m curious. Is their salary paid as X BTC per month, regardless of the movement of BTC? Or are they paid the BTC equivalent of Y USD (or similar currency) per month?
> [...]a small electric commuter car to drive round at 30mph for short distances but even today there are none like this[...]

These are called microcars[1] and a lot of models exist. E.g. the Canta[2] (both petrol and electric models) and Biro[3] are quite popular in The Netherlands. There they're given preferential regulatory treatment, e.g. you can park them on sidewalks and drive them down bicycle paths.

The problem with a small car that can go at max 30 mph is that a moped is a much better fit for most use cases for such a car. An advantage of a car like the Canta or Biro is that they're fully covered, so you won't get wet in the rain. But you can also get good moped rain covers, and mopeds are a lot cheaper.

1. https://en.wikipedia.org/wiki/Category:Microcars

2. https://en.wikipedia.org/wiki/Canta_(vehicle)

3. https://en.wikipedia.org/wiki/Estrima_Bir%C3%B2
In 21st century it's fashionable to lobby the government to assign you rents. If you don't protest, you only get what the market thinks is fair. That's not enough.
Necessity being the mother of invention, that's a common theme to the more traditional cuisines.
There is no concept of “zone” with the Octopus card. Basically anybody who lives in HK has an Octopus card. Its use is very much entrenched. It’s more convenient than any other “modern” payment method you can think of, including Apple Pay, Google Pay, Samsung Pay, Visa payWave, etc. The only limitation is the daily automatic top-up limit.

Which is to say that the desire for anonymity is the actual cause of the long queues, unless you think a lot of dark-haired and yellow-skinned foreigners who never had Octopus cards were flooding to the protest, which is unlikely.
Having been involved in the development and installation of the Octopus card, nearly everyone in Hong Kong has one. The card is valid on all public transport in the SAR (except the ferries and trams) and is also used for retail like 7-11 and equivalent.
Its purpose is having a communication protocol, so simple anybody can implement it themselves.

If your modern internet is incapable of allowing for this, it kind of sucks.
I still don't get the difference between Flatpak and Snap.

I get that AppImage is a self contained executable. Fine - makes sense to me. The others... I've got both installed on my Ubuntu 19.04 box and I really have no idea why I'd choose one over the other, or what the projects are trying to do that's so different from each other.

Sure, competition is good - but wouldn't pooling resources be better?
Luckily you can make a tiny ext4 mount for Dropbox and leave the rest of your drive alone.
> I thought the step where they beat the fish with a mallet was so wild.

Is it really so wild? Beating on it remains a common way of tenderising meat.
AMD Radeon RX 5700 XT and RX 5700 Announced
It's the same for semiconductor fabrication.

The plans and steps all require a computer (cept for the simplest of chips which would'be been originally hand-designed). This means that if there's some planetwide disaster that wiped all electronics, we'd have to restart from scratch as even viewing the blueprints of a chip requires a chip!
What's in it for Facebook?
Isn't that smoked?
You saw that when top gear compared the original tesla vs its donor car - the Tesla had amazing acceleration but wallowed going round corners when compare to the ICE Lotus it was based on.
If Firefox would add a smooth zoom for pinch for Windows touchscreens, then I would never look back to Chrome. Its a feature that has been promised for many years, but has never been implemented properly.
Usability Mistakes: 6 Honest and Valuable Tips from a UX Designer
"stage", well said.

>However, women in Switzerland still earn on average 20% less than men, they are under-represented in management positions, and childcare remains not only expensive, but in short supply.

Women are less valuable? How will a strike solve this? I mean if this was true and I was a business owner I would only hire women because I could pay 20 % less. But of course that's not the way it works. Those "facts" are manipulative.
What does that argument sound like? I'm 32 and have never spent any US currency on the internet...
When I was programming I loved working in an office with other teams. The buzz with the other creatives, coders, artists, musicians, really helped me to develop what I was working on. If I was ‘in the zone’ I could be totally focussed for hours but when I needed a mental break, or to chat over ideas there were always others around to do that with.

I’ve sometimes worked at home which can be great for a few days of pure coding but for the longer term development I really relish having other peers around.

I once did a project, about six months work, purely from home and although I was disciplined enough to work I feel I was nowhere near my best because of the isolation.

This is why I find it strange the drive a lot of people have to work at home, for me it’s nice occasionally but it just doesn’t work for my creativity.
Library Extension: see book and e-book availability from your local library
http://www.jofrost.com/naughty-step-technique/
There are about 340,000 Icelanders, and Iceland has a 200 mile exclusive fishing zone around its coast.

Such a zone around a single point already is over 120,000 square miles.

So, at less than 3 Icelanders per square mile of ocean, I doubt they could eat all the fish in ‘their’ ocean.

Drying fish is highly sustainable, as it is done on low-tech solar power.

The only concern could be the method of catching fish. I doubt that makes much impact, though, and if it does, there’s bigger fish to fry elsewhere (pun intended)
> It feels odd to me that a judge - someone who is supposed to be neutral - would openly take a stance...

Contrary to what the most stereotypical look-those-nice-shiny-shoes-at-my-feet Swiss may think, neutral does not mean inactive.
Lobsters has working tagging and filtering system so you may simply filter "culture" out.
What I don't understand about this solution is that if you have full automation on the highways then what you need isn't really remote control for the rest, all you need is to get regulation change so that drivers aren't considered to be driving during autonomous periods. In most of Europe this would mean you could have a driver in the vehicle but they could use the long periods of automated highway driving as their rest time meaning they can travel almost non-stop, as opposed to how they operate at the moment where they are forced to pull over for several hours a day.
From the article, the poachers are not directly hunting for gorillas or other monkeys. When they find them in the traps, they leave them there to die.
Well there is a simple counter for this issue with the continuous growth requirement. Expand to space.
I see just two comments right now and I see a lot of cynism.

Things are better today than in the past thanks to people fighting for their and others rights. And the job is not finished.

Democracy is not something that happens once each four years. It's important to vote, but as important is to express your dissatisfaction with the wrongdoings of the system.

> Ms Born, who joined a newsroom staffed entirely by men in 1986, is quietly optimistic. "We've achieved some good things since 1991," she points out. "We have maternity leave now."

Parental leave seams such a natural right to have that it's strange that there exists any opposition to it. Mothers and fathers benefit from it. Fighting for women's rights is also figthing for a more just and balance society for everyone.
Hakarl is a very peculiar one though. It's treated and fermented fish, not a dried one, and is well known for being… an acquired taste (https://youtu.be/vTOfhQ_SZEg?t=121)
are there transcripts with references(images, etc) available?

I prefer reading, so much more, than watching a video - plus it takes way less time, and lets me focus better.
It did happen and it was solved by changing the amount in the pint glass over time as the GP says.
> Fermentation is a way food remains safe to eat where otherwise it might have rotted or made one sick.

OTOH there's a pretty fine line between fermentation and rotting, so individual preference might come down to perceptive difference.
Sure. 5-10 USD per hour and I create "tenders" for every 2 hour job hence the micro part.

The jobs must be meticulously thought through so they can be communicated succinctly to a person in the other side of the planet.

I also have to go over all the work, because sometimes there are errors.

Sometimes I have several contractors working in the same Google Drive Spreadsheet on separate sections at the same time. That is pretty cool to do, and watch happen in real time.
Same in the Philippines. The smell will drive non-Filipino's out of the area. The locals love it, but I never heard of such a thing before arriving here.
FIFA Women's World Cup Is Back – But Does Anyone Care?
Pune Tourism in India
Those are not positions that either the pro or anti regulation camps would claim.
Funny, in Sweden where surströmming is from I have heard the exact same words used to describe the production of Hákarl. But Hákarl is easy to smell and eat compared to surströmming, which is gut-wrenching when you smell it.
A Latino could have entirely white European ancestry or entirely indigenous ancestry (and those are far from the only possibilities). I think you just don't know what a Latino is (?) The blog post you link to might help you out here:

"Latinos — people who trace their ancestry to the ethnically diverse regions of Latin America."

"So for example, on average, people of Mexico have about 4 percent African ancestry, while for the average Puerto Rican the percentage is much higher."

Comparing racial differences in humans to species differences is wildly inaccurate biologically, and a racist trope. I think it's clear who has the agenda here.
“This raises a lot of interesting questions about cash vs. cashless societies, and how in times of protest people may drastically adjust their usual economic behaviour.”

Also what happens when you dont have the option to “adjust your behavior”? Like at least in Germany payments above some amount I don’t remember can not legally be paid in cache.
What always strikes me as odd is how the US discourse around regulations stays always on a hypothetical level, while literally 50 other states have regulations for decades and know where it works and where not.

This feels a little like discussing whether airplanes are a realistic means of transportation while the rest of the world uses them for years and isn’t really a rational approach towards reality, but rationalizing ones believes. Airplanes are made by the devil, therefore they can’t be good.

The way this discourse unfolds in the US says more about the state of the nation than it says about the practicability of any regulation.

Can you fuck up things with overregulating? Sure thing! Can you fuck things up by not regulating? Sure thing! And while hitting the right balance can be tricky at times, this is not a theoretical matter you can observe it empirical and ask yourself if it works.

I know the tribal partisan divide in the US leads some to leave their head at the door, but come on, this is just silly.
You ought to put some more effort into understanding the millennia of thought that has gone into the topic before making sophomoric errors.

You've unintentionally acknowledged my original point with your obsession on the nonexistence of the biblical God. Why aren't you going on about your lack of belief in Susano-o?

What you fail to understand is that there are those who have come to a belief in a transcendental creator God in a philosophical journey, because it's a logical necessity. Granted, the particulars of the incarnation are a matter of testimony. Setting that aside though, the logical argument for the necessity of a creator God is no different than the logical argument that we live in a "simulation."
It's not uncommon. Many people use the truth values {T}, {F}, {}, and {T, F} of one of the four-valued Belnap systems taken as partial logic. It is very adequate for linguistic modeling of truth conditional content and propositional attitudes, see for example Muskens's great little book Meaning and Partiality.

If I only need the "third case", I personally prefer a bivalent logic with nontraditional predication theory developed by A. Sinowjew (1970) and H. Wessel (1989). It's great fun to point out this system to philosophers who weren't trained very well in logic and are dogmatically convinced that it's impossible to express a third case in a bivalent logic. (Admittedly, that's a very petty motive. Anyway, NTPT will not convince any real intuitionist, because the quantifiers remain classical, too.)
Oh, you'd be in good company, if for (likely) somewhat different reasons. Google up 'C.J. Date' and '3VL' for some expert ranting on the topic.
This man, is a complete nutcase. Japan and China didnt build their wealth on slavery. Neither did the arabic countries. Even though they got as many slaves as the americas (look it up). They still have modern slavery btw.
The author belong to a group og greedy envious people. We should tax the 1%... Are you in IT? then chances are high that you yourself belong to the top 1% richest persons in the world. Now, consider how much you think rich people should pat more, then donate a proportional amount from your own income...
It will be really funny if this image turns out to be a real photo.
None taken, it's more interesting to work for a large scale global company. Solutions that I help develop are used by hundreds of millions if not billions of people every day. Very few companies in the local market have that scale.

It will get better at some point, we're just delivering a lot of projects in Europe but attention will shift to this part of the world next. But if it doesn't look like it will improve I'll probably look for something else when the current set of products are in market.

I also choose to have meetings at night, work would happily pay for me to fly to Europe but I try and avoid flights when bluejeans will suffice for environmental reasons.
> Anecdote: My most exhausted coworkers are those who openly admit and talk about using sleep trackers.

Having terrible sleep would be a good reason to get a sleep tracker.

That's why I got a tracker myself. Though it was so imprecise I stopped using it after a few weeks (to be fair I got a cheap one).

At the end of the day I guess a true medical sleep study is the only option if you're under the impression of not getting enough of restful sleep.
That'd cost a lot of hams their operating licences...

Though there is precedent for it -- from back in the days of the "Russian woodpecker", an OTH RADAR system. Some used to key up and play various sounds at it...
CockroachDB multicloud deployment(using Kubernetes)
I can imagine few things I'd be less likely to do than use a currency backed by facebook.
Breach and Attack Simulation vs. Pen Testing
> Really the only saving grace of hydrogen vs batteries is the speed of refueling.

And range, weight, and (eventually) price. Batteries need to improve in all these areas.

Fuel cell cars are expensive at the moment because they're produced in such low volumes. But Toyota thinks that if they produced FCEVs at scale they could build them cheap:

https://www.thedrive.com/tech/26050/exclusive-toyota-hydroge...
This would be awesome with a dark theme.