skysight-inc/HackerNews huggingface dataset:
Mega-states can work as long as you have your priorities in order and understand the need for decentralized governance. But unfortunately, both parties in the US have been gunning for a bigger and bigger federal government for the past couple decades.
You just need to be careful not to allow any subsequent modifications of the original collection when doing that (assuming you're using the returned LINQ result), or you'll introduce runtime errors. Typically, my use of ToList or ToArray means I'm guarding against future runtime errors due to collection modification at the expense of memory allocation.

It sounds like you know this already, but I like to think I just saved someone from introducing a runtime error after following your advice without understanding the consequences.
As “code”, one problem is that the contract is only “compiled” and “run” if and when things go very badly indeed — on a compiler that is extremely expensive, loosely specified, and non-deterministic.
flippa.com is a pretty 'known' place to buy and sell stuff like this.
Documents are not automatically cheaper than code.
"KRust looks like the rv-match for Rust"

I was in that comment section bringing up RV-Match. The difference is that RV-Match is a bunch of static-analysis functionality built on a comprehensive semantics for C. KRust is a tiny subset of Rust with RV-Match-style analysis. I did bookmark it in case it could be useful for someone trying to build that.

"where they are very interested in formal proofs"

The only thing I mentioned that would be doing a formal proof was the lightweight stuff like Frama-C and SPARK Ada that don't require proof so much as annotation (eg like borrow checker) that run through automated provers. The rest was all push-button or no-proof-needed tools that say something has no errors, specific errors, or a mix of them and false positives. RV-Match and Astree Analyzer will straight-up tell you that specific errors don't exist with low, false positives. The test generators that work on structure of your code get deep into lots of errors from different combinations of inputs and control flow. None of these require proof. People building these usually test them on FOSS projects, sometimes the same ones, often finding new errors in them.

"In terms of deadlocks, I’m not aware of anything here. "

Good to know. That be the focus area for now since you said livelocks are a good situation. I'll still keep an eye on the side for anything checking that.

"they might have some interesting options and a few of the people over there are very capable in answering these questions."

Thank ya very much. I'll hit them up, too.
A webpack plugin for eruda
How were you involved in the warez scene? How did things work, and how have they changed? Stories that are part of the history of the internet are always intriguing to me so I'm really interested in hearing about that.
I would love a personal iCloud solution.

Some Airport/Time Machine solution where I can set my iDevices to only sync locally to that device.
As the dimension d goes to infinity, if you sample integers from d-multivariate normal distribution, your samples will collect near the unit d-sphere; whereas in low dimensions they'd collect near the origin. This is because as d goes to infinity, your samples become more and more far apart. This is a topological intuition of why higher dimensions don't work like lower dimensions.
Well, it is co-designed with BMW after all. The new Supra shares a lot with the BMW Z4
Yup. We used the lug wrench and jack that came with the van. Each kid did one wheel that way, because that's what they'd be up against if they're out on the road. Then I also had them use my little hydraulic floor jack, and a cheater on the wrench, and finally a torque wrench. I don't have an extensive tool set, just because we live in a fairly small house and are trying to economize somewhat.

They've gotten pretty handy with tools. We're all into cycling, and messing around with old bikes.
Agile is a set of practices intended to shorten the feedback cycle of “increments and iterations”, which became ineffectively long and unwieldy in both commercial and defense, perhaps in part due to a greater value placed on political perception of a program rather than its actual results.
It pays to be good seems to be one of the core philosophies.

>So I'm not suggesting you be good in the usual sanctimonious way. I'm suggesting it because it works. It will work not just as a statement of "values," but as a guide to strategy, and even a design spec for software. Don't just not be evil. Be good.

http://www.paulgraham.com/good.html
I work for a biotech company that publishes peer-reviewed science. We use scientific publishing for marketing purposes, to influence the regulatory environment in our favor, and to look better than our competitors. Some of it is done to a very high standard. But in general, doing science with such predefined strategic objectives results in a corpus of scientific output that is hard to interpret. Essentially this sort of stuff pollutes the scientific literature and we should be ashamed that as a society we can't even let the technical content of the scientific literature be free from corporate interests.
> But that means Britain effectively has an open border with the EU

The UK and Ireland do not want a hard border. That is a fact. They aren't going to enforce it.

It is irelevant to point out the consequences, because both sides have stated that they will never ever ever enforce a hard border.

The UK and Ireland would both be perfectly fine with not having a hard border. They have stated as such.

You can call it dumb or say that it undermines the purpose of brexit, but at the end of the day it doesn't matter. Both Ireland and the UK are willing to accept the consequences of not having a hard border no matter the consequences.
That was weird. First the old.reddit/lobste.rs styling and then the posts were about books 'the things' rather than books 'their contents'.

I was aware that audiophiles are like that re components vs music but didn't imagine it elsewhere. Well I suppose some like computing hardware separately from the software they run.
Does it have its own crawling engine?
That would be deeply appreciated, thanks, Sam!

There's generally less great content on the idea/0 to 1 compared to the 1 to n stage imho. I've found work from Michael Seibel, Des Traynor, Mathilde Collin, Brian Balfour and others to have been very helpful for the super early product design thinking stage in addition to the playbook.
Read the founder’s comment - sounds like they would only do this with explicit approval (and presumably license payment) from the manufacturer.
If I understand correctly, they're claiming using a Bluetooth beacon workflow as their novelty, but they also mention the QR code scanning workflow as an alternative implementation. This last workflow is exactly the one shown in the linked video (dated 2013).
Binance CEO Under Fire for Encouraging Crypto Storage Directly on Exchanges
If p hacking wasn’t so prevalent I would agree with you. Otherwise the researchers funded by MEGA COFFEE will just keep running trials until they get lucky and publish the positive coffee result without mentioning all of the other failed attempts.
There are other 'dark webs'. Most prominent afaik are i2p and freenet (although both of those do something slightly different than tor).
Short story: Interest rates are near 0.
https://news.ycombinator.com/item?id=18911296
I often hear the refrain that, "democracy is the worst form of government except for all the other forms that have been tried". But how many forms have actually been tried? As far as I know, every country is either a democracy or an autocracy.

Maybe it could be better phrased as, "Democracy is better than autocracy, and we think it's crazy to try anything else".
I think this intuition is fundamentally wrong and misleading. This intuition really only works in low dimensions. It is not necessarily true that more data is better but you cannot blindly invoke the law of large numbers here. As someone here pointed out in high dim data, diversity is more important than numbers.
I wouldn't quite say that. Sort of like an Alfa Romeo if it were Japanese.
"NLP" would be welcome in the title since this seems specific to natural language processing.
See also Mazda Miata MX-5 and Fiat 124 Spider - and separately - Toyota 86 and Subaru BRZ.

Ford and Volkswagen are working on a vehicle co-development deal (scope unannounced, but rumored to be very big).

GM and Honda are working together on self-driving tech and hydrogen fuel cells.

The future of the auto industry is very very expensive, but it should prove to be interesting as well.
As far as I understand it. It won’t be an immediate catastrophe, it’ll just slowly leech the UK influence worldwide and in Europe.
It's one side of a story, where all the details of that side (let alone the opposing side) are classified. I'd take it as a rule of thumb not to trust it.

Most likely its a) probably far more interesting to the participants than a public audience and b) could easily just be your typical government/big corp managerial politics issues, as it's rarely the talent who float to the top of administrative (and risk-oriented agencies like the CIA are super administrative).

Those stories are typically built on type of a ton of tiny small insignificant interpersonal issues that snowball into bigger problems until they start affecting real work. The type of problems that could easily have been dealt with far earlier on in the process had reasonable adults been in charge.
Definitely save me some time and effort. The only issue I had was that sometimes when I wanted to use bash from, like, another app it would start the menu so it wouldn't work to use it from them. I'm sure it can be worked around but it was never a real issue so I didn't work on it.

Here is the code I had https://gist.github.com/jontelang/c6317bf14c527d2a89f1efd5d0... and I put this straight into my .bash_profile and it runs automatically when the shell starts.
Consider that Airbnb is more than 10 years old and has received (hundreds?) of millions in investment, and only now after a decade is profitable.

This is something like a human child, even including the rule-skirting and risky behavior that sometimes leads to opportunities that others don't have (a practice that has also helped Uber become dominant).

So I wonder what the business world would look like if we treated more businesses with a longer term support and nurturing mentality... would we have more success?

Even some of the pivots and direction changes of Airbnb are reminiscent of a growing human changing hobbies or finding their balance of skill + motivation.

I suspect a good part of the success (measured in multiple ways) of Silicon Valley is due to this finding and support that elsewhere is unmatched. Banks certainly aren't supportive parents, and the stock market is the school bus bully.
Amazon's New World MMO Is Doing a Choose Your Own Adventure on Twitter
Following that logic, don’t you think the UK is just a tad hypocritical?

Brexit wasn’t ever any good for Europe. It was always only about the British.
Reading between the lines, the constraint is that today’s chargers are always monotonically increasing state of charge with a roughly steady DC applied current (tapering slightly at the high end). Adding in something like pulsed charging or even some reverse-voltage segments could potentially change the charging dynamics enough to let the battery charge much faster without damage.
Overcomplete nature of DNN is a common phenomenon and often advocated to convert saddle points into local minima --- understanding the actual landscape is difficult due to the inherent nonlinearity.... this indeed leads to an interesting research direction and many prominent research groups have started investing heavily on this
The shitty deal is pragmatic for the EU, as it makes it obvious to all the countries involved that they can't get the benefits of the EU without being part of (and paying money into the governance of) the EU.
Is it possible to build software successfully with agile processes? Yes.

Is it possible to build software successfully without agile processes? Also yes.

The point is that, blaming agile for your failure is about as pointless as saying agile is a saviour. Any corporate forensic anthropologist would need to look at a lot of process, incentive, and organizational specifics to know what was and was not working in either case.
I started a sort of joke lifestyle microblog website and a podcast. Not exactly passive, bit doesn't take up more than a few hours a week. Hoping it takes off this year to generate more income than other things I've tried.

Https://accidentallyfasting.com
From the side, it looks like it has been in an accident already. I think the side indents are too prominent.
The UK already had so many opt-outs and rebates compared to all other members, there really wasn't that much room for more concessions, certainly not of the type that the UK "leavers" wanted.
Maybe we should start thinking about growth.
All kind of bad decisions are taken in the name of growth.
Maybe some companies could just provide a service, be profitable and grow just to a natural size not focusing on growth itself.
That would require a new way of thinking the role of companies in human society.
This is not surprising because if image A is an apple, its mirror image A' is also an apple. Adding A' to your dataset is just plain ol' regularization. It is meant to lower bias, to prevent overfitting.
Oh gosh, a company in China follows Chinese law! The outrage!

Regardless what your view is, are you seriously suggesting companies should break the laws of the countries they operate in?

Before you say: “unjust laws, yes!” Consider what laws Chinese consider unjust, should they be allowed to break them within the US?

I would err on the side of: if you don’t agree with the values of a country then don’t offer your services. Capitalism, of course puts no value on values, so profit is the only ethical code a business should follow (logically).

Don’t hate the player, hate the game.
Cubase Chord Pads are also pretty sweet!
This seems to be the original tweet that's the source of the article:

https://twitter.com/0xffff0800/status/1083585136833179648

There are a few screenshots in the tweet and the following ones to show how it works.
> Bezos didn't build AWS, people who worked for him did.

The people that worked on AWS didn't build it, the other people that worked on AWS built it. That's the meaning of your statement.

Bezos works for Amazon, he decides whether AWS gets built or not, how large resources are deployed in the company, and what the priorities are over time. He worked on AWS. If you aren't an engineer, that doesn't mean you didn't help build a product or business. There are a lot of non-engineers that were required to build AWS, including managers, support staff, sales, marketing, HR, accounting and so on.

Saying he didn't build it and that everyone else did, is the same style of mistake as pretending that Bezos built it by himself would be (and nobody actually thinks he built it by himself).
A Miami tech whiz molested exchange students and evaded cops for years
Plus they could easily survive for decades fulfilling only the niche market who cares about privacy. They may never need to be the "big fish", which will involve compromising their users security, and therefore lose a lot of their value proposition.

Even having 1-5% of the search market is a pretty great business. Not everyone needs to be Google-scale to be a success.
I think many readers of HN would be satisfied with much simpler things. E.g. MagSafe and keyboards that don't suck.

Apple can't even do simple things right any more.
And no traffic :)
Conan O’Brien Wants to Scare Himself with the New, Shorter ‘Conan’
2020 Toyota Supra vs. 2019 BMW Z4: One big difference is horsepower
https://www.autoblog.com/2019/01/14/2020-toyota-supra-vs-201...

> the BMW version of this BMW engine makes 382 horsepower, while the Toyota-tuned version produces only 335 horses.

> Toyota is slapping a $50,920 starting price on the Supra, while the Z4 with the equivalent I6 starts at $64,695.

> BMW always lets folks option its cars up to the gills, and Toyota is offering a Premium grade and Launch Edition at the start itself. Even with the special Launch Edition, the Supra is still less, though, at $56,180. The four-cylinder Z4 is the Supra's price equivalent right now, each starting at just over $50,000.
For those wondering why this exists: the original C64 PSU has a (common) failure mode after a few decades, where it will output power in such a way that will destroy the C64 (and its irreplaceable MOS ICs). If you find an old Commodore and you want to test it, don't plug it into the original PSU without testing that first with a multimeter!
In those cases, the news were backed by the reporter asking all of their friends, who all said FB/Apple/etc are so uncool now.

In Snap’s case, the news is backed by quarterly results and actual facts.
thanks to share!!
Suffering makes for great art. And this looks like some truly creative shit. Sorry, and thanks.
I expect there to be a follow-up that OP died in a tragic "accident".
Do you realize that the top .1% is also part of the top 1%?
> MacAfee Labs – one of the most well-known cybersecurity companies in the world

Alright, I'm just gonna stop reading right there. Literally pick any cybersecurity company to quote other than McAfee.
All modern EV’s except the Leaf have liquid-cooled battery packs with active cooling from the radiator and the A/C compressor.
Ask HN: Will Security Software Engineers be in demand in the coming decade?
I can see the demand contract as well if consensus forms around certain best practices.
Try dual contouring. It preserves sharp features from the box. When combined with octrees, it's much more effective than the simple thing.
https://www.cse.wustl.edu/~taoju/research/dualContour.pdf
GP was asking if anyone would send a FOIA request.
I guess one thing that many people are missing is why the "leave" vote won in the first place.

If Europe is so great why did some people had the desire to leave it?

Surely they were not all brainwashed or lobotomized?

The EU is now trying to make the UK pay an extraordinary price in order to warn the other countries that leaving the EU is not a choice to be taken lightly.

This kind of technique is known as bullying and that's as simple as it gets.

If the EU leaders were smart they would have used this opportunity to try to reform the EU and make it into what they promised their citizens.

There was a time when politicians said that the EU was going to bring prosperity, safety and so on and so forth?

Where are all those promises now?

The EU has had low economic growth for the last 15 years, high unemployment, flooded by migrants, non-stop terrorist attack, an ever smaller middle class, and ever-increasing taxes that are used to pay the salaries of technocrats like Juncker who was one of the guys who organized fiscal evasion on a scale never imagined.

Who is this guy by the way? He is not even fucking elected yet somehow he represents Europe?

Europe is not the democratic utopia that was sold to the people.

It certainly has not delivered on its promises and now it faces a backlash from its citizens.

I hope Brexit happens because if it succeeds it will show that another way is possible.

European technocrats can eat my shorts!
UBeam et al have demonstrated that flat out ignoring physics can be an extremely reliable way to raise funding and score press visibility. Here’s hoping this won’t end up on the same list.
Eh looks like a Viper.

Nothing beats MKIV in looks.
If only the cryptocurrency market were even rational enough for this to work. You have projects like ETC and the many Bitcoin forks that are total junk clones but still have value. You have projects like Tron which plagiarizes their whitepaper and clone ETH and still has value. You have Dash which cloned Monero and the founders took all the coin and it still has value.
> What exactly does "the West" stand for, in your view?

Freedom of expression/speech, free press, representative democracy, independent court system, individual (women/minority) rights. There are other things like not being a religious theocracy, but I think the first few cover the most general important pieces.

> you make it sound like it was large scale cyberwar, which it wasn't

Evidence suggests it was large scale and directed by Putin through the Russian IRA [1], though it was likely more effective than even they expected (and more of a disinformation campaign than a cyber war).

"But it quickly became clear that the Russians had used a different model for their influence campaign: posting inflammatory messages and relying on free, viral spread. Even by the vertiginous standards of social media, the reach of their effort was impressive: 2,700 fake Facebook accounts, 80,000 posts, many of them elaborate images with catchy slogans, and an eventual audience of 126 million Americans on Facebook alone. That was not far short of the 137 million people who would vote in the 2016 presidential election."

[1] https://www.nytimes.com/interactive/2018/09/20/us/politics/r...

> Russia would now start a global war in Europe that would very likely go nuclear because ... the West isn't "standing up to it"?

I'm not suggesting they'd start a global war, but they're targeting NATO allied countries by influencing elections towards instability. Maybe it's just to free up access to their funds by trying to get rid of the Magnitsky Act [2], but if they wanted to more aggressively take over Ukraine or do something else hostile increased global instability might lead to something larger.

Obviously these things are hard to predict, but only a couple years prior to WWI people said the connected world economy made large scale conflict impossible. [3]

"A 1910 best-selling book, The Great Illusion, used economic arguments to demonstrate that territorial conquest had become unprofitable, and therefore global capitalism had removed the risk of major wars. This view, broadly analogous to the modern factoid that there has never been a war between two countries with a MacDonald’s outlet, became so well established that, less than a year before the Great War broke out, the Economist reassured its readers with an editorial titled “War Becomes Impossible in Civilized World.”"

> This is nonsense, and really is a "Cold War mindset"

It's not that anything they do is bad, but if you read about the people in power there from those that have interacted with them like Bill Browder, Gary Kasparov, and others - (in addition to the Russian government's current behavior) it suggests that they're not a government interested in rule of law.

[2] https://en.wikipedia.org/wiki/Magnitsky_Act

[3] http://blogs.reuters.com/anatole-kaletsky/2014/06/27/world-w...
Who gets to decide which referenda require 2/3 and which only require a simple majority?
Sort of. Depending on the clearance issued, there are a number of requirements that endure even beyond the duration of clearance. Most of the time, this just applies to work related material. However, certain clearance levels require that all published material, regardless if it's work related or not, be reviewed. Truth be told, I don't know the exact details of these stipulations, but I know it to be a burden for those who engage in a certain kind of work. Here's an older editorial that talk about some of these details:

https://www.washingtonpost.com/opinions/the-governments-prep...
Could you tell me the brand? I would like to test few sites that I believe are much worse than loyality.
Driverless cars choose who to kill is an ethical dilemma
Because the kind of developer the average ICO scam hires isn't quality enough to code this kind of security.