skysight-inc/HackerNews huggingface dataset:
1. implement the patch category that Pijul uses

2. compose the patches

3. either you have a nice diff to show the user, or an explanation of why that is not possible, like "Can't show you the composition of A, X, Q because X depends on C"

Unfortunately they keep rewriting pijul from scratch.
Huh. Thanks for figuring out what shows have ads!

Yeah, I guess that isn't as bad as it seems if there are just a few. I didn't bother to look up what "excluded" meant.
A package just for:

return !!obj && (typeof obj === 'object' || typeof obj === 'function') && typeof obj.then === 'function';

https://github.com/then/is-promise/blob/master/index.js

This is insane
We've been calling the Confederates rebels since the Civil War, and we're not going to stop. Though you could make the legal argument that States have the right to secede, since the Constitution does not expressly forbid it, and any rights not forbidden are left to the States. But we didn't care at the time. Lincoln didn't give a damn about their right to secede, he wanted to preserve the Union. Who can blame him? It was expedient to call them traitors, because you couldn't really motivate people to fight for the cause of abolishing slavery back then. Not large armies of ordinary people, anyway.

So yes, we denied them their right to secede because we didn't care to have the country split in half. I'm glad we did, because they were slavers. Fuck them and their 'states' rights'.
Maybe the virus has evolved (through natural selection) to not to kill its hosts?
One way of looking at it is to consider the area of road required per citizen during transportation. If a car consumes 10 square meters of road and a bike only consumes 2 square meters of road, converting a car lane into two bike lanes should immediately reduce traffic congestion. If and only if, of course, enough people are able and willing to do so.
Why wouldn't it be? Even the simplest compilers do it. You can bet that the world's leading mobile OS is doing all such obvious optimizations.
Surely you recall the US invading Iraq on the basis of fabricated evidence and an absolutely massive propaganda campaign? They harvested five trillion dollars off of that one stunt. Do you imagine they decided to quit while they were ahead?
Got my SE on Friday and haven’t yet bothered to open it (upgrading from 6s). In a way that’s evidence of how much of a “commodity” phones have become.
> Maybe with a strong effect for every single subject a little more skepticism would have been warranted in the first place?

It is easy to think over these lines in hindsight[1], but it is much harder to do it when there are no known mistakes. Obviously they had some plausible hypothesis, which predicted and explained results. The more strong result is, the better for hypothesis.

I mean it was possible and maybe wise to suspect bug because results are too good. But it is hard from a cognitive standpoint. She describes bug as hard to find even after she found that results do not reproduce. It was even more hard to find this bug when there were less reasons to believe that there is a bug.

[1] https://en.wikipedia.org/wiki/Hindsight_bias
> illusion of certainty.

Never seen that idea summarized before, but it resonates with a lot of thing of how the world works. The system wants some subset of reality and elects it as the reality because the system is stabler this way for a period.

I also think that past 2 decades went overboard with that.
Maybe the path is to merge visual and code programming. We're doing that for data engineering - you can draw in visual editor, and press a button and you have code. So as long as you constrain the domain, it seems doable. https://prophecy.io/, https://medium.com/prophecy-io/spark-deserves-a-better-ide-9...
Timmybighands, a sadly short lived humor site from the mst3000 guys.
OK, but what's your point? The US dollar doesn't seem to be debasing too badly since 2008, despite all the new money created.
I see a reluctance to involve the government in long term wage garnishing or collection

I very vaguely recall an article on reason.com that opposed protecting credit card lenders from cancellation if debt post bankruptcy (similar to student debt) but honestly I don’t really remember. I briefly tried to find it but couldn’t.

I’d be more interested in knowing more about the libertarian position on bankruptcy
The modern answer is exFAT. August last year Microsoft opened up the specifications, and pledged that it won't be patent encumbered[].

How well an operating systems has a separation of concerns between interface and implementation really has very little (unfortunately) to do with business incentives. Even if the Linux kernel had perfect separation of concerns, there's no way to force Microsoft or Apple to support it in their products.

Not to mention the problem with standards: https://xkcd.com/927/

[1] https://cloudblogs.microsoft.com/opensource/2019/08/28/exfat...
The Gardener
Consider this, for example:

https://click.palletsprojects.com/en/7.x/python3/

and here, have a nice sandwich of this:

https://stackoverflow.com/questions/57652720/runtimeerror-cl...

or this bullshit:

https://bugzilla.redhat.com/show_bug.cgi?id=1404918

The truth no one wants to hear is that Python2 did Unicode right (or as well as could be expected), while Python3 is a train wreck, even if you just stick to LANG=C and ASCII.
You have described a system of learning consisting only of pre-manufactured content. I feel like the success of this venture is based on an improbable premise: that an education in physics is possible by listening without the opportunity to ask.

You have deigned to ask this very question on the forum. Presumably because finding a good answer by searching for existing content was not likely to address your question.

Now don't you think graduate-level physics is a little bit more hard and complicated to learn?
The market is big enough for ad-free options.

HBO built a business providing ad-free TV entertainment. The Economist built a business selling ad-free news periodicals. YouTube provides a paid ad-free option.

You could look at the Web and say “it’s littered with ads” or you could look at the Web and say “it’s the largest collection of free information on the planet.”
Flow analysis and SMT solvers are mathematically-sound, so if done correctly, a fuzzer would have no luck finding a path through the code where any undefined behavior (or behavior that violates the contracts you've specified) could take place.

Getting started with SPARK, you'll see messages like "Can't prove that this variable won't overflow" (usually with corner cases like "when x = 4,294,967,295 and y = -1"). So it kind of makes you realize how error-prone code can be.

A statement like "x++" has the assumption baked into it that x isn't going to be INT_MAX. Fuzzers work by manipulating your control flow such that x _will_ be INT_MAX and cause an overflow or other bad stuff. Formal verification exposes all those assumptions and when people complain about slow development, it's because you're basically making the code "fuzzer-proof".

"Hacker-proof" is hyperbole, but not as much as some might have you believe. People have pointed out that the specification has to be correct. My code in the pastebin proves every element in the output array is even, but if the code is supposed to produce an array of odd numbers, then obviously that's still a bug, even though it's been "formally verified".

I wouldn't use the term "hacker-proof", but I would say "hacker-resistant". FV _can_ eliminate whole classes of vulnerabilities that attackers could otherwise use. A common trope is "well there's still hardware bugs or the spec could be wrong, so why bother?" I mean, sure, a hacker could cut the power to the datacenter, too, but IMO that's not a reason to ignore tools that can make the software we write much more robust.

One issue that can crop up is that you can't always prove what you're trying to specify. The state space can grow too big and the solver can't figure it out in a timely fashion, so you have to make assumptions and hope your tests give you enough confidence to deploy the system. This is basically the halting problem - it doesn't say that it's impossible to prove termination (or any other property) of some code, it just says that you can't _always_ prove them.

nVidia recently began using SPARK in some of their work, the video does a good job explaining some of the bugs that FV eliminates: https://www.youtube.com/watch?v=DZSSyWlsb28
> which "make sense" in "logic of dreams" kind of way.

Exactly. I once heard a film critic say, "Most great movies are either puzzles or dreams."

The Shining is definitely the latter, a movie that runs on pure nightmare logic. Nothing makes literal sense and everything makes perfect sense.
Not to disrespect any country, but the fact that Tunisia ranks higher than Italy it's a bit ridiculous...
New grounds. So many games and toys and shorts just lost. Even now I haven't found comparable games on Android.
It's a secret to everyone, but it is possible to run a WebLiero server with custom mods by providing a json/json5 file and a wlsprt file (which uses a custom but simple binary format) to the in-game "/loadmod" command. At this time, however, the author is still developing mod support and the formats (JSON schema in particular) are subject to change so... caveat emptor.

That said, if anyone is interested in tweaking WebLiero mods and is not afraid to get their hands dirty, I wrote a (very rudimentary) program to convert .wlsprt to a folder of indexed-color PNG files and vice-versa[1]. You'll probably also want a copy of the "official" mods to use as a reference[2].

At the risk of counting chickens before they hatch, I am actually in the process of writing a mod editor in the spirit of LieroKit/LieroM8 that would smooth some of the rough edges of modding this game. I'm calling it WebLieroKit, unfortunately due to the timing of this post making the front page I cannot provide a working demo but I felt it was worth mentioning while there are eyeballs around.

[1] https://phazon.xyz/files/liero/wltools.tar.gz
[2] https://phazon.xyz/files/liero/mods.tar.gz
A country's demand is linked to its supply. After all, it has to pay for the goods it demands with something.
How much coffee do I drink as a programmer?

All of it. Programming is the only job I have.
Great question - if I feel like taking leisure time I take it. Easy as that. I justify it by kicking ass and optimizing everything else as best as I can. That is what brings me peace. Knowing I do my best. It's a good balance for me, I naturally found a circle of successful people that do the same(birds of a feather). I don't think one should try to be this way if you are not and I do realize its a bit different. But for me its worked great and truly feel like I'm living a better life every day.
Also I can highly recommend the lectures from Christof Paar https://www.youtube.com/channel/UC1usFRN4LCMcfIV7UjHNuQg and his textbook http://www.crypto-textbook.com/
You should see the too-dangerous-to-release AI model my team built. It actually governs nations in a manner indistinguishable from a human. There are nations currently under its thrall that you wouldn't even imagine. The world leaders of these nations merely speak what speeches it writes for them.
i did finally stop randomly trying to go to google reader
> I am not going to even mention Reddit

You mean you don’t enjoy the current -

> With Joe Biden’s campaign in freefall amid concerns about his declining mental health and new sexual assault allegations, remember this: it’s a good time to note that Bernie’s on the ballot.

- front page news Reddit?
I get it: Apple placed their fastest SoC on a phone 1/3 of the price of their other phone. And currently that seems to be faster than any android device... But, what is the big deal? Chips always get faster/cheaper. "Pocket computers" have been commoditized for many years now. iPhone is a fine device, but does not seem any more revolutionary than anything else.

Plus, is it really a computer if you don't get to install and manipulate the file system however you want?
That’s including asymptotic cases for COVID-19 but not Spanish flu. An apples to apples comparison would be closer to 1% vs 2.5% with significant error bars on both numbers.
"This site is not viewable without JavaScript, and your browser currently has JavaScript disabled. Please enable JavaScript and refresh the page to properly view this site."
Top Best WordPress Cache Plugins Free
I think it depends on the size/scope of what you're doing, how complex it is, and how much novelty (technical and domain) there is in it.

For things that are not terribly new, are small enough to knock out with 1-2 devs, and aren't massively complex, just writing some damn code works really well. But the larger it gets the more useful it is to do some thinking beforehand, especially about the overall architecture, technology choices, potentially tricky error cases, etc. Also it can be particularly useful to flesh out public/widely-used APIs and data storage details, as those tend to be difficult to change once put in place.

That said, I don't think a fully fleshed-out "specification" is useful in most cases. A wiki page, or maybe a few, is usually enough. You just want to spot major problems far enough ahead that you can avoid them instead of running into them.

But hey, YMMV, this is just what I've found. TBH I wish it was different, because I actually _like_ hacking out code more. It's just that thinking ahead _works_ better IME.
Why would we subsidize the USSR during the Cold War? Why not require some political concessions first?
That's definitely relevant to the question of why it's difficult to do such a study. However, it's not relevant to the question of whether such a study is necessary to make strong inferences about the population as a whole. The difficulty of making the right study does not change our ability to draw inferences from the wrong study. (We can't.)
What do you have in mind for usability in this context? Things like robustness against nonce reuse?
bash, or any other shell.

In a shell, you can set aliases, and even create intermediate functionality to interface with. You can even write software that works as a front end for your shell.

The shell is so far removed from functionality, it hardly implements any at all. Instead, it uses entirely separate programs by providing the user a consistent and configurable interface to those programs.
terrible name. Microsoft has had something called Autopilot for a decade now. see: https://www.microsoft.com/en-us/research/publication/autopil...

This leads me to believe that, given it’s roughly in the same space, either this team is not aware of things that a major competitors are doing in the space or they know and just don’t care.
Steve jobs: hold my beer
This is why Hulu is a nonstarter for me. If I'm paying, no ads, period.
Libra is going down the same rabbit hole as Liberty Reserve. Designing a private currency always leads to insurmountable regulatory pressure.

There is nothing moral about agencies such as the FATF. They are products of geopolitics, not user interests. Expect compliance requirements to get more and more byzantine with no end in sight.

You can either comply (a losing battle) or you immunize (a-la Bitcoin).
Possibly. But with original content it may just be through syndication as well.
> I'm curious how that compares to what other people are seeing.

~10ms on Firefox, Linux, 60hz display.
It still doesn't work, because the places where the roads ultimately end up, cities, cannot add more roads. It has to stop somewhere.
> You're going to be telling 100 of millions they're going to lose on all that they've worked on for their entire lives etc.

Does it have to be this way? Why not put certain things like rent, utilities, mortgage payments on pause--even if just for those on furlough?

I realize those who are heavily leveraged may suffer, like airlines who bought back stocks instead of maintaining a war chest. And ultimately I agree that lockdown isn't practical in the long term.
Sounds like mincing words. Still you have not provided sources to support your assumptions whatsoever.
The commonality is that people care about their own lives. Not about old people in nursing homes dying. Everyone in Sweden knows that our numbers are atrocious and that many more are dying here than in neighboring countries. Yet the government's soft strategy has massive support and almost no one wants to see stricter measures like school lock downs or closed restaurants.

I think it's very hard to say who is right and who is wrong here. Even if a lock down saves lives, it affects so many negatively. Especially kids who lose weeks of months of schooling who they will have a hard time getting back.
I mean, it said that in the "Learn More..." Link, so I was just going by that :)
The confederate flag will simply go "underground" in certain groups of marines lives . . . the "politically correct" bureaucrats are upending the status quo again.
> The fact that people are so tied and sustained by businesses is the problem!

Welcome to capitalism. Nice of you to join us.

> In scenarios like this the government should be stepping up to support people so that they can restart their lives when necessary.

Government gets its income from people. Who have businesses. Or jobs at businesses.
This question or variations of it are not too uncommon and you can find some answers for this on stackexchange, reddit, quora, etc with a bit of googling [0].

tl;dr: Theoretically yes, practically no.

0 - https://www.google.com/search?q=mirror+in+space+to+see+the+p...
Apart from the demographics, they seem to me pretty similar ;)
I don't tend to think of forking Chromium as a new browser. I imagine that Chrome devtools aren't part of the browser extension API they provide, so creating something would have to start at a lower level.
All evidence says no they didn’t.
> farms are not shipping cheap crops to us at their expense. They are trading.

I misplaced a word - at the expense of more local options in need of food. Either way I'd hope that'd be assumed, but I fixed it to not leave it to chance.

> These "sweatshops" brought them out of poverty in rural areas - they would've been a subsistence farmer and had less wealth. It feels unfair for them to only be paid pennies for an object that retail for over 50-60 bucks, but that's still better than not having those pennies.

Make no mistake, they're still in poverty. Go ahead, trade with them. I doubt you would. Your life is almost guaranteed to be far better. It wasn't the sweatshops that brought them out of poverty. What brought workers out of poverty in the 1st world was unions and workers rights - not the jobs themselves.

> And eventually, as their wealth accrue and they invest it wisely, their productivity and standards of living grows, and they will no longer accept pennies. I don't see why that's so wrong, and the people complaining about this problem just conveniently ignores that almost all of their wealth of products and services comes from this process.

This assumes endless growth - an ideal, and assumes that everyone shares in that wealth equally. We know that is definitely not true. Eventually if everyone says "we shall all be paid as our 1st world counterparts", the cost of goods increases, less people buy, and the wealth vanishes, largely because it has been centralized.

This attitude also ignores the impending doom of climate change. People think everything is fine until it's not. It's foolish to think there will not be war, disease, famine in the 21st century. And technology will make it deadlier than ever.
Here's a formally-verified DNS Server: https://ironsides.martincarlisle.com/

Not all the way down to the instruction level, but it's a start.
I mean, as much as a USB microphone does. That'd be isochronous too, and about the same bitrate and latency.
In hindsight, sure. But this is a three year old script.
It was fun but was a pretty small community.
Nice! I remember a Halloween game I really liked. I think it was Kids Next Door? You had to pay to play more levels at a certain point though...

On that note, I think Nickelodeon actually owns (or bought) Addicting Games, but I don't think it's the same these days...
Depends on the app and how outdated we're talking about. You can buy new Android devices on the shelf from major retailers that won't run some mainstream apps.
Why would you know that the sun is the same as the stars?
Was is programming focused?

https://projecteuler.net/
> Software engineers are perfectly well capable of making a sandwich themselves

Their productivity would drop a bit, though. The idea is that people making food enable developers to deliver their best work.
Cool site, I'll try some techniques
Consider this: Texas has always derived a substantial portion of it's revenue from oil money. Now that oil revenue is way down, general commerce is also taking a hit, much less sales taxes. Expect some really serious changes in Texas . . .
Well, there are two kinds of choices that are generally considered radically different.

One choice is providing some opportunity for further life beyond what's expected. That's generally considered something society likes but isn't obligated to provide. Society doesn't obligate it's member to spend money developing some miracle-extend that gives someone five more years.

The other choice is taking life that would normally be expected. That is something that society very much frowns on. If you could protect someone and you don't do it 'cause it would cost you money, you may wind-up in jail for murder.

Very quantitatively oriented people seem to have a hard time grasping why there's a difference here. But I think it's very rational in an evolutionary game-theoretic compact kind of way. Everyone is a member of society and values everyone else's life highly, more highly than immediate material things though maybe not more highly than other people's lives. This gives member of society basic security - you are thinking my insulin might worth just stealing and selling on the open market, me murdering you first might be my best strategy. You can see where things break down? The "social contract" is kind of the way around this.
Capitalism doesn't have to be totally focused on unsustainable consumption. With healthy and un-captured regulation (protecting people not companies from their competition) markets can still do much good. We don't have to live in a survival of the fittest economy.
Content. It had like a single page, which didn't give me too much information...
The Laws of Programming
1) It will take longer.
2) No it really isn't the very last bug.
3) The user isn't as smart as you.
4) Your manager isn't as smart as the user.
5) The user and your manager think you are stupid.
6) All three of you being right is not logically excluded.
The sense that I’m being shielded from dangerous ideas.
Totally agree. Bromite is a patched chrome with privacy enhancements and ad blocking. It used to provide a system webview engine that allowed all that for apps's integrated webviews... So its technically possible but Google doesnt like that feature

https://github.com/bromite/bromite/wiki/Installing-SystemWeb...
True, but I would personally place more emphasis on avoiding false data being published and less on novelty. If the consequence of publishing something wrong were greater, and the costs of taking the time to do things right less, then we might see more science we can trust published.
> What's interesting to hear is that even in big tech companies with established hiring processes getting to know the right people matters.

Even more so with big tech companies IMO. The same isn't true for IC work though.

It kinda makes sense too. An IC can demonstrate their ability to add value through a rigorous technical interview process. But an EM? Impossible to measure so you can only look to references and past work.
Popularity over a longer period increases well-knownness.