skysight-inc/HackerNews huggingface dataset:
In first order logic one can only quantify over objects of the domain: in "for all x such that ..." the variable "x" represent an object.

In second order logic, one can quantify over relations (and functions, sets...): "for all P such that ...".

The wikipaedia page [1] has more details and is quite readable. Be careful about falling into a rabbit hole ;)

[1] https://en.wikipedia.org/wiki/Second-order_logic
Feeling Out-of-Sync – The Pursuit for Harmony
Yeah, somehow a parasite feels like it has more agency and intent than a virus...
It seems every other day there is contradictory information, I don't know what to believe. This is from a few days ago

"High fat or 'ketogenic' diets could prevent, reverse heart failure"

https://medicalxpress.com/news/2020-10-high-fat-ketogenic-di...
My new-ish TP-Link router also has SIP ALG enabled by default.
If I made a software and I took someone 10 years of constant usage to start liking it, I'm not sure I'd say it's a very well designed software. 10 years is enough to make anyone like anything.
Why mega projects fail [audio]
Absolutely. If you wanted it not to work, then the first thing you would do is check the serial and spit out an error. You wouldn’t accept some commands and randomly hang on others.
You are right, I didn't mean this to be an exhaustive statement. The UK is culturally closer to the US in certain ways than to it's continental neighbours (especially when it comes to their voting system).
Not abolished entirely, but every western country has a better prison system than US

Here’s a handful of examples of reducing prison intake

https://www.mic.com/articles/109138/sweden-has-done-for-its-...

https://www.swissinfo.ch/eng/youth-offenders_balancing-punis...

https://www.theguardian.com/world/2019/dec/12/why-are-there-...
yes as is implied in the comment.
A hackable micro drone without all the wireing
hope you don't mind me asking, but why moving out?
The removal of the right to vote is part of the systematic disenfranchisement of Black people in the US. Many states still have laws permanently removing the right to vote from people with felony convictions.

Recent shenanigans in Florida pretty clearly lay out what's at stake here. Enough people are put through the criminal justice system that they would be a significant voting block... if they have the right to vote. And since they can't vote, politicians have literally no interest in ensuring that prisons are handled humanely.

It's also worth considering that many violent offenders get put away when they're basically still kids, and become totally different people as adults. The mythical Charles Manson interest group is vanishingly small, and easily outweighed by basically every other voter.

Finally, the restoration of voting rights for felons was delivered by a ballot initiative led by formerly incarcerated people. They most definitely did not consider it a waste of energy! The Planet Money podcast just had an excellent episode on the issue, with interviews with a couple of the people who made it happen: https://www.npr.org/2020/10/26/927846676/who-gets-to-vote-in...
Good grief, the (moving) discussion is terrible and is not getting better.

The maintainer looks embarrassed and is doubling down, has not had an opportunity to save face and this looks quite humiliating. Gah. We have to let people save face, maybe several times. A public discussion like this is just awful.
Great, now let’s stop pretending that meat dairy and eggs are health foods and that low carb high fat diets are ideal for you, particularly here on the usually-scientific HN. We’ve known of a direct causal link between high saturated fat intake and heart disease for years but this study (published in 2016 by the way) should be the nail in the coffin on the idea that high saturated animal fat is healthy.
Totally. I would say: pausing is the sort of feature that shouldn't be added without a user having to explicitly activate it
It's worth remembering that international subsidiaries inside Germany were entirely cut off from their parent companies. There were no executives from the parent corporation present in Germany, all the other employees were Germans, no money could be transferred out of Germany, and after a while they even had to get special permission to send telegrams in or out. They still called themselves Ford Germany or IBM Germany or whatever, but the reality is that this was just a name that they used; there were no real ties of ownership or control left. Naturally when France fell, the French subsidies suffered the same fate, or even worse.
While I agree that elisp is a very practical choice, the three main other lisps out there today are general purpose languages. Common Lisp, Clojure, and Scheme are all general purpose languages.
I have not read the specification, but the DJVu format must have a way to store the plain text besides the images and that way is frequently used.

I do not remember ever reading a DJVu file that did not allow searching and selecting the text, while PDF files which do not allow those, because they store only the scanned images, are quite frequent.
But does it really help communications, or does it just make people less anxious? When two communication styles conflict, this ‘blunt’ writer says to a less blunt coworker: “I told her I wouldn’t want her to change her communication style to match mine, and that I valued learning from her softer approach.” Is anyone really going to respond “actually, boss, yes, I would prefer you to stop waffling on. You need to change how you talk to me.” I would predict that this doesn’t change anyone’s behaviour, it just gives people less guilt/anxiety about acting as they already act.
Game of life or other swarm logic misses to account the observer.
>Entire generations of the best an brightest roped in to build political brinkmanship tools, never to be used that are now rusting away.

And now they are moving numbers around spreadsheets for hedge funds? I guess it is an improvement, of sorts.
This has been widely discussed on Hacker News before (https://news.ycombinator.com/item?id=22870105), but now the drone is also available!
The attack relies on the ALG ignoring the IP fragment offset in the UDP case only. In the TCP case, he's splitting up packets by forcing a smaller MSS rather than by relying on IP fragmentation. The IP fragment offset for the attack packet, in the TCP case, will be zero as usual.

To detect the attack in the TCP case, the ALG would have to keep a stateful record of the initial sequence number on the outgoing SYN, and to accept the SIP REGISTER packet iff seq# == ISN+1.

Because home router firmware is invariably written by the lowest bidder, I would be surprised if very many firmwares actually do that.
I agree, put it all in GPR files, no more makefiles, bash scripts. I'd go even further, make project extensions able to define build variables, so I have no more to type -X options...

And with the GPR handling libraries and Libadalang there's already so much you can do...
That study you linked was done in animals, and I have a feeling it was dug up to support the notion that keto is in any way shape or form, good for you.
My reading of this thread is hlieberman thinks your usage will eventually go up when (if?) people's habits change.

> I wonder if the utilization/customer is in part because of people's habits still being leftover from the WISP days. My ISP gives me ~950Mbit/s, and it's not unusual for my house to be using 70% of that with all the video streaming going on, especially in 2020. A couple of customers like me, your bandwidth rates are gonna start hurting really bad.

The child comment is questioning hlieberman's usage of over 600 Mbps, not your charts. I guess you could throttle users with some kind of QoS? Personally, I don't think data caps would help here. Thoughts?
For starters, what happens to your numerical algorithm when it contains less-than comparisons? Intervals don't form an order.
Ron Gilbert Interview (The Making of Monkey Island – Behind the Scenes)
I think so. Web has the advantage of already catering to literally every layout & style use case (grid, multiple columns, floats, inline elements, etc. etc. etc.). But Flutter has the advantage of being designed from scratch so it can avoid all the idiotic mistakes the CSS made (e.g. box-sizing, the insane difficulty of centering things, etc.).

I don't think it will take too long for the niceness of a sane design to outweigh the lack of features.

The only thing I'm not convinced about is that Flutter-web will ever be viable for most web pages (i.e. non-app ones). It kind of works but it's big and slow. Probably eventually people will do a native website, and then use Flutter for mobile and desktop.
There are:
1. falsy values 0, -0, 0n, '', null, undefined, NaN
2. null
3. undefined
4. absence of property and property set to undefined

You have to know differences between those when coding in js/ts/flow. Ie. no 4. has implications when iterating ie. Object.keys({ foo: undefined }).length === 1.

Education around those - yes, but blacklisting null? Sounds a bit silly, however I agree that most developers overuse null when they actually mean undefined.

One example in code where null vs undefined can be used is sql.update(table, where, { foo: null, bar: 1 }) - meaning update foo to null vs sql.update(table, where, { foo: undefined, bar: 1 }) - where undefined means, don't do anything with that column. This helps a lot because it's much more verbose to conditionally construct object with a property or without it, however it's easy to set it defined/undefined.
I never coded GTK apps, but isn't the theming done with CSS since GTK 3?
And what do we do with people who are just too dangerous to keep about?
> 1) Hopefully whoever "played" will learn a lesson not to again.

In the case of police misconduct, the only person learning a lesson is typically the person filing the complaint.

People only tend to act so brazenly when they know that there will be no consequences, and their department will have their back. At best, your complaints will be ignored, at worst, you may face further retaliation.
My point was that politicians that are incapable of managing this disease within their own borders would be happy to point to weather, as a way of abrogating responsibility. This claim is typically made without citation.

If people that repeat this claim, asserting it as fact, don't have citations -- then that's a different but related problem.

In Australia we got this under control through winter. Several states (South Australia, Western Australia, Tasmania, Northern Territory) had it so well controlled they had little if anything resembling strict lockdowns. Also through winter.

If 'all of Europe' (I'm not sure if you're talking mainland only there, or are including the very warm bits down the south, etc) is having the same results, then absent a control set to compare to, we can't know if that's an effect of comparable politics / culture, lack of controlled border controls, that a tipping point has been reached, or, as you say, 'because it's cold'.
Talentless-[Not]-Genius
Funnily enough, you can actually run the real Windows XP in an x86 emulator on a recent iPhone or iPad, and the UI responds acceptably quickly: https://www.cultofmac.com/717191/run-windows-xp-iphone-ipad-...
The save post together with code on GitHub:
https://github.com/samyk/slipstream
Shooting Through Things (2003)
> 3.3.2 Hidden text

> Every DjVu image optionally includes a hidden text layer that associated graphical features with the corresponding text. The hidden text layer is usually generated by running Optical Character Recognition software. This textual information provides for indexing DjVu documents and copying/pasting text from DjVu page images.

I copied that text from the DjVu spec, which is in the DjVu format.
I’d think the camera isn’t good enough than model being wrong. Dude really look like a ball on my phone screen, it’s only contextually clear to me that he’s not it. They’d need a more high resolution or higher frame rate camera.
The system has been out and available for a tiny selection of drivers for 1 week. How can there be statistics?
Substack allows writers to create their own paid newsletters and blogs without the hassle of setting up payments or worrying about gmail's spam filters; it also gives writers more control over their relationships with subscribers, since they can export the mailing list. That's the gist.
That is a different claim entirely. I am from NL btw : "better" systems have their own set of problems.
I usually use my phone in greyscale mode as the colourful rainbow candy is something I'd prefer my brain not to be bombarded with. So far I've found the icons of the apps I use easy to distinguish between even in grayscale, but I'm not looking forward to the time when my icons switch to the redesign in this post! The solution is to use fewer Google apps, I suppose...
Ask HN: Should I be learning PHP in 2020?
> As for SR itself... for decades we've had some of the smartest people (and perhaps even some of the best educators) like Richard Feynman decry rote memorization in the classroom

At the same time, learning in most areas requires some memorization. Even if, in terms of knowledge skills, SR only helps directly with the memorization component, there's considerable empirical evidence that it does make that more time efficient. Using it to structure that part of learning allows you, all other things being equal, to reduce the proportion of learning time devoted to memorization.

> SR takes the worst 8th grade history class you ever had and doubles down on it.

Well, SRS maybe. Having first learned about SR in ballroom dance teacher training as a tool for structuring both curriculum for in-person instruction and personal practice, I disagree.

The common usage pattern for spaced repetition software may do that, but spaced repetition is more than just that.
And then 20 years later Steve Job repeated the same mistake again with Power Mac G4 Cube. ( No Fan )

Though ultimately the tech got good enough. Another 20 years passed the G4 Cube we now have 5nm A14 on a Smartphone or iPad Air that are powerful enough for 80-90% of consumer use cases. All without a Fan. We also have a roadmap of 3nm and 2nm ~2025.

Unfortunately Steve did not live long enough to see it.
What is the probability that my (a nobody's) Windows backdoor will ever be used?
Only ironic to software developers. The engineers who produced the ball understand that changing the properties of the ball in that way would reflect in the aerodynamic properties of the ball, which gets fixed at the start of competition.

It’s not hard to fix your software that you created. It’s much harder to get global consensus on a change that wasn’t required before your buggy code was released into the wild.
I do feel like it's work. It's not a passion. I have little influence. Just code monkey whatever we have in mind, thank you very much, we don't need anything else from you, here's your slightly above average payday, see you tomorrow
Right. If you're gonna "lead" by talking, the disconnect is only going to widen. A leader doesn't need to know the details, but need to know enough to be relevant.
Privacy advances in distributed ledgers (Horizon2020)
Highlights from the PRIViLEDGE research consortium (Horizon2020)
Has a Tesla on autopilot ever killed a non-involved person?
Yes thanks, it makes sense the posted article has an error in that regard and the link you posted is indeed more informative! Though on my search I learned that they probably originated in China or Japan, made of paper, to celebrate the birth of a child.
I think this is the first time I read a paper that includes real code and even links to a github repo. Amazing.
so you are the editor in popular mechanics and you could not stand the 'wrong' title from a couple of days ago :D
How can you avoid using undefined if it's the default value for `prop.nonexistent` and `return`? Have you ever used JavaScript?
All compiled programming languages have supported static linking since the early days, then dynamic linking came into mainstream during the 90's, and most toolchains added support for both models, including Ada compilers.
A substantial proportion of the brightest people from my generation in the UK went to work in the city of London, where they were paid handsomely for moving numbers around spreadsheets for big finance companies. What a waste.
I have no formal training in history, but Anki has got me much more interested in it. Before Anki, I tended to collapse centuries of history into ‘the distant past,’ which made it hard to appreciate how events related to each other, or distinguish between events separated by years and events separated by decades or centuries. I discovered, by using Anki for an exam, that it’s relatively easy for me to remember 4-digit numbers, and relatively difficult for me to remember sequences of events. So, memorising the years of events has been a great way for me to learn more history. Arbitrary dates with no understanding of the context are harder to remember, so the cards that come up the most are the topics to read more about (or delete, if they really are useless factoids). It’s a bit like using the number line as a memory palace.
Tesla statistics say there's 1 accident every ~4.5 million miles driven on autopilot and they release those statistics. https://www.tesla.com/VehicleSafetyReport
What if they vote predominantly republican? Would The Atlantic still argue in favor?
Huh.

What VM configuration and guest OSes are you using?

Exactly what is crashing? I presume qemu itself, but can't tell if you're describing BSOD type events.

Can you reproduce the crashes using qemu-system-x86_64 directly?
I remain annoyed that there is no way to download the Mountain Lion I paid $19 for.
> Rather than spend energy arguing about letting incarcerated people vote, it seems more useful to make sure that nobody is being locked up for victimless crimes and taking a harder look at why anyone is being locked up for non-violent crimes.

They are orthogonal problems. Solving one doesn't solve the other.

And disenfranchisement is creating problems as shown in the article, while it tries to solve a problem, which is practically non-existent thanks to representative democracy.

First off, trying to delineate between who is allowed to vote and who except on most general rules (e.g. citizens over X years) is more likely than not to be used and abused to shape the electorate. The details are well documented, as in the article.

On the other hand, what does excluding criminals trying to solve? You don't want them to decide what will happen in the country, but that is why there is a representative democracy. They are only allowed to vote for one of their "betters", which will take the decisions. (The classism was to my knowledge partly intentional in design).
And their numbers are low enough, that they won't be able to chose a representation, which overrules the non-incarcerated

> Some people should not have a voice in society - like raping murderers.

But people running a business making millions addicted to opioids? It is not complicated to condemn criminals, but it is complicated to set up a system, which doesn't use that wish for retribution to distort the electorate. And to what end? What objective problem does it solve?
They had also RTF which was one of the best formats created by Microsoft.
Well, for one OpenWRT is on kernel 5.4.
The reason for this innovation is easy: covid-19

Many countries have restrictions on games. No fans allowed and the personal supporting a game has to be reduced to an unsustainable low minimum with a very high-effort hygienic concept.

This may sound strange for americans but is the current norm in most countries. So if you are allowed less and less people as covid-19 gets worse you are in search of solutions. And as there are many camera men to record the game from different angles why not comply with these restrictions by replacing them with ai...
Hacker News is generally pretty bad at metaphors.
Depends on whether you are actively engaged in promoting views and beliefs that the mainstream don't want out there.

Or maybe you're interested in securing the future for our children by degrading state secrecy.
This is the most nicely delivered pedantry I've ever read, kudos!
Having preferences and letting other people have their preferences, doesn't strike me as cynical, but of maturity.
> or worrying about gmail's spam filters

Oh, how? Do they have some special kind of agreement with Google?
An easier way to "read" a windsock: count the bars until the windsock "breaks" / folds down, as per: https://patentyogi.com/wp-content/uploads/2016/03/Patentyogi...
Alongnside, I recommend you also watch this video episode of what the lawyer is fighting against. It's ridiculous how they're able to get away with such criminal behaviour in broad daylight.

Tow truck tricks: Don't get scammed after an accident (CBC Marketplace)

https://www.youtube.com/watch?v=sOboCgIhcfk
Barbershop quartet is the style that comes to mind where it's used all the time
No, most likely I'll just use undefined because my abstractions are not a complicated mess that need 2 null types.

Found? string

Not found? undefined
I don't think people are looking for a legal way to disenfranchise black men. It's an unfortunate results of a racist past.

That's not to say it's no fixable or worth fixing. It's just a very different cause.
> After the introduction of the ATM, the number of bank tellers in the US actually increased

Weird, why that would happen?!... I don't think that's a common outcome elsewhere...

In Northern Europe, for example, there's almost no bank branches left now... they've been closing down for years and now it's actually hard to find any branch that's open to the public (this started with ATMs but now it's mostly a result of the cashless economy and online banking).
This context is what should be learnt by the AI.
Depends on how old your gas guzzler is.
US Stock Market Data API
That seems to me to be what the Medium author was saying.
> If country A represents 2x the emissions of country B, then it's twice as important to curb their pollution.

Capping emissions per capita accomplishes just that. Why are you so opposed to it?

> How about looking at emissions per square kilometer as a target

So, Canada (Population 38 million) should get to pollute three times more, in absolute values than India (Population 1.35 billion), because it has three times the land area?

> Country borders mean nothing to the planet in ecological terms.

Country borders don't mean anything to the planet, but they mean everything to how we must solve this problem.

People need energy to live.

The world has a limited carbon budget.

Distributing it equally, per capita is the least you can do to be fair about it. (In order to actually be fair about it, you must also count historic emissions, which means that the western world has long blown its share of that budget.)
Which won't happen in almost 100 procent of devices.
This was posted here already two days ago as "Show HN". Then, it had no activity but two fake comments (new users who were just created at the same time as OP and their only action was that comment). Two days later this is on front - I hope OP did not use even more fake accounts for vote manipulation this time.
> The jobs that automated/AI equipment is replacing are not good jobs.

Most jobs in the world are not good jobs, sure.

But unless you also take money from the capitalists and elite laborers enriched by automation to provide stronger social safety nets, automating away demand for low-skill crap jobs while making the fewer remaining jobs both better and higher paying means increasing the prevalence of the worst human misery. People might hate crap jobs, but not as much as they hate being qualified for no job in a capitalist society.