skysight-inc/HackerNews huggingface dataset:
This is what science does. It's human attempts to explain the natural world we observe and to make suggestions as to how it got that way and how it works. Scientists don't claim that they have the final answer or that ancient events had to have happened they way they explain. They are just claiming an explanation that is consistent with the facts and observations they have.
It's an ad-supported site which I'd have preferred not to support. I don't want to read their 'articles', much like I don't want to click through to a breitbart article.

I guess it's all there though, I just missed it. I'll just have to be a bit more cautious as to what I'm clicking on when I'm on HN in future.
Anyone interested in this subject may also find it worthwhile to read the paper describing Spanner: http://static.googleusercontent.com/media/research.google.co...
I recently came across CockroachDB and thought it's capabilities interesting, almost too good to be true. I also have been looking at Citus Data which shards and distributes transactions, are you aware of any consistency shortcomings with it?
Some places do recycle milk cartons though.
What People Still Get Wrong About the Great Financial Crisis
I read the IPCC report in grad school and was incredibly alarmed. Honestly it appears doubtful that short of a massive breakthrough in carbon sequestration there is no chance we will be able to stop whats coming.
Gender Differences in Reading and Writing Achievement [pdf]
> We will trace the failure to guarantee consistency to a controversial design decision made by Spanner that has been tragically and imperfectly emulated in other systems.

This post doesn't establish any "controversy" about Spanner's design decision. It only says that it requires special hardware, which other systems attempt to emulate despite not having this specialized hardware.

To call this decision "controversial" I think one would need to show that it has some significant problem in the environment it was designed for.
What happens to all those locked devices when the server/company goes away?
you're just putting words in my mouth now.
I spend three hours a day commuting via subway. I've started reading textbooks about my field on the train and it's amazing how much it's improved my skills. I also read fiction and other things, which have their own benefits. If I ever get a job closer to home, I want to keep blocking off part of my day for reading/studying.
Scooters and electric bikes are the new hoverboards and segways.

Do your health a favor and buy a regular commuter bike instead.
I applied for a more entry level software position at Jane Street, and while I would have failed the interview regardless, I had the same experience where the HR person had no idea what the interview was like.

They assured me I'd be required to write OCaml, so I spent the weekend brushing up, and that I should bring my own laptop prepared with whatever development I wanted to use. In fact it was a couple "whatever language you want" questions using their floating interview laptop, which threw me off a lot. But like I said I would have failed anyway, it's the hardest interview I've ever had.
> Brutalism expressing domination over people - I've always seen it more as expressing function in form, which would be the opposite

It expresses the architect's idea of function, which may or may not have anything to do with the actual users. However, whenever the actual users of a building complain about the poor UX (noise, leaks, discomfort difficulty finding things in the layout) or their feeling of unhappiness induced by the blankness, it's traditional for Modernists to tell the public and users that they're wrong. It's that elitism which more than anything else characterises the failures of Modernism, of which Brutalism is a part.
Scraping = save a local copy of the image
Linking = point to source image

If they are referring to jguitar.com each time then this is linking.
This is great. Functional languages have such an elegant representation of so many mathematical concepts. It's a bit of a shame that they don't have more widespread use in scientific computing.
I know a person who works on Bird's freight team, they apparently have been moving 2 full Boeing 747s of scooters (I estimate that to be about 12,000-14,000 based on weight) every day from China, at one point about $150 a pop). I think it's a sustainable model because after being shipped, delivered, and released (estimating about $80 more per scooter), it's ridden until dead every day on average 10 times (1.43mi/ride average, range 15mi average), earning it $10 plus $0.15/min, or ~$23.50/day. It breaks even after 7 rides, and they have at least 20 rides in them before they're toast.

I haven't factored in other parts of the economy, like oversupply, theft, premature damage, and payroll for the employees including chargers, but seeing they're in 100 cities with at least 3 million scooters on the streets being ride. I also based my guesses from https://www.bird.co/blog/birdyearone.
At first glance, it looks like something from Star Wars. I do miss the bold architectures that were more than a glorified warehouse.

This reminds me of CDG-1, AKA the "Camembert", which is way smaller and in many ways terribly unpractical compared to CDG-2 but has that mid-century futurist vibe that makes it quite charming if you happen to be into architecture.

Outside: https://www.planitecbtp.setec.fr/wp-content/uploads/2017/11/...

Travel through time and space: https://pbs.twimg.com/media/C4YQxmQXUAInJRM.jpg

This feels like it's from The Jetsons: https://farm3.static.flickr.com/2899/13922331726_fd05d69d1f_...
Without some description of what "false claims" and "misinterpretation" you mean, this is a content-free post.
This reads like an advertisement for the researcher's system combined with some FUD.
There's a ton of coverage of the borane work in John D. Clark's "Ignition!":

https://library.sciencemadness.org/library/books/ignition.pd...
Why are the top two comments in this thread by people who didn't bother to look at the notebooks and falsely accusing the author of posting solutions?
> For anyone who wants to curb global warming, these scooters are a darn good way to do it.

How is this a better solution than biking?
That's because the author is pushing Calvin, which came out of his research group.
The goal is control and to deny you ownership. The device is not meant to be yours. It is owned and takes its orders from its true owners. It is not to obey you, the physical owner.
Based on its history I'm skeptical about the airport opening in 2020.

It probably would have been cheaper to flatten that damn thing in 2011 and start from scratch.

It's a fascinating story, though, of hubris, corruption and about what happens when you try to change an existing massive structure in the middle of construction.

One of the funnier stories was the first attempt to open it. Fire management systems were non-existant (actually they were there. The components were piled high on pallets, alas with no working plan to implement them).

So airport management suggested to hire 800 minimum wage folks. Supply them with cell phones (a total no!no! For emergency response), folding chairs and hi-viz vests to then distribute them strategically throughout the airport.

If they noticed something suspicious, like smoke or fire, they would call it in.

I leave it up to your imagination what the higher ups of the fire brigade thought of this brilliant plan. Especially with the memory of a catastrophic fire at Dusseldorf airport not too long ago.[1]

[1] https://en.m.wikipedia.org/wiki/D%C3%BCsseldorf_Airport_fire
Ooooh, my wife is going to love this lol.
Just wait. Human-made designs are susceptible to human-made hacks.
This is exactly the kind of thing I like to explore when travelling. Albania was amazing because these kind of relics are everywhere. There are no fences, guards, demolition or repair.

It would be nice if they could just leave it there, and let people explore it at their own risk.
We've known about BGP hijacking attacks for 20 years and they only seem to be an issue now. In my day, kids would inject routes using spoofed RIP UDP packets from dial-up pools that would get redistributed into the global routing tables. I haven't 'sho ip' anything'ed in more than a decade, but it appears that 20 years later, you can still just compromise a router and announce whatever you want.

The threat model has changed, where then you could send some spam or harvest passwords for shell logins, today we have things like millions of dollars in piles of electronic cash sitting around relatively unprotected and untraceable, a hyper-polarized political environment where people believe they need strong anonymity protections to participate, and the ability to scale the C&C functions for botnets to where they now resemble private darknets.

All the real action seems to be happening in software defined networks in the cloud these days, but it all still depends on this legacy internet infrastructure.

I'm glad CloudFlare is doing this. Someone needed to take the initiative. It was one of those things where it was everybody's problem, which meant it was nobody's problem.
By controversial, I mean that in the database research community (where I spend most of my time), there is significant disagreement about global consensus vs. Spanner's choice of partitioned consensus.
Nice writeup, but given the title, I was hoping you would also have a constructive test case that shows that these systems fail to meet their guarantees (like Jepsen did). :)

I wonder if any of the aforementioned systems (Calvin/Spanner/YugaByte) that can opportunistically commit transactions and detect issues and roll back + retry all within the scope of the RPC so it can still conform to linearisability requirement?
Metro cost a small, small fraction of what highways cost.

It transformed a dying, dangerous city into the one we have now.

There is no subsidy that isn't comparable to roads or bridges.

I don't own a car, yet my taxes go to highways, because they are essential infrastructure.
3 huge new studies of 0.5MM people are casting major doubts on the keto diet
> safety was always part of the culture.

That's a joke right? https://en.cppreference.com/w/cpp/utility/optional/operator* screams the exact opposite of "safety is part of the culture". And last I checked std::expected currently under specification does the exact same thing.

> A big part of C++'s culture was that we don't need to write unsafe C code unless we really must.

Because you've got plenty of unsafe C++ you can write instead?
https://github.com/dibgerge/ml-coursera-python-assignments/s...
> That's how the internet works.

Not if the EU has anything to say about it!
OLAP systems tend to be read only (for analytics) so the question of transactions and consistency isn't really applicable.
The most interesting thing (IMO) left out of this page is the fact that D. Richard Hipp is the author of Fossil. This has a particular smell factor to it, not sure if it is a good or bad smell.
It has more "content" than the post to which it replies.

"This is good."

"No, it is bad, in these particular areas."

[EDIT:] Granted, the post could still be wrong, but ISTM accusations of content-freedom tend to be projections.
I do indeed pay for this crap...but what are my options?

When Amazon had the one-click patent, I boycotted them for the better part of a decade. They didn't notice, and I missed out on some of their best service years, when deliveries arrived on time and products were legit

When blizzard cracked down excessively on bnetd, I boycotted them for several years. They didn't notice, and while gaming is not a big part of my life I was a warcraft and starcraft fan that missed out on the original sc1 competitive scene (as a fan, not participant), warcraft 3, and this little thing that grew into DOTA.

Had I treated comcast the same way for their many and continued terrible behaviors, i doubt I'd have the job and experienced I have today.

The issue is not that _I_ pay for this, it is that WE do, and long term vision is a noted human weakness that _I_ lack the power to change no matter how many times I inform the internet that it is wrong (j/k).

I dont have a real solution to offer, but if we think the system is broken, just trying the same ineffective solution over and over won't change it. And if you think the system is great (as the article does)..well, I'll have to disagree. Mass market capitalism has done great things and I wouldn't want to toss it wholesale, but one need only look at the environment (and consider the software environment as well, to keep it topical) to realize there is room for improvement - improvement that doesn't magically happen on it's own when people simply embrace what we have and stop there.
> doing the UI in a WebView while using C# as the back end.

I have to ask, why not just do a mobile web app?
If you modify your car in any way, have you voided the warranty?

This is a lie sold to you to convince you to give up control to the manufacturers, to make a warranty a flimsy and easily discarded thing. Their products are getting lower in long term quality and reliability each year, but they don't want to take responsibility for them.
I have nipples, Greg. Can you milk me?
I would also suggest looking into Keras and PyTorch too. I think they honestly achieve a greater degree of elegance and a greater degree of mapping the programming constructs into the mental model space of the domain expert, than any FP interface to neural nets that I’ve seen yet.
The problem isn't a lack of very accurate clocks per se, right? What you need is an accurate bound on clock error, whatever it might be. It sounds to me that non-Googles are specifying bound parameters that, unlike Google, they cannot guarantee. Doesn't that mean the blame goes to whomever put inaccurate bound parameters into the software? Why blame the algorithm for garbage input?
So who gets the signing authority in this proposed/upcoming RPKI?
DynaMix: An Alternative for Polymorphism
This is the clearest presentation of why CAP is misleading that I’ve ever seen! Wonderful.

If the app programmer knows they don’t have global consistency, just consistency per partition, I wonder if in practice there are ways to achieve the necessary application-level guarantees such as in the photo-sharing case (not that it sounds that appealing to need to do so).
Golang and Kubernetes have been highly regarded as high quality. I particularly found the Golang code for Kubernetes to be well documented and well architected.
There is a huge class of non-linear problems where gradient descent (with line search) is guaranteed to find the global optimum: Convex optimization problems.

And within convex problems there is a hierarchy of "difficulty": LP ⊂ QP ⊂ SOCP ⊂ SDP

The Simplex algorithm solves only LP. And it was shown that the Simplex has an exponential worst-case runtime (in the number of constraints). Whereas interior-point methods (basically variations of Gradient Descent) have a much better worst-case runtime.

See here for further reference: http://web.stanford.edu/~boyd/cvxbook/bv_cvxbook.pdf
This is part of the ongoing evolution. The introduction of move operations and smart points in C++11 really started a movement towards "safe by design" (Herb Sutter's words).
I agree, it looks like it was all made cheaply from poured concrete that is now cracking and disintegrating.
"Draconian" it may be, but I think I'd rather get caught cheating at gambling in the UK than in the US, for example.
The intricacies of the Kotlin type system
Stop Using Select Menus for Known User Input
You got it the wrong way around: C++ makes you a better programmer, in the same way that juggling chainsaws makes you a better juggler than merely juggling oranges.
Hi, you used DynamoDB as an example of a weakly consistent system in the opening paragraph, but it actually supports both modes [1]. The point of confusion might come from the fact that the service described in 2007 Dynamo paper was an inspiration for DynamoDB, rather than DynamoDB itself.

Disclaimer, I work for AWS, but not on DynamoDB team.

[1] https://docs.aws.amazon.com/amazondynamodb/latest/developerg...
Guerilla habitation: This rooftop air duct is actually a micro-house in disguise
Is there a significant demonstrable performance difference between Linkerd 2 and Envoy as a result?
6 Cara  Mudah Download File Di Scribd Gratis Tanpa Login Terbaru
FYI as many others have posted, there are no solutions posted here (before you get up on your high horse to decry such a thing)

This is a reimplementation of the exercises, originally in matlab/octave, into python and numpy.

The author even made the notebooks work with the Coursera grader!
We'd love to make something small like the Yubikey Nano!

Right now it'd be a bit tough, because to fit our chipset [1] in that tight space, it would likely involve making a custom IC package [2] or placing silicon die's directly on the circuit. I think it'd be really cool to do that, and if we get enough sales/interesting, we'll definitely go that route.

Using something like the Tomu seems promising as well. It doesn't have the same security features and is just an M0 core, so it's not the best fit.

[1] https://i.imgur.com/sVQ34em.pnghttps://i.imgur.com/sVQ34em.p...

[2] http://www.icproto.com/
The machine described isn't really a "slot" machine in any traditional sense of the word and you wouldn't find one in a casino. It's a pub quiz machine.
Ask HN: How do you take notes while programming?
I find taking notes helps with planning and execution, but pen and paper isn't very efficient. Do you use any apps? What are some of your practices?
Hardy's idea that math is a young man's game is wrong & discriminatory against those that lack opportunities to education early in their life. Or for whatever reason pursued math at a later age.

See people like: https://en.wikipedia.org/wiki/Yitang_Zhang that produced good math at a later stage.
What's a nice way to call Rust from C++? If the answer is through a C interface then I am (still) disappointed.
Yes, bad tests are bad. Yes, mocks are bad. Good tests, however, are good.

To expound on that, designing for testability allows you to sidestep the need for mocks almost entirely, and forces you into easier, more reliable and more consistent code. Then when you choose to test it, the tests are simple, straightforward and valuable.
> replace it

The movements for preservation of architecture would likely have something to say about that. A lot of people are tired of the whole demolish-build shtick, and yet others find it insulting in its disregard for what they find to be monuments. In my opinion, some of the most inspiring uses of space and architecture today are happening in ex-abandoned, ex-unused industrial buildings.

An example I've visited recently is the former Peugeot factory in Brussels [0] that is currently used for exhibitions, concerts, or just hanging out at the bars and food courts that have installed themselves there following a doctrine of minimal intervention. Shortly it will be transformed into a museum of modern art as an outpost of Centre Pompidou [1]. To quote the architects whose proposal won: "We want to radically engage with and trust what is there." That sentence pretty much sums up the trend I'm pointing out.

Another example is Rijeka, a city with a unique history, that has a heritage of an abundance of industrial architecture and very unique urban planning. Many of its industrial complexes lie abandoned, within earshot of city centre. Some of them are being brought back to life, spurred, in large part, by the European Capital of Culture 2020 that is happening there. This summer EASA took place there [1]. It used the revitalised Export building (in the photos look for the building that has "exportavo" witten on it). 600 people slept in the same hall for two weeks. I was there, it was a cool experiment.

[0] http://kanal.brussels/
[1] https://www.dezeen.com/2018/03/23/car-factory-transformed-ar...
[2] https://www.flickr.com/photos/107959684@N04/sets/72157670142...
Hydrogen's Achilles heel is its crappy volumetric energy density. Even if you get the hydrogen to the point where you literally can't compress it anymore and it liquefies, it takes up 4x the space of the equivalent energy amount of gasoline. This doesn't include added weights from tanks, bigger engines, etc.

So the people behind this are not wrong that if we're going to have a hydrogen economy we have to confront this volumetric density problem for motor fuels. Even if somehow they lived up to their billing, a vehicle designed to run on alane would suffer the same shortcomings as ethanol- still inferior to gasoline in multiple ways.

Are we going to have a hydrogen economy? No. Even if this alane wasn't snake oil and completely lived up to its promises, hydrogen would still be more expensive to fill your car with, and it wouldn't work as well as, gasoline.

"But, but, but.. what about when we run out of oil?" This won't solve that problem either. We can and will make gasoline from natural gas and/or coal if that ever happens, which it won't.
Ain’t that the truth.
The author of the CAP theorem says the same thing about CAP:

https://www.infoq.com/articles/cap-twelve-years-later-how-th...
Former Google CEO predicts the internet will split in two
The student needs to enter their own code to the section that says "YOUR CODE HERE":

https://github.com/dibgerge/ml-coursera-python-assignments/s...
Running an engine on alane seems like a spectacularly bad idea. USAF experiments with borane didn't go anywhere, I don't expect this idea to fare any better.

Here's a good video on the experiments for those who are unfamiliar: https://www.youtube.com/watch?v=gdeybNPLpZU
I prefer the Ergodox because it takes less space than the Kinesis. Never used the EZ in particular. I spend most of my time with regular 80% keyboards or laptops.
I thunk its because many people are expecting the car to be garbage when it comes to maintenance and there were talks about quality issues, although this is probably not an issue with test cats
The best advice on this sort of thing is always to scratch your own itch. Solving a problem you (and others) have will give you context and drive that solving a problem you dont have wont.

This doesn't mean you have to write your own code from scratch - that's up to you. You can pick an itch that you want to create a standalone solution for, or pick an itch where you add the solution to something existing, depending on the issue and any existing related options.
What do you mean by "this" - you are not making sense. I'm not complaining or replying to any egregious comments, so that also does not make any sense to me. I do not understand what you are attempting to imply.
Because the destination knows the targeting and the IPs.
In his case, motion blur given live subjects would be a common problem, resulting in trashing two-thirds of the photos. With a modern camera and sensitive file or sensors, you can shoot at much faster shutter speeds for the same amount of light. On a given shoot, I may take 250-500 shots of which, unless I screw up, almost all are technically fine (correct exposure and focus) but only a handful turn out to be keepers for aesthetic reasons. But then, I shoot mostly landscapes which tend not to move around too much.
we are talking about basic assignments to further understanding of a well understood topic. Doing the assignment itself is critical to the educational experience of truly understanding that topic, reading a solution robs you of that