skysight-inc/HackerNews huggingface dataset:
If the analogy you're drawing is mp3s to money, it's not a good one. Money has been digital much longer than music; SWIFT was formed in 1973. [1] The MICR E13B font, the machine-readable numbers seen at the bottom of every check, was adopted as a standard in 1958. [2]

Further, since cryptocurrency's use in actual commerce is a rounding error, I don't think cryptocurrencies are even at the mp3 level yet. To be useful to most people, cryptocurrencies need to be turned into real money, which makes enforcement easy enough. It's especially easy here, in that ICOs are big public launches.

Really, anything taking significant amounts of money from non-accredited investors needs to be quite public, because individually they don't have much money. Which again, makes enforcement easy. And also makes it clearly under the domain of the SEC unless they are careful to exclude American investors.

[1] https://en.wikipedia.org/wiki/Society_for_Worldwide_Interban...

[2] https://en.wikipedia.org/wiki/Magnetic_ink_character_recogni...
> Rolling your own specific static generator is quite easy

Exactly. I created a tool to help with this as well.

https://github.com/pauldotknopf/statik

It has no features, by design.
I understand this may not be an issue in your case, but vSwitches won't encrypt your data in transit between servers, unlike a VPN or ssh tunnel.
Cattle are kept in the rainforest, yes, but the forest cut down for grazing is far outweighed for the forest cut down to groy soy to feed the cattle.
Some of us have to write those libraries.
Please don't link to the Daily Mail, under any circumstances. Wikipedia has banned them as an unreliable source, for good reason - they outright fabricate stories.
Did you know that Douglas G. Hurley launches with Dragon 2 and he was also on the last STS flight? Nice continuity.
I only have superficial knowledge of kernel-level systems, so a list of features doesn't give me a sense of a project's reason for existing. What's this project solving, exactly?
The problem in Brazil is not so much that it's now barren as that it's now somebody's farm.
The footage inside: https://www.huffingtonpost.co.uk/entry/inside-soyuz-capsule_...
Ask HN: How do you assess a Machine Learning based product?
What metrics do you look for when trying to assess a machine learning based product that is being presented to you ?
Start with a Great Pyramid of Giza, or locally sourced substitute following the traditional recipe [1]:

* 5.5 million tonnes of limestone
* 8,000 tonnes of granite
* 500,000 tonnes of mortar

For a simple approximation, we ignore ingredients that are not limestone.

mass of limestone in great pyramid of giza

= 5.5 * 1e8 kg of limestone

Volume of limestone in one great pyramid of giza, assuming medium-high density limestone at 2500 kg / m^3 [2]

= 5.5 * 1e8 kg / (2500 kg / m^3)
= 2.2 * 1e5 m^3

allegedly there are 4.168e+9 m^3 cubic metres per cubic mile. That gives about 19,000 great pyramids of giza per cubic mile.

[1] https://en.wikipedia.org/wiki/Great_Pyramid_of_Giza#Material...
[2] http://www.natural-stone.com/limestone.html

edit: when i try to estimate by geometry from the pyramid dimensions, instead of by density, i end up with about 2,000 great pyramids of giza, but that's without trying to understand what the volume of a pyramid actually is, because i am not clever enough to do that.
Seconded, the three volume set is a very worthwhile read.
This is an interesting paper, but it’s fairly deep and doesn’t provide a lot of context for someone not in the field. Could someone summarise?
IMO, Gatsby is one of the biggest hammers for smallest nails.

I mean, how many dependencies/ceremony do we need to convert .txt > .html?

Webpack? Graphql? Client-side routing? I mean, if you want to have fun with shiny tech, go for it, but it really is the wrong tool for the job.
Just as an aside, it isn't their case (you said so yourself). But I'll move on.

> If you want to dispute a lawyer and the justice department and their take on the law,

I'm not disputing the law, I'm disputing the facts presented and the conclusions drawn based on said facts. Given that you and I are technically inclined enough to understand what a Windows restore CD is and what restrictions it places, this means that we are in a position to be able to discuss the facts of the case and whether they pass muster.

In the previous comment, I explain in some detail what aspect of the facts I disagree with as well as referencing parts of both the decision and the appeal (from the link you posted). The conclusions made by the judges are clearly based on the facts presented by Microsoft, and so discussing whether those facts are actually true is a completely valid thing to do.

And finally, I don't disagree with the court that he broke the law nor do I disagree that he should be punished. I just disagree with several of the statements Microsoft made (in my opinion, in bad faith) related to the case -- and the valuation statement is particularly shady because it is simply and provably untrue. The reason why the judges explicitly decided that Microsoft's expert witness was more credible than the defendant's expert witness is not something I know -- but it doesn't mean that they were correct to do so.
My bet is that they'll send the next Soyuz without crew.

A lot of research that will have to be postponed or scrapped :(
Ballistic descent mode is an interesting euphemism for falling like a rock.

The US really needs to invest more in our own infrastructure and astronaut delivery system.
I'm using protobufs for an embedded product, and I think they're awesome. Not the solution to everything - certainly - but definitely a highly useful tool for the right circumstances.

In my case, I have a single .proto file that serves as the input to two software systems: an embedded OS running on ESP8266 hardware, and the web interface served up by that OS to edit OS-specific features/variables/etc.

So, I define in one file, my types that I want shared both with the embedded OS, and with the web interface. On compile, both systems get their relevant generated code, and both systems are therefore able to communicate easily with each other. The user can use the embedded OS to change values coded in the protobuf, and the web interface that the system serves up immediately knows about the change. The web interface, by the way, generates the UI based on the protobuf declarations - meaning that adding a new var to the project is a simple matter of editing the .proto file, and doing a full clean build. Very, very nice: one change, multiple systems updated, and it produces an auto-generated UI for the new vars.

This kind of interoperability is very key - I'm sure there are alternative ways of doing this, but I can't think of anything as smooth and easy to integrate as protobufs have been .. maybe if we'd put a Lua VM in the mix somewhere, this'd be better, but .. protobufs are pretty tight.
Credit Repair Agent
As a single parent with 3 kids, I wanted a bigger space for my kids to live comfortably as they grow older. I had to work really hard for this course. My credit score was 595 so I thought I stand a chance of getting a loan for my new home. While seeking for a loan, I realized my report isn’t in a good shape. I had some negative items preventing me from getting the loan I seek. I looked for means to clean up this mess so I could possibly get the house I required. I got a recommendation on PROTON VIRUS from a friend after a wasteful search for about 4 Months. I decided to give him a try after all surprisingly; within 7 days my report is in a good shape with all the negative items erased and my score increased to 841. I am gradually buying accessories for my new home and my kids are so happy. All thanks to PROTON VIRUS. I know most of you here might require such service, so I think it will be helpful if I dropped his contact here for you all. Email him now on (PROTONVIRUS@TECHIE.COM) +1 347- 480 9812 Good day.
Could you describe how you did it?
No one said that all fields should be optional, only that it should be possible to have optional fields. It may sound like chaos to those who've not worked in such environments, but in fact it is not at all unusual in large companies to have the same message pass through several layers of services in a single call-flow. This long predates the term "microservices".
Why australia becomes leader in crypto
Russia at this point is largely deindustrialized and rapidly losing its tech know-how. The recent string of failures in space programme is only one (but certainly high profile) manifestation of it.
Zerotier doesn't do PFS Perfect Forward Secrecy... and somehow it is too easy to add new clients to the network without you noticing.
It's supposed to fall like a rock. The difference is the angle, not the fundamental method.
I would interpret it as "fallen horizontally" with a lot of braking happening lately in the atmosphere.
Eating too much protein and not drinking enough water seem to cause more problems on keto than standard diets.

You must read about ketoacidosis as that seems to easily be the most dangerous risk. Diabetes is the main trigger for this.

The distinction between MCT (coconut essentially) and LCT based keto is very significant - especially since the MCT diet can be pretty much vegetarian.

I've gotten a lot of mileage out of assessing other things on their own merits and by their own rules since the majority of nutrition isn't about macros. For example, eggs can become a bigger part of your diet on keto so it's important to research eggs - which in my case resulted in salmon as a source of omega 3.

I don't have any difficulties staying on keto but I'm also a good cook and every supermarket in my country is more like Whole Foods than a normal US supermarket, according to friends who have been there (I have no idea what they're talking about).

Finally, checking citations of various articles both for and against has just lead me to ignore anything other than papers (and even then with a grain of salt - @ajaxaddicted's sheet is a cool way of doing it).
A lot of the "liberal progressives" pre ww2 where in favour of sterilising certain elements of the population until that whole "hitler thing" happened.

In the USA it was the conservative republicans that opposed it.
Amazon v the high street
During our graduation period we used Netlogo for projects of distributed networks. It was lots of fun to do different simulations. I remember writing Ant Colongy Optimization and Firefly Synchronization with it and being able to visually see and tweak parameters.
”There, rolling shell hills sparkle in the sun while "curing" out in the elements for one year, a process that rids them of contaminants.”
Darlings Thrown Out as FANG Stocks Suffer Biggest Drop on Record
Elevator Service San Francisco
EnPro Elevators is a leader in designing, installing and maintaining elevators for all types of facilities offer our services in San Francisco, CA. We are expertise in Elevator Repair, Maintenance & Services.
One could argue in the opposite direction: a real democracy would have been (and still is) an extreme threat to the CCP (Chinese Communist Party) which is an anti-democratic cadre party in the Leninist tradition, and has explicitly stated that it wants to remain one for all eternity. One of the narratives of justification that the CCP uses is that Chinese people neither want nor need democracy.

A democratic HK would squarely falsify this claim.

Indeed, I'd argue that the single most urgent reason (but not the only one) for China 's bullying of Taiwan is precisely this, Taiwan is a thriving democratic and Chinese society.
Free electron lasers didn't pan out?
And therefore more people have >=1 of the LCD, which is exactly the point…

Likewise, people used to have one TV. Now, a significant majority have multiple. Not because they’re more energy efficient but the effect is the same.
NASA JPL video may have shown us the design of next-gen HoloLens
There are two notable projects here:

L4Re is a (reasonably) portable L4 userspace environment and has a large collection of ported libraries (e.g. zlib etc).

Fiasco is the L4 microkernel they have developed for many years. It is different to the others because it is written in C++ and heavily object oriented. It also has concurrency in the kernel unlike simple systems like seL4, although at a complexity cost.

As a side note, these guys also develop L4Linux: a paravirtualized mod of Linux that runs on top of L4 as a task. This enables more realtime tasks to run alongside Linux. Kudos to these guys and their projects.
Its not unusual to remove the top and bottom outliers
Note that the hilbert function wasn't written by me, just merely ported from C++ — here's a post about it by the original author: http://threadlocalmutex.com/?p=126
The difference is that the things that we praise Churchill for, e.g. leading the unpopular fight against the Nazis, were almost unique to him. Yet the charge that 'he favored eugenics and was deeply racist' could be levelled at many or most of his peers.
Time traveller went to year 8973 and met telepathic robots PASSES lie detector
".NET is cool, but otherwise it doesn't really feel like they're contributing anything particularly valuable or tangible"

Not to be snark, but .Net is one of the most used development eco-systems [1]. Making the tech open-source and actively helping it run on other OS-es than Windows seems pretty valuable to me :). At least to me its very valuable.

[1] https://insights.stackoverflow.com/survey/2017#technology
Lektor by Armin Ronacher is a lot more fully featured and based on a different model than most static generators. Pretty sure it handles this use case.
Giving a random american company my payment details is unfortunately asking too much.
Windows NT thread scheduling does not work that way. If the Zero Page Thread is ready to run, the processor's Idle Thread is not scheduled. Idle Threads do not live on ready queues, and are only dispatched when there is no thread available from the processor's ready queue.

Also, do not conflate the user-thread idle priority class with the (non-)priorities of Idle Threads.
No, just slides — I don't have a video of the talk. Perhaps there will be one someday if I'm invited to some international JS conference :)
The LES is the only way the capsule can separate from a malfunctioning booster. That activation happened to be on the ground, so the ballistic trajectory was rather short and dominated by the velocity the LES itself imparted; but activate it for an in-flight failure like this one and you will be off on a more substantial suborbital trajectory.
The PRC kept them from doing that.
The last lighthouse keeper of Capri
Nearly $13B wiped off of cryptocurrency market
The update in question here is #1809; so it's possible your brother encountered another data loss bug, which, considering their current state of QA, doesn't seem that unlikely.

By default the recycle bin has a limit of how much files it can store, and if you try to put more in there it will be deleted. It'll ask when you do the operation, but it if was done automatically as part of the update, who knows. A safety net with such big holes never made sense to me so that's why I always change the limit to 100% of the disk size. Your brother was lucky to recover his files.
The key point in all the beautiful promises Google makes is that you need to extend then with "for now". That summarises the healthy skeptical stance, especially when it is about a company that should have given you plenty of examples about why we shouldn't trust them.
> particularly if applications are isolated in cgroups appropriately

Once the cgroup OOM bugs get fixed, amirite? :P

> It does seem like there’s a lot of opportunity for a better interface than MADV_DONTNEED though (e.g. something asynchronous, so you can batch the TLB flush and avoid the synchronous kernel transition).

The original MADV_DONTNEED interface, as implemented on Solaris and FreeBSD and basically every other Unix-like does exactly this -- it tells the operating system that it is free to free it whenever it likes. Linux is the only modern operating system that does the "FREE THIS RIGHT NOW" interface (and it's arguably a bug or a misunderstanding of the semantics -- or it was copied from some really fruity Unix flavour).

In fact, when jemalloc was ported to Solaris it would crash because MADV_DONTNEED was incorrectly implemented on Linux (and jemalloc assumed that MADV_DONTNEED would always zero out the pages -- which is not the case outside Linux).

> As an aside, it seems like an apples and oranges comparison to compare “freeing” by zeroing (which doesn’t free at all) to MADV_DONTNEED. [...] I’m also pretty sure that munmap will be much slower than MADV_DONTNEED.

This is fair, I was sort of alluding to writing a memory allocator where you would prefer to have a memory pool rather than constantly doing MADV_DONTNEED (which is sort of what Go does -- or at least used to do). If you're using a memory pool, then zeroing out the memory on-"allocation" in userspace is probably quite a bit cheaper than MADV_DONTNEED.

But you're right that it's not really an apt comparison -- I was pointing out that there are better memory management setup than just spamming MADV_DONTNEED.
Delayed again - SpaceX is now at June 2019, and Boeing at August.

https://blogs.nasa.gov/commercialcrew/2018/10/04/nasas-comme...
There isn't really a up/down of wireguard, once the interfaces are configured, you just start pumping packets through, it's pretty invisible.
Been following along with the development of Zircon.

https://github.com/fuchsia-mirror/zircon

What is cool is Google does this in the open and you can follow along. See which things have place holders and where the focus moves from day/week/month to day/week/month.

Also developers on iirc and Travis super nice guy.

I am old an worked with internals for decades and this is the most excited I have been about a kernel in a very long time.

Looks to me the layers of Fuchsia are going to also be ala cart.

So Flutter on multiple platforms. Zircon able to be used for a variety of purposes and then in addition the kernel for Fuchsia.
I don't think racists are fundamentally unlovable. Perhaps we just disagree.
What surprises me is that around 2010 Ubuntu seemed perfectly fine, and then they started to throw everything that worked away.
I can’t tell if you mean a schema for the generated RPC or just for data storage. I’m only talking about data storage. But for RPCs, I just think don’t autogenerate them. Just expose an RPC API and let other people write code to consume it in whatever language’s packages for web requests, and don’t ever transmit things that are expected to automatically be treated as any type of object. Just send JSON or an equivalent thing in a more optimized buffer that is never allowed to be anything but a key-value store for primitive types.

On the data side, use relational database systems. Yes, even for huge modern webscale event data for apps or services with hundreds of millions of users. Don’t ever use hadoop, period.

If you’re bigger than hundreds of millions of users or otherwise are generating hundreds of billions of records per day or more, that’s the size when you might _start_ considering something different than sharded and distributed standard RDBMSs, but you are likely big enough at that point that you need an in-house, highly customized version of a distributed file store that matches your usage patterns and cost optimizations in a way that a one-size-fits-all solution cannot, and so again you should never be using hadoop.

As a result, if you find yourself relying on Thrift data serialized on a distribted filesystem as if those “flat files” are a database and map-reduce is like your de facto table scanner, it’s a red alarm bad code smell that you are growing your data scale in a horribly broken way that’s going to cause huge problems the minute you have products which need a data model or some flexibility that cannot be supported when you’ve welded data infrastructure to Thrift objects.
Practical Binary Analysis
If the OIN patent agreemnent doesn't allow licensing patents to downstream users (Apache or GPLv3 style) then it would be completely useless wouldn't it? RedHat's users could still be sued even though RedHat is a member of the OIN.
I bought some houseplants a bit back and it's been fascinating to see how quickly they grow. The vast majority of that new mass literally comes from thin air.
I may have heard wrong, but wasn't the purpose of the two astronauts to (among other things) investigate the hole?
Yes. I recommend "Illiberal Reformers: Race, Eugenics, and American Economics in the Progressive Era". An eye opening view about the "Progressives" who are so loved and idolized by the modern left or modern progressives.
Node.js Content Management Framework
Ok, we're clearly on totally different pages, so let me take another try at this.

> fight something that clearly scales

My point was actually to refute the implied point that something that relies on manual labor doesn't scale. Industrial logging has got nothing on all those centuries of busy little humans. Deforestation scaled without tech. The Vikings had little but axes to deforest Iceland, just time. It's been the same everywhere people have gone, no matter what century or what tech they had available: cut down the trees faster than they can grow back. You can see it everywhere from North America to Easter Island to New Zealand. Same story. Over and over. Nowadays, a lot of deforestation in Africa is literally slash and burn: machetes and fire. We have to stop deforestation, clearly, because it is easier than reforestation.

Reforestation is going to take time, no two ways about it.

> Thinking it somehow magically will happen now is IMO foolish

This is exactly my point. Sitting behind a keyboard and dreaming about billions of trees being planted by drones is the magical thinking. No matter how close you think these drones are to reality, this just simply does not exist, no one is funding this, and no one is building or running this. On the contrary, going out and planting a tree is literally something that you can do today, and people do by the thousands and millions every year. At a time when we need to actually do something, the loudest voices are techno-utopians who are literally telling people to sit down, the drones will take care of it.

> Standing in the way of technology is exactly what will kill us

This is why we are completely different pages. Technology is manifestly what is killing us, from global CO2 to enabling deforestation to overfishing to pesticides. Technology is prima facie the reason this planet is threatened by our existence. Technology is what has allowed humans to multiply from ~1.5 billion people in 1900 to 7.5 billion today and reach into every corner of the planet to exploit every kind of resource that happens to be profitable in the global economy.

And when someone points this out, well, bring on the downvotes.

Tech is like violence. If it's not working, you just need to use more. I know people don't want to process this, but this is where we are. Catastrophic overshoot. And the loudest voices are calling for more tech and more scaling. God forbid someone suggest manual labor, working with our hands, and thinking seriously about how we've seriously, seriously fucked up.
Why are you surprised by the container system ?
About induction on the Calculus of Constructions
CSE and ECE students in troubles? Be Brave  you are all blessed
Agreed. An ex Java guy I was working with asked me how yo do a singleton in Python. I had to google it because I had never thought of the problem before. As the answer said a module with functions is essentially a singleton. No need to overcomplicate things.
The ultimate war in misted battlefields (trumpet sound):

Fancy polymer made of delicious sugar!!!...

... against lichens and bacteria from the badass planet earth!!!.

Guess who of both will release chemicals, distroy their opponent and feed on their guts after being trained for millions of years in extreme survival (colonizing lava fields and sun scorched areas)?