skysight-inc/HackerNews huggingface dataset:
>What does this have to do with adding axioms? You don't get the complex numbers from the real numbers by adding axioms. For example, the following is provable for the reals, but not for complex numbers:

> ∀x,y . x < y ∨ x > y ∨ x = y

Since R is a subset of C, you can write C as R with additional axioms. See for example:

http://www.math.mcgill.ca/gantumur/math249w15/numbers.pdf

>I'm not looking for handwaving. Formal mathematics is math that can be done mechanically. Write down the axioms for undefined. Again -- I'm not saying it hasn't been done, but it's certainly not part of standard first-order logic, and it is unnecessary.

Undefined is just undefined, that is no handwaving, it is a primitive notion. See https://en.wikipedia.org/wiki/Primitive_notion

You are trying to define the undefined in a formal system. Undefined is just the absence of a definition. Not 0, 3 , 2pi

> No. You can write 1/x < 5 ∨ x > 20.
Yes, those are valid mathematical statements. 5 ∨ TRUE, or undefined V TRUE, I doubt it.

> There is no such thing as "doesn't make sense" in formal math, even though there is such a thing in informal math. >That's the whole point. Either the expression is ill-formed, i.e. not in the language or a "syntax error", or it must make some sense.

Well in language, in which I am corresponding with you, there is such a thing as 'makes no sense'.

You are somehow trying to capture everything in your logical system only to try to prove that 1/0 = 0 is part of a field, which it isn't. I've made my point here, it was nice talking to you.
https://status.discordapp.com states that Discord identified and resolved the problem.
Yes, discipline is needed, but knowledge helps too, because it shows some of the directions in which discipline may be applied, for example:

One can learn that carb and fructose-rich foods are addictive and cause diabetes when consumed in excess.

One can learn that drinking alcohol just before eating causes the liver to prioritise metabolising alcohol and the other calories go into visceral fat (the so-called 'beer belly').

One can learn that eating just before bed or when one is normally asleep puts strain on the heart and causes fat to be laid down (importance of circadian rhythms).

One can learn that people who aren't even slightly fat are killing themselves from drug overdose, which may seem irrelevant until one recalls that many people eat for comfort. (So this is a personal/mental problem as well as a physiological one.)
I'm okay calling it either "moderation" or "private censorship." I prefer a world where businesses are explicit about who they are. "Welcome to Acme. If you support poisoning animals, this is the wrong place for you. Go to poisoninganimals.com where you're welcome, instead." I can tell you, if I ran a website and someone plastered a bunch of comments promoting pedophilia, I wouldn't want to be associated with that. Maybe it results in fewer sign-ups, but just hosting content like that is making a statement. Users pick up on it, and you wind up, not being a democratic website for everybody, but being a website slanted towards creeps.
>On the other, they also promote the dissemination of ideas the knowledge of which poses a threat to the status quo that is, the state towards which a society was coerced to.

Actually, one of the biggest uses of torrents is to disseminate pop culture materials that fall right in the middle of US culture. Probably dwarfing "radical" stuff by many orders of magnitude.
Agreed. The "night vision goggles" I've always wanted are a) a thermal imaging camera, and b) whatever it is the military means when they say "night vision goggles".
I remember a significant anecdote about Chinese assumptions when a Chinese-Canadian I was dating explained she always goes to busy restaurants on the assumption that a lot of customers means they have good food. The western bias is towards being the first to discover an unknown restaurant with great food that just hasn't had time to build a reputation, but that's not how a typical Chinese person would approach the restaurant problem.

Abstracting that decision-making style to retail investing in a country with a bias towards savings, and the nature of Chinese equity markets makes a lot of sense.
It's not about whether we can. It's about whether we should.

This is a freedom-based problem. First, what problem is voter id supposed to solve? Well, people cheating by voting illegally. Is this an actual, demonstrable problem? No. Despite grandiose claims by FOX News and Donald Trump, there is no evidence of widespread voting fraud. So we've established that this is a solution to a problem that does not actually exist.

Second, does it impact our freedom? Voting is both our right and responsibility as citizens. Should we be required to carry and show id just to prove that we are citizens? "Do you have your papers, citizen?" used to be a joke we made about the shortcomings of totalitarian communist dictatorships. So yes, it does impact our freedom, as we should be free to go about our day without carrying government id at all times, and I believe that would include the act of voting.

Limiting our freedom to solve fake problems sounds un-American to me.
Note that the title implies Vitalik invented this algorithm. Vitalik was very clear (as a paragraph in this article does disclose), that he was summarizing Leslie Lamport’s algorithm from 1982, and showing how it could be applied to the Blockchain context.
shoutout to darkfall

http://www.sickenger.com/articles/the_making_of_darkfall/

- was the creators' dream game

- 10+ years in the making

- team lost funding, went without pay, and moved from sweden to greece

- not a commercial success

- best game ever made.
"All of nothing" is a bit clickbait but he seems to be having a go at building one for 2020, the most interesting bit tech wise is he may have a battery with twice the energy density of normal Li-ion.
While moving more is important for overall health, specifically to weight loss it isn't the answer. What and how much a person eats is going to affect their weight much more that how much they move, barring someone running marathons or similar extra ordinary exercise routines.

This is pretty well established science at this point. Again, like you said, I'm not going to go into details on the things people should eat. I think different people need to find what works for them, their body, palette and schedule.
I wasn't trying to downplay the importance of eating less. But by changing to a more active lifestyle, you pull your body out of the sedentary energy conserving mode, which in my completely unscientific anecdata seems to improve how your body uses the energy you take in.
But Google, for example, produces original content on YouTube and YouTube is also a platform for other people doing the same. They are both.
C++ DLL Injection Manual Mapping Tutorial
Tricycle is not a place where you should get advice on either diet or Buddhism.

From the Saiputto Sutta; you see that? Not for beautification.

"And how, friend, is one moderate in eating? In this a monk takes his food properly considering,[2] not for sport, for intoxication, for adornment or beautification, but purely for the maintenance and nourishment of this body, for keeping it unharmed, as an aid to the practice of the holy life, thinking: 'I shall put an end to the old feeling,[3] and not produce any new feeling.[4] Thus I shall keep going, incur no fault, and live at ease.' That, friend, is how one is moderate in eating.
It does take a long time and its an ongoing process everyday, but I find learning new things to be fun.

I don't do much woodwork right now don't have space for a woodshop, but I really enjoy watching Matthias Wandels creations here. https://www.youtube.com/user/Matthiaswandel
We agree that they shouldn't be on the sidewalks. We disagree on this:

> Every day I witness collisions and near collisions, but none of that gets reported as widely or loudly as a car crash. This needs to stop.

Everybody in this thread knows somebody who died or was severely injured in an automobile accident. It's obscene to compare their losses to the nuisance of scooter "near collisions."

This isn't an attack on you, personally. We've all become inured to the carnage, but sometimes it's worth taking a step back to remember that there's a reason we treat cars differently, one that renders arguments of the form, "but what about pedestrians who break the rules!?" inert.
That must be what they told Washington at the time, and what's more Washington obviously bought it.
Well, I'd say marketing issues have an effect here too. Lots of 'alternatives' don't really understand that average Joe doesn't specifically care about decentralisation (or privacy/censorship resistance/whatever else they're marketing the product on).

They don't hate said things, they just don't care about them as much as finding interesting people to follow/groups to be a part of, joining in an active community, finding information about things they're having trouble with, being entertained, etc.

But most decentralised systems seem to be marketed on the assumption the decentralisation side (and the philosophical aims of the service) are the only important thing, and hence don't really appeal to those outside of the tech crowd and those with a desparate need for avoiding censorship.

Secondly, the UI is often worse than the centralised or commercial alternatives, with very few systems (Mastodon arguably being of the exceptions) looking or feeling as modern or responsive.

Finally, plain old network effects have an effect too. The more people who use your service, the more popular it'll become, since more people they know will be encouraged to join in.

But to achieve that, you usually need to put time and money into marketing your product and attracting as many early users as you can. That's hard work, and it's not fun for a developer.

What is fun for a developer is to play around with programming languages and data structures and protocols and frameworks and all the new shiny stuff they saw on Hacker News. So all the effort goes towards making a technically fancy system, whereas none of it goes towards actually getting people to use said system, or getting the word out in general. Get away from the code editor and get into community building.

(Though to be fair, that last one is also a problem with most new social networking sites in general, decentralised or not. Every modern Reddit or Twitter alternative feels like a programmer's fun pet project rather than a service they're marketing to people)

Either way, I think that covers it. The lack of certain features like trending content doesn't matter as much as how these systems don't market themselves correctly and put little work into the things people actually care about.
We are in a nihilist low right now. I don't except that the United States will have any answers. This is because it is an 18th century experiment in governance. People are realizing that the experiment has run its course. I believe we will see a resurgence of 'guilds' for a lack of a better word (except in the United States that is stuck in an outdated experiment). Being a doctor or an engineer is almost an international designation now, their papers are accepted in many countries. International bodies of doctors and engineers will start to gain more power. Perhaps licensed bodies will demand a seat in parliament. For example all the doctors get to vote for a representative in parliament, amongst the reps whose seats are geographically based, engineers as well get one seat. This won't happen in the United States, but maybe one of the former eastern European Countries. The United States has shown that treating someone without education the same as someone with an education doesn't work.
What are they kidding?

- Decentralized YouTube (https://d.tube/) is almost in the Top 10K most popular sites in the USA (https://www.alexa.com/siteinfo/d.tube).

- Decentralized Reddit (https://notabug.io/ , https://blubit.space/ , etc.) has ~1K daily uniques.

Both sites are built using our https://github.com/amark/gun ! Soon they'll even integrate same private/public keys so you can reuse your same account across many different dApps.

This will only strengthen the network effect, and make decentralized apps take off even more.

Also note, Mastodon is federated, you still "belong" to a server.
Where have I seen that before?
Not all, some are non-free and commercially licensed.
Well just try it yourself, it’s really that simple.

On the other hand, Chromium (the open-source version of Chrome) does this too so maybe it’s simply a UX decision rather than an evil plot to send more data to Google, though I personally believe that it’s the latter…
Calories in calories out over simplifies what is a complex issue. It is not "just" that. You even kind of contradict that statement yourself by your later paragraph.
I'd say Brad Kuhn got it right in http://ebb.org/bkuhn/blog/2016/08/13/does-not-kill.html including "[Y]our proprietary software has killed people, both quickly and slowly, and your attacks on GPLv3 and software freedom are not only unwarranted, they are clearly part of a political strategy to divert attention from your own industry's bad behavior and graft unfair blame onto FLOSS".
For me torrenting is mostly just about its stigma for being illegal on the one side and its very competitive performance on the other side.

So as soon as someone distributes some data via a torrent, everybody starts asking if it is legal to use that data. When the data is offered via a download link on some website, most people assume that they got the data through a legal channel.
Google abuses its position plenty and was found to be guilty in court multiple times.

There are endless examples of shady practices on Google's part, the obvious elephant in the room is ignoring the GDPR.
I wasn't trying to say they aren't reporting it now. But the news here pretty much cheerleads for the government. So when the Premier and the former head of the central bank[1] are saying this sector is a good potential investment, CCTV News is going to pass that along uncritically to all these middle or upper-middle class people, who tend to have cash to spare and are used to huge returns like in the real estate market.

SCMP has an article about it[2], but they're blocked in the mainland. I looked for the Xinhua article they mentioned but couldn't find it on their English site. I did find this one on Sixth Tone, which is not blocked[3]. It doesn't mention the protests. My guess is you won't see much if any mention of the protests on any mainland news.

[1] https://qz.com/1351198/how-p2p-lending-turned-middle-class-c...

[2] https://m.scmp.com/news/china/economy/article/2159372/china-...

[3] https://www.sixthtone.com/news/1002653/peer-to-peer-lending-...
If this is DNS related, which it seems to be, it has little to do with cloud based endpoints

DNS has always been subject to manipulation by malicious actors or glitches in DNS server code
Ask HN: Where do you find quality consulting work?
I'm a full stack web developer wrapping up my failed startup, but don't want to get a 9-5. All my previous clients were gained on the basis of a single personal connection. Where do you start looking for quality clients who pay decent weekly rates for product-oriented web development?
Your right, I've tried it before and forgot about it.
> The eight web sites I currently maintain all have to support IE11, so no grid.

IE11 supports an older version of the CSS Grid specification; autoprefixer makes supporting it not trivial, because it lacks some useful features of the final spec, but perfectly achievable. And it’s not really any buggier than IE11’s flexbox support.

But I agree that Grid is not a panacea. Almost every “CSS Grid lets us do this!” remark that I’ve seen was already possible with Flex, and most of the remaining cases were not desirable anyway.

There are definitely cases where Grid is great and can do things that would have been somewhere between a nightmare and impossible to do with other layout techniques. The main example I find in real life regular web design is responsive design where you wish to display things in a two-dimensional layout, but interleave items when reducing it to one column on smaller screens. An example of that is the hero area I did for https://www.topicbox.com/, where the video moves, on small displays, into the middle of the content from the other column. You can’t really do that with other layout techniques.
This product appears to index your bookmarks, did you see that?
I get the point of this, but me personally, I prefer to have aspects of me forgotten/gone rather than remembered, stored and searchable in the future. Yes, it's true that, about once every two months, I am looking for something that I swear I came across on the Internet at some point. However, the rest of the time, I'm able to re-find it just by doing another search, whether on search-engine-of-choice, or a search box on particular-website (e.g. socnet, stackoverflow, reddit, github, hacker news...).
Please don't use racist terms to describe Chinese people who believe in Communism.
It shows a big spike in 500s and dip in request rate around 2 hours ago
I don't understand the relation/reference.

I'm Turkish and have been watching the news but I don't see any reason why someone correlates large websites being down with Turkey. With no explanation too.

Can you elaborate please? This is an honest question and I would like to know if my government is hacking foreign sites in retaliation for sanctions.
That is ignoring that a sufficiently motivated actor can ensure that doesn't happen.

In one of my private trackers there is a person with a seedbox that downloads every single torrent as soon as it is uploaded, and they have been doing so for quite a few years now.

This ensures that while some things will indeed, be seeded more, nothing quite vanishes.

Then again the form media of that specific tracker is fairly small, so it is not prohibitively expensive to archive everything. One raw ISO Blueray movie file elsewhere could be thousands upon thousands of torrents in that specific tracker.

Maybe something of utility would be creating a distributed torrent system that is a bit more closely tied to the tracker. Where membership would require you to integrate to the swarm by automatically downloading a percentage of the entire corpus, ensuring the health of the tracker.

So a new peer would be bearing part of the load of having everything be accessible.

I think this would require decently heavy curation, but I could see how it could be useful for something like the OP specifically, where having scientific papers lost for good would be a shame.
All these issues can also be overcome with a "live and let live" attitude, and expanding ones empathy beyond oneself, and tentatively even beyond the present. At least to me, the main difference between me living for 1000 years, and me and 9 other people living 100 years each, is that 10 people would probably be more interesting, even though I would only get to see a tenth of it.

Like that Roman dude said, the mind is a fire to be kindled, not a vessel to be filled, so it seems with life. To have or to be... if only I could live 1000 years, if only 10000, if only 100000... is it so absurd to at least consider it possible that we would treat it just like we treat RAM and CPU now?

https://en.wikipedia.org/wiki/Jevons_paradox

Sure, it's apples and oranges in a way, but satisfaction really is something that happens in the mind and not just the external circumstances, so I don't see why we wouldn't be able to consider any amount of time "not long enough" at some point. Doesn't mean we would, but if we did, we would have gained nothing, other than less diversity of persons.

> We feel free to express ourselves because we are ready to fade into emptiness. When we are trying to be active and special and to accomplish something, we cannot express ourselves... So we have enjoyment, we are free.

-- Shunryu Suzuki

> Of short duration are those who praise as well as those who are praised, those who remember and those who are remembered. And even that happens just in one corner of the world, and even there not everybody agrees with one another, a single person doesn't even agree with themselves. This whole Earth however is but a dot.

-- Marcus Aurelius

This does not change meaningfully, to me, if you replace Earth with Universe and short duration with 10^10000 years. It's the same basic problem, and even I am constantly in flux, not ever the exact same person I was an instant ago. So why not get over that? For me letting go of some things doesn't mean giving anything up, it's more like having the hands free to receive better things; I like the tiny actual place I have in reality more than an imaginary big one that requires all sorts of ballast and images, layers of abstraction and alienation.
I'd have to read the paper, but I'm extremely skeptical as I've read most of Lamport's work and I don't recall a relevant solution.

Also, Journalists: please stop repeating propaganda about a 51% attack, it's a <33% attack. Not all chains are created equal on this, but all chains can be attacked by a 33% dos attack.
The problem in Sweden is of a different nature. We do have union representation in the game industry, but it's more or less a yellow union (that is, it's so passive that it's to the benefit of the employers) imo. This means that many of the core issues related to employee health are never adressed or fought over, for example:

* Overtime pay (very rare of in the game industry).

* The allowed amount of hours overtime (a.k.a. crunch, there's alooot of hours overtime allowed in the collective bargaining agreement).

* The detrimental effect of open offices.

So understand me right, I'm a union man without a doubt, but just having the union box checked does nothing. The union has to be a fighting union, otherwise it will wither away.
TBTK v1.0.0 released
With secureboot on Linux you can secure as much or as little as you want. On my system, grub isn't even safe, only the shim that load grub is secure. But I could set it up so the kernel is secure, have the kernel only load verified initrd, and then have the initrd check the root filesystem.

I don't, but secureboot can detect changes to the root filesystem if you want it to. I think this generally requires setting the rootfs to mount readonly.
For sure, I was thinking more simply how most of us developers etc, immediately create an abstraction (rest/graphql/sdk) vs allowing direct queries to a db. Would be interesting if libraries/knowledge/datasets could be a query away, actual free info, not a search engine/promoted/abstraction in any way.
> Yes, this PEP looks like it is trying to turn Python into Ruby where the ? suffix is common for a function that returns a bool.

No, it's nothing like the Ruby convention. It's much more like th C# operators.
lol... why don't you try reading the article?
Oracle’s submission to the Aus. Government’s “inquiry into digital platforms” [pdf]
Last time this happened for me it was Cloudflare's fault. Google and some other really large sites worked, but not much else.
> I nice idea, but an open source browser plugin with all local storage would fit my needs better.

This seems like it's local search. Are you saying you wish it was open source? The only cloud feature seems to be something about highlighting.
thats cool, I didn't know about <marquee>

demonstration of what you stated above

https://i.imgur.com/GXakWpD.gif

text used

data:text/html;charset=utf-8,<!DOCTYPE%20html><title>HTML%20sandbox%201.0.8</title><style>{box-sizing:border-box;width:100vw;height:100vh;margin:0}[id]{border:inset;width:50vw;float:left}</style><body%20onload=A.value=decodeURIComponent((L=location).hash.slice(1)||'');T=W=0;E=RegExp('^'+(D='data:text/html;charset=utf-8,'));F=function(){if(W!=(V=A.value))W=V,M=V.match(/(^data:.+?,)?([^])/),I.src=(M[1]||D)+encodeURIComponent(M[2])};F()><textarea%20autofocus%20id=A%20onkeyup=clearTimeout(T);T=setTimeout(F,400)%20onblur=L.hash=I.src.replace(E,%27%27)></textarea><iframe%20id=I>#<marquee>