skysight-inc/HackerNews huggingface dataset:
I would like this NOT to be broken. reCAPTCHA is currently one of the few captcha systems the still work to some extend. It locks out most spam bots and keeps my sites clean. Of course it's a good idea to try and break it, to see how "secure" it is.
haha. A ban is not going to happen when their neighbor Japan has legitimized cryptocurrencies and they risk being left behind in a possible economic shift.

Keep dreaming though!
HTML5 DAW (Digital Audio Workstation)
There's a 1999 Darwin Award for this, even. A 9v multimeter killed someone because he broke his skin with the probes and lost the benefit of that resistance. That's pretty much a worst-case scenario, but it's still a vivid reminder that "low voltage" is not "safe".
> You can ask, why is it so painful to give a formal proof of correctness of your program?

It's not!

It turns out that the dependently-typed lambda calculus is sufficient. See the research into Lean[0].

It seems we had discovered a portal called, Curry-Howard. You can throw in theorems in one side and out come proofs on the other. Programs are mathematical objects. And programming is a subset of mathematics. I like to think of it as an applied mathematics.

It just so happens that practitioners of this language don't require knowledge of the other side of the portal in order to write their proofs. They just write their proofs without any theorems, or at best, a large suite of examples.

To me writing proofs is programming.

[0] http://leanprover.github.io/
What are they making? I've not heard of any >$200k/year ML researchers returning to China: usually it's good, but not amazing, researchers that do return.
A NTP request every couple seconds is similarly in violation of the vendor guidelines, once every 10 minutes or less often is stated.
Writing a Simple Vulkan Memory Allocator
>Consulting can scale [...], sell bodies (Accenture)

That's true but "scale" in the context of HN is often shorthand for "scales exponentially" instead of "scales linearly". The Accenture revenue scales with headcount via labor billable hours. That's not the same magnitude of platform scaling that Paul Graham, Marc Andreessen, and others are talking about. (E.g. WhatsApp platform scales to ~900 million users with just 50 employees.)
Not true anymore. You need to submit written environmental protection plans straight up just to register a venture these days, let alone obtain the requisite licenses to operate, and corporate board members are held personally liable. It has reached the point where the default legal advice is "stay off boards in mainland China".
It's exactly like a bill going through Congress. Except usually with the bill going through Congress, the items you don't want are quite a lot more toxic.
Oh my. Fair enough. :D

"Sensory deprivation".
Yes, single-room occupancy.

https://news.ycombinator.com/item?id=15911743
Kids are not so binary.

Plenty of schools have random assignment for students yet teacher A's students vastly outperform teacher B's students. Sure, the best student in B is generally better than the worst student in A but they are still generally behind the best in A.
How to Download YouTube Videos – ExtremeTech
N.J. Man Admits Creating Mirai Botnet Responsible for 2016 Web Crash
For Pass-Through Businesses, Let the (Tax) Games Begin
https://www.daskeyboard.com/daskeyboard-4-professional-for-m...
Being arrested is not a big deal. If you are arrested entering the country, unless there is some specific crime they think you have committed or were thinking of committing, they will just deport you. (Though, IANAL)

I'm not saying YAY ARREST WOO!, I'm saying at worst it's a waste of time and maybe money to get on a flight.
Thanks for bringing up UCL! Hadn't seen that before but I definitely need to try this in a few places.
One thing is momentum. In the US (and Europe) we have established factories, practices, and systems. It's hard to change those, developing countries (which from an industrial perspective much of China still is) have an advantage in that they're getting to try out the latest concepts and have no reason not to. See Japan and Europe post WWII. Both regions were devastated by war, but had the economic ability (or support) to rebuild their industries. As a result they ended up decades ahead of the US in industrial capacity and/or quality, because the US through the 1970s (and later but that's when we started wising up) was stuck with pre-WWII industrial methods and models. Propped up by large bank accounts, easy loans, and large inventory (which hides process deficiencies like bottlenecks and rework). Once pressure was put on the US auto industry (1970s, by the Japanese and the oil crisis) they started changing or failing. They had no reason to adapt until then, and even with the clear demonstration of how to work better it still took many of them decades to figure it out.

You can see similar trends with respect to telecom infrastructure adoption in developing nations versus developed nations.

Another advantage China has is population. When you have well over a billion people, you can afford to throw them at the problem and try out numerous things. Failure becomes an option because they have both the people to try it, and the space to try it in.

Their government also has a willingness (unlike in the US, and not as common in Europe anymore) to step in and subsidize costs to encourage moving in a certain direction in order to grow their national economy. The US, in particular, doesn't do this or does it haphazardly due to the frequent changes in political leadership (we could never create and stick with a 10 year plan, for instance).
A decade's worth of experience vs beginner-level experience could explain the issue. Not saying it does, just that it could.
Your are right, of course.

Maybe what I wanted to express was more like this:
TP-Link has a sloppy attitude towards the security of their stock firmware. It might work, but it is full of security holes. HTTPS and checksums/signatures wouldn't change that.

Maybe they could do everything right with their firmware and provide top notch security and updates. But then their firmware would be a factor for market differentiation and at that point they would be incentivized to put effective code signing schemes in place. Other market players do that. Look at AVM Fritz Box products - nice hardware, security updates for many years and the result is: they are known GPL offenders and have strong code signing in place.

Instead TP-Link delivers you crap firmware on nice and cheap hardware and they don't care what you run on it.
Light Camera Founder Explains Delays, Software Bugs, and Slow Data Transfer
Stackoverflow Winter Bash 2017: Greatest Hats
It would have been nice to have at least an approximation of how much such a cluster would cost to buy or rent.
This could potentially completely shift the world economy, but not because it is a bubble.

The fact that cryptocurrencies don't need an authority to guarantee it's value is exactly the point of cryptocurrencies.

The value is in the mathematically unforgeable ledger, and the network that remains secure even after 7 years of the juiciest, sweetest honeypot ever presented to hackers.
> Why do the routers involve themselves at the transport layer? Can't they just route IP packets and leave the transport alone?

Because they have to do NAT, at least on IPv4.

> Firewalls -- whose firewalls are we talking about here? If a client (say, home user) tries to initiate an SCTP connection to a server somewhere, what step will fail?

Because the connection tracking that's needed to even recognize whether a packets belongs to an outbound or an inbound connection needs to understand the protocol.
My main exposure to mathematics is via CS papers, and this is doubly true there it seems to the point where my warning bells go off if they present their solutions in equations - it's all to often a sign that they're going to hand-wave away essential details that'd be obvious were missing if they presented code or even pseudo-code.

E.g. I did my MSc. on statistical approaches to reducing error rates in OCR, and so many of the papers I reviewed for my literature review suffered from leaving out absolutely critical information when they presented equations etc. that most of the time I spent implementing a lot of the methods presented tended to be to try to reverse engineering missing information (and often that was only possible because many of the papers used one of a few well established public datasets for their experiments).

To me, for those CS papers, maths was a warning what was lying ahead was likely not precise or well defined. It's incredibly frustrating as there were generally no good reason to do so - it wasn't a matter of leaving out large bulks of complicated code. Often it could be as simply as leaving out the concrete values of given parameters.

I'm not implying maths have no place in CS papers, but the CS papers that I've seen that have used it best have tended to also present code fragments, or use maths very sparingly and coupled with painstakingly defining variables etc.
It's very finicky about line quality, it likes to be on the same circuit (doesn't cross breakers), and it doesn't live up to the claimed speeds.
Bizarrely, that's close to a real problem! Ethernet over barbed wire may have been just for show, but phone service over it was a very real approach.

Perhaps not "the internet released the cows", but at least "the stampede cut the phone lines".

https://en.wikipedia.org/wiki/Barbed_wire_telephone_lines
Unrelated, but your website template wastes a third of my screen with whitespace and this is frankly annoying. You might want to improve it.

Nice article anyway!
&& is a major one. Also !! for sudo !!
Oh yeah, I don't mean to suggest it wasn't popular, but it also doesn't seem to have had the same level of sustained popularity that it has here in the West.
What I most enjoy about reading mathematics is convincing myself that what I'm reading is true. I like to keep a pad of dot-graph paper and a pencil with me as I read to break down the theorems, lemmas, and expressions as I go; try derivations, etc. Martin Gardner got me into the habit as I read his articles while I was growing up.

These days I can even toy with the idea in Lean[0] or TLA+ and find different ways of formulating the results. What a time to be alive!

[0] http://leanprover.github.io/
Don't worry about code quality, it's perfectly readable. Although I only have very limited javascript knowledge, I would love to contribute if you make this open source. It's really a great project!

After a few seconds, it still freezes for me, so that's one thing I could try to fix :)
This is not a good benchmark. There are two problems:

1. It’s a simple GROUP BY on a single table. You’re basically just measuring the scan speed. Real queries are dominated by shuffles and the probe side of joins; these aren’t even present in this benchmark.

2. He runs the query repeatedly and takes the fastest time. This is far too cache-friendly. In this example, the intermediate stages of the query or even the result are probably just sitting in memory on the nodes after the first couple runs.

If you want to measure the performance of a data warehouse, you need to use more complex queries and not run the exact same query repeatedly.

edit: Coincidentally, I am giving a talk about data warehouse benchmarking TONIGHT in NYC. If you’re in NY and interested in this subject, please come! https://www.meetup.com/mysqlnyc/
I think the chunks definitely help with being able to feel very full after drinking it. Maybe I'm just not letting it mix/soften well enough before going for it. I'll do more experimenting!
s/TNI/TBI/ : "tableau blanc interactif".

Having led some experiments with those, I am not sure they are a real improvement over a chalkboard:

- they cost much more and are pretty useless without computers / tablets for the teacher and pupils
- they require skills from the teachers to operate them
- the software ecosystem is poor
- slightly OT, wifi is not allowed in schools

So, while the concept is attractive, the current implementations requires a lot of efforts and little value, even in the corporate world.

I'd like to read some reviews about google's jamboard though.
If you are feeling adventourus I'd recommend Ducky Zero keyboard. I have moved back to mechanical keyboard a few years ago for partially nostalgic reason but also because I like to hear when I type a character (which I find useful when typing passwords without echo).
Accenture can increase billable hours for it's lower level workers though optimizing the entire process. Executed well they can get 4-5x increase in profit per person which is much better than a linear improvement.

Consider all those people with 7 figure salaries and compare it to a 5 person consulting shop in India where Accenture has 130,000 employees. What makes this less obvious is small consulting shops tend to include the salary of top people as part of their profits, where big companies pay well and still have a lot left over.
BTC will not once it gets into multitrillion dollars. It's a young asset with no derivatives that the market isn't sure how to value. Also there are ways to hedge volatility.
Would you say providing public education and moving people from dangerous area to safer places as a way of cleansing their cultures? If you are really interested in China, you should just go somewhere and see for yourself. Media from China and anywhere else in the world are just slanted mirrors. When some Uyghur terrorists hit a train station in southern China and killed innocent civilians, some western media titled them as "terrorist" and implied they were repressed. As for Taiwan, It's still a legacy problem of Chinese civil war, It's really unlikely that China mainland will really do anything about Taiwan, speak of missiles, actually there was a missile missent and crashed by Taiwan towards mainland in recent years.
Huh? Congrats on your sense of humor.
> and they will charge YOU extra for that

The non-cynical view is the under NN you are paying for the huge amount of Netflix traffic whether you're a subscriber or not. When that cost is passed to the subscribers directly it's better for everyone, no? For subscribers it's probably a mild hike but but non-subscribers get a discount.
My background is I know too many languages and don't get enough shit done and my need is probably to stop it and get back to work. :)

Being slightly more serious, I do web dev, mostly backend, for a radio astronomy observatory. I don't know anything about the science, but I wind up executing their routines in the cluster and doing typical database apps. I don't have much time on the side but I have been enjoying trying to learn J and realizing how much applied math is missing in my background!
Marketing aside, people evaluate languages for their community. The lack of a community is something that can be fixed by marketing, but marketing isn't necessary to create it.

Pony is also pre-1.0, and it doesn't look much like Go to me.
Everything you said it's obviously true. I think that's what made China attractive in the first place. Now though there also are massive Dubey effects. You want to be close to your supplies and those are in China and as I hear often just down the road. That's what we have lost and what's really hard to get back.
the main feature i use fish for is the syntax expansion, and history usage of it.
The biggest gripe i have with it is the specific syntax. If fish would act more like a bash shell in case of syntax. ( i know i would need a totally different shell). But it could replace the fish for me in an instant. everywhere.
Anyways.
Thanks for the fish.
A good-sized antenna at range works, and so does a tiny device at close range! There are Van Eck listeners small enough to conceal completely that can still eavesdrop table-to-table at a cafe. The conference debut involved hiding one in a piece of pita bread, where it could sit right out in the open.

https://t2.fi/tag/van-eck-phreaking/
NIMBYism and politics is part of it.

I also suspect China, as a whole, is willing and able to move mountains (perhaps literally?) to win factories. Entire cities exist just to build "widgets" for the rest of the world.

I remember a similar article/editorial that made similar points about electronics production. China has both the engineering professionals and the factory line staff on-hand to spin up massive efforts in short time. The US simply doesn't have that many people in any one place like China does.
He's suggesting that most Americans don't own a passport, or have ever travelled outside the US, and have a tenuous grasp of world geography/geopolitics.

I'd find it hard to argue.
It seems also to me that Wordpress is still king.
Gecko Lizard Tattoos and Iguanas Designs
Least amount of work when it comes to tech. I assume they did quite a bit of marketing in order to get that popular.
I think this is something FIFA definitely should take into account when deciding what countries that can host these tournaments.

Sadly, FIFA is known to have been corrupt when they voted on the 2018 and 2022 tournaments which might explain why these issues wasn't taken into account.

I hope FIFA now has control of their internal corruption so that they can focus on what football is really about, connecting people across borders.
I'm surprised they ban them only now, and only up to middle schools. Smartphones are the easiest way in the all history to cheat on school tests. Our parents and grandparents could write 1 or 2 math formulas or verb translations on a small piece of paper; now kids can just have all the courses of the entire year (+ Google and Wikipedia) on their iPhone, completely hidden in their pencil case. When I was in college, everybody cheated that way.
> Bitcoin & cryptos are financial weapons of mass destruction.

You need to explain this. Many of us just think it's a good replacement for gold and other precious metals. Is gold a "financial weapon of mass destruction"?
Building .debs in 2017
Shoutouts to the water bottle acting as an iPad stand.
Thanks for this explanation.
>which is why most enterprise software companies end up as consulting companies after a certain scale.

Also, after growing to a big enough size, the software company can do "consulting" work without it hurting them.

When Microsoft Windows NT first came out, I always thought it was strange that they had POSIX[1] support. There was no I company I knew that actually used POSIX apis. It was only several years later at a Microsoft conference where an employee mentioned that POSIX was there to satisfy some government checkboxes. By adding POSIX, Microsoft was able to sell a ton of Windows licenses to the government. Most other enterprise software companies don't get an obvious ROI like that for customer-specific features.

[1] https://en.wikipedia.org/wiki/Microsoft_POSIX_subsystem
Showing the software to people and talking to them afterward will validate (or invalidate) your assumptions. If there are existing users, talk to them. That way if a video is needed, the content can be based on specific feedback about the products features and limitations.
I can see your post fine.
ELI5: Does DOH threaten the great firewall?
creating a list of 'expected' receive routes and expected 'send' routes is fairly easy to create.
aka outbound and inbound prefix lists, I quickly googled and found the following config [0] that shows them 'advertising' their owned networks to prevent advertising networks they should not be and also accepting other networks they expect. this prevents and would have mitigated this sort of situation if implemented everywhere.

no I do not believe this to be difficult and anyone configuring BGP should have some awareness of most of its tools.

you can live your whole life without having to use a fire extinguisher or understanding the differences between a,b,c,d etc types but if you are a fire (man/woman) I expect you to understand which is used in what circumstance. if you do not you have the chance to spread a fire and make it worse then prevent it the same with someone who calls themself a network engineer.

[0] https://supportforums.cisco.com/legacyfs/online/legacy/0/5/4...
Ask HN: Anyone frequent any site simlar to HN? Looking for some more forums
This kind of thing makes me sad. Not that it's bad in any way, it just doesn't fit my personality type. What you say is completely true, it just.. sucks for my preferences in social interaction heh.
For all their posturing, Russia just lacks the means to be as dangerous as the US is.
Learn about new developer tools from VisionMobile 2017 survey
It was more like irony, Mao also thanked Chiang who killed his some of his family members and he thanked America who killed his son. If you read history, Mao insisted on fighting against the Japanese invaders before Chang did. Do not forget KMT had America assistance in civil war, but they lost, because they were just too messy with economies and care too little about 90% of Chinese poor people.
That still doesn’t make sense, those people primarily vote Republican and are agricultural. GP was hinting about vast liberal desert cities...so they must mean some other state.
The benchmarks are aimed at OLAP not OLTP workloads.

If I had a large query set to run on each vendor I'd be more likely to hit compatibility issues which could mean fewer benchmarks going out. As it is I spend a lot of time getting hardware and software vendors together for these benchmarks.

If caches were being hit I'd expect a lot more DBs hitting single millisecond times in my benchmarks but as far as I can see, there is a clear delta between the various setups I've tested:

http://tech.marksblogg.com/benchmarks.html
Google Opens A.I. Research and Development Center in Beijing, China
Arguably the best browser-stats group is http://gs.statcounter.com/browser-market-share

According to that, for the last month Edge is 2.06% and IE is 3.88%. Edge has never had more users than IE according to their numbers.

Edge has lower market share than any other browser apart from the defunct "Android" one (which was replaced by something claiming to be chrome years ago iirc, so of all the actively maintained browsers recognized by that survey, Edge has by far the fewest users).

If you have information to the contrary, please post it
But less sea ice, which means any additional ice mass on land would accelerate glaciers into the sea, likely meaning a net loss of ice.

It’s all chaotic, of course, so try as we might even the smallest variables in input can drastically change the outcome - and there are still many unknowns.

All I know is that I was on a ship with a hundred scientists, and nobody was jumping for joy at what they were seeing.

Also, sorry for the snark - I should remove my thumbs until I’ve had breakfast.
I don't really think it's perfect - it lets BT milk OpenReach rather than reinvest more. But it's decent.

It's worth noting, though, that this is the EU's doing, through the Telecoms Directive, not something the UK government did of its own accord.
Incredible events at Browserling