skysight-inc/HackerNews huggingface dataset:
Equivalent doesn't seem right but the idea is that they are down information that the government tells them to. The difference is just the government rationale for having it taken down (which clearly hugely important).

I was curious about it and my interpretation of the official company stance is they they can either do their best to give the Chinese what the best search they can or not try to give them any help at all.
> MO the big GC related issue is lack of determinism especially in the management of external resources.

This isn't a property of GCs per se; it's just that most GCs are optimized for throughput. Go's GC's pause times are on the order of 1ms, which might not be appropriate for every application, but it's probably fine for soft-realtime systems. There are a lot of other levers one could imagine as well, like semantics for demarcating critical sections.
Been a customer of yours for ten years. No BS. Just works.
Rent control is much less of a thing in NYC than it is in SF. There are only 27k rent controlled apartments in all of NYC (with its >8M population). More info here: https://www1.nyc.gov/site/rentguidelinesboard/resources/rent...

There are plenty of rent stabilized apartments in NYC, but that's a much different and weaker thing, and isn't comparable to rent control in SF.
Eh? This comment makes no sense. Wesley Chan is American, dude. He’s amazed at what people are doing in China. If anything he’s bringing the cultural habits of a 9-5 job from the US to China and being surprised by it, hence ‘we’ and not ‘they are lazy in the US’.
I did RTA and I understand the reasoning. I just disagreed in this case because although the HN title was one of his main points, that wasn't the main point and the article wasn't structured around it.

If that had been the title and the main point, he'd be emphasizing a lot more than the great cheap HF gear that's now available. (There's a lot more that's really awesome in AR than what you can do with basic HF gear.)
I would say "no cost".

On the hosting service I use, you can rent an IPv6 only host and you pay less. Why would you pay for an IPv4 address if you don't need it ?
> It should be really, really simple and for small-to-medium scale usage (in terms of number of data points stored).

To me those tiers are more like tiny-to-small scale :)

The problem with these small numbers is that it's trivial to put them into really any DB that you can think of. Even SQLite will handle this amount of data with super ease. I can only see people who know nothing about databases using this service. Or someone who for some reason can't use a DB. 1000 datapoints is at tops maybe 100 kilobytes of data if one uses a very unoptimized format and can easily be less than a kilobyte if done properly. At a million datapoints (your highest tier) we're talking about 1 Megabyte to maybe 100 Megabyte (again, if done very poorly). It's really a trivial amount of data. A standard Postgres or MySQL DB will be able to run queries over this dataset in less than a second and that's using something that's totally not optimized for time series.

> It's an interesting idea to charge business users for usage instead of forcing them into a tier. The only issue is that you'll then have to provide them with detailed information on their usage, meaning a bit of work making sure things are logged properly

But you already need to log their usage to know if they fall into whatever tiers limits. And you can store this info in... a time series DB :)
It's not what you meant, but "moments"[0] is pretty a pretty long time in this circumstance.

[0]https://en.wikipedia.org/wiki/Moment_(time)
And here's a JSON of their IP blocks:

https://ip-ranges.amazonaws.com/ip-ranges.json
Why is literalism becoming such a thing? I would think that with the advance of AI we would want to hold our edge and embrace our fuzzier linguistics.
If it comes at the cost of forcing myself to work 24/7, or even worse, making other work ridiculous hours at the cost of their health then yeah - no money for me.

One round through the startup/VC/IPO/acquisition world was enough for me - I like building stuff too much.
"Technology can solve humanity's problems, we simply choose to wield it in a manner where it does not."
FAA Issues Emergency Airworthiness Directive Against Boeing 737 Max 8
The Free Music Archive is closing this month
> Also, never have a family

People, Americans particularly, overestimate the space a human being needs to thrive. I know several families who are healthy and happy in two- and three-bedroom apartments. They pay reasonable rents uptown or a forty minute subway ride out of Manhattan in Jersey or Queens. That’s much better than almost any metropolis, where sprawl makes the density gradient gentler and thus commute times between cost zones longer.
I just hit "Send to..." in Firefox and send it to a different device than what I am currently using. If I'm using my tablet, I send it to the desktop. If I'm using my desktop, I send it to my tablet.

Eventually many things get tagged in Zotero anyhow.
I am not an expert on microchips but looking at Apple's A12 vs Intel chips in terms of power and energy usage. Wouldn't the industry really benefit moving away from X86 architecture to something else in terms of reducing power consumption? These savings could be passed to users of cloud providers.
The GPL wouldn't have relicensed the entire source tree of the car. Arguing it would doesn't make sense -- we know of many cases where similar things have happened and nobody released the source of entire products as a result. Derivative works in copyright are a very specific concept, and it's generally agreed that using the CLI interface of a program doesn't constitute a derivative work.
Also means that the abstractions themselves don't introduce unnecessary overhead. It's taken from C++.

C++ implementations obey the zero-overhead principle: What you don’t use, you don’t pay for [Stroustrup, 1994]. And further: What you do use, you couldn’t hand code any better.
– Stroustrup

https://blog.rust-lang.org/2015/05/11/traits.html
What's the conclusion? Seems to me like it could be that it's near the end of the work day for most casual HN readers and they're cranky (low blood sugar from a standard American diet) so they downvote whatever they see?
My fear is the scenario is all too sustainable. North Korea is at the third generation of Kim's and its political pyramid appears to be quite stable.
I'd prefer 6am to 6pm 6 days a week.
He is both implying that "Technology" === Google, and that Google shouldn't be held accountable for any human problems.
Sounds awesome. If I was single and 25 I'd be all for it. Being 38, married with 3 kids means my lifestyle preferences are a little different.
Using iPS cells to model heart conditions in a dish
Why celebrate anything? Nobody's hands are clean. Do you leave similar comments on stories about US companies?
Feel like most of the top talent was already swept up by Deere , Hy-vee and a couple of the insurance places in Des Moines anyways.
Exclusive ownership is only half of Rust's ownership story. The other half is borrows. Borrows actually fit very well with concurrency.

For example, if you have some data structure synchronized with a mutex, the mutex would be the owner of that data structure. Everything else would just get borrowed access to the data structure when it locks the mutex. Rust's borrow checker can make sure that you don't keep any references to that data structure after you have released the mutex so you can't access the data structure again without locking the mutex again. The mutex itself would need unsafe code, but everything using the mutex wouldn't.
They also previously bought half(?) of MIT's /8.
Combating Flaky Builds
AMZN has reported $6.15 billion of profits over the past year. [1]

AAPL has reported $185 billion of profits over the past year (30x that of AMZN). [2]

AMZN has an $865 billion market cap and AAPL has a $980 billion market cap.

[1] https://finance.yahoo.com/quote/AMZN/financials?p=AMZN

[2] https://finance.yahoo.com/quote/AAPL/financials?p=AAPL
Should Vaccines Be Required by Law?
Startup Sales – How to Get Pilot Customers to Pay
the first section on that page shows what the op was saying, to use the name column first and timestamp last
And they all suck in various (usually non-obvious) ways.
I'm not sure what My First Reader is but perhaps O'Reilly's cookbook series would fit what you're looking for?

They also have another sub-imprint, whose name is slipping my mind right now, focused on teaching technical topics very visually. The general layout of those books is very illustrated compared to typical technical books.
Libertarian; I think that word doesn't mean what you think it means...

There are many problems with cryptocurrencies in general, and "stablecoins" in particular, but this illuminates none of them.

One problem is that the word "stable" in stablecoin conflates two separate concepts; the value-stability of the underlying reference commodity basket, and the stability of the units of the currency vs. the defined commodity basket. These are separate concerns with separate feedback/control loops, and any "stablecoin" that doesn't reflect that is doomed to failure. Users who expect value-stability of the commodity basket in terms of other value references will be especially disappointed; no "stablecoin" I am aware of claims to deliver that.

I'm also pretty sure that "libertarians" don't expect others to magically give them such things.
I love interesting representations of binary data, base 58 included, but this article is so scant on details. I'm sure someone could even add a brief overview of the algorithm and samples and it's limitations and idiosyncrasies, such as how it handles things like padding etc.
How about "man eating lion eating man eating lion eating man ...".

It should probably be "man-eating lion" for the lion that eats a man, but that spoils it.
How to find distances between lat/lons for geochecking
Serverless Webhooks Made Easy with Stackery
Retailers inflate prices leading up to Black Friday to overstate discounts
Those stats about NYC are, quite frankly, incorrect. I have no idea where they got that garbage data from, but it's garbage. Housing stock was massively added to over the past year and the market has actually gotten friendlier to renters, with many buildings offering one month free rent to entice renters.

You can see some more accurate stats here: https://ny.curbed.com/2018/1/24/16925172/nyc-rent-2017-decre...
Making memories: a time capsule project for all of mankind
Why does it matter what it was originally? We're talking about what the product is today, not 20 years ago.

kdb+ supports a superset of SQL and relational algebra, so it's a relational database. How it's implemented doesn't matter if it provide the functionality, which it can.
Americans put in long hours but they don’t work hard. Most of it is posturing and staying in the office longer than your boss even if you spend half the time chatting away on slack.

Some work hard of course. Nobody puts in ling hard hours.

You can either work hard or work long. They are mutually exclusive. Such is life.

You put in the type of work your boss appreciates.

That said: you can always squeeze in another email or another meeting. Manager mode thrives under long hours.

Try to squeeze in another hour of creating and you just spend 2 hours fixing it tomorrow.
Well, since you started, it's not 1.5Gb, but 1.5GB :)
if they use the curl binary so they have to disclose their source code? i could see using libcurl triggering the clause...but the cli tool?? i must misunderstand gpl :(
While 12 is not a power of two, it is the sum of two powers of two (4 and 8).

A number of workstations that I have designed has used 2 sticks of 4GB RAM, and 2 sticks of 2GB RAM. This has saved money at little to no cost to performance.

Perhaps Micron is doing something similar here?
I can't speak about the United States, but whenever Saudi Arabia is brought up, Hacker News response is to drown out all other conversation, by referring to Saudi blood money.

Likewise, any time China is mentioned, a dozen people will chime in about freedom of speech, the Uyghurs, the great firewall, espionage, etc.

Mentioning that Israel is a brutal apartheid state is not any more off-topic. Mind you, the gp post goes a bit past mentioning that.
Amazon rank up there just behind Google and Facebook in the list of companies i don't want harvesting any more data from me.
Capitalism ironically. X money is never enough.
This is interesting - implications is that VC's may have to work 996 too to keep up :)

> While Silicon Valley start-ups raise funding every 18 to 24 months on average, the group was told that the most successful Chinese companies do it every six months. It isn’t unusual for a hot start-up to raise funding three to four times a year

edit changed 669 to 996 :)
I doubt all of London is urban. There might be an absurdly expensive neighborhood that isn't.

The line is blurry. Factors include a high portion of people who are dependent on landlords and public transportation, the mixing of residential with non-residential, and of course density.

It certainly is possible to have a cul-de-sac that is urban.
Maybe just to elaborate: In contrast to rust, C++ is a standard defined language, with >3 mature and competitive implementations, two of which (clang / microsofts compiler) provide excellent tooling and support for refactoring (clang in particular) beyond any other language in existence (maybe except Java). Instead of looking at cppreference.com, maybe consider browsing https://github.com/isocpp/CppCoreGuidelines/blob/master/CppC... the Cpp Core Guidelines, this outlines a forward looking vision of how good c++ code should look like.

A lot of the static guarantees that rust provides can be modelled in C++ as well, see for example "https://clang.llvm.org/extra/clang-tidy/checks/cppcoreguidel.... Eventually someone will write a rust-style borrow checker as a clang analysis pass. Already now it is possible to express a lot of
compile time properties cleanly in c++, with features such as constexpr lambdas, static_assert etc. Additional features such as Concepts / meta-classes / modules will improve C++ expressivity even further.

In short, yes C++ has a lot of stuff and everyone knows that it is hard to get a grip on all its features and misfeatures. But there has been a continuous effort to rectify and improve on its short comings. See for example https://clang.llvm.org/extra/clang-tidy/checks/list.html for a list of clang based code transformations that are able to automatically improve your c++ code.

The way I see it, just because of legacy reasons (I can interface with the majority of commercial software developed in the last 30 years (CAD, EDA software, Houdini, Abelton, ...)), tooling reasons (the rust compiler is a slow hot mess, compared to the state of the art c++ compilers) and momentum (there is a large incentive to continuously improve c++, because it is the foundation of a large fraction of commercial software out there) it is unlikely that rust will outcompete c++ in a significant way in the long run.

To close of with an example the lean theorem prover https://github.com/leanprover/lean, implemented in C++ handily beats the 20+ year old Coq prover. One of its key features is multicore support. If you look into its implementation details, the equivalent rust code would have to work around a lot of rust "safety" features, essentially because in many cases it is hard to convince a hardcoded heuristic like a borrow checker that whatever you are doing is safe. The static guarantees that rust gives wouldn't help you at all in correctly implementing some of the very involved algorithms a theorem prover kernel has to implement, while standing in the way of the implementation being straightforward. This leaves aside the obvious tooling (you can use Visual Studio, good profilers and debuggers) and integration (SAT checkers like Z3, LLVM backend) advantages.
His point was refuted long ago by Kurzweil who observed that only with the aid of computers can humans improve on current computing.
Microsoft Demands Digital Peace
It’s not unreasonable though. For every x watts of server you need y watts of cooling.

Years ago Google complained that they couldn’t fill up their data centers because they had hit the limits of electrical code. Servers plus A/C took them into no man’s land as far as electrical code was concerned. That also means wasted real estate.
Why We Need Utopian Fiction Now More Than Ever
This sounds very interesting, do you have some code (parts) to share?
Uk permanent residency
"None of your neurons know who you are, nor do they care." Daniel Dennett
I'm sure they've been out hounding the owners for quite some time :)
The IANA was responsible for assigning IP addresses back then. It was basically one dude, Jon Postel( https://en.wikipedia.org/wiki/Jon_Postel ), until it was formalized as an organization in 1988.
Maybe just because it’s hard.
The most interesting takeaway?

I got offers I didn't expect at all and many of the ones I fully expected never materialized. It was random!

The moral of the story? Don't take it personally. It has little to do with you! Once you have enough skill to "roll the dice", you just have to roll until your number comes up.
I did this too. I was advised estimated time to resolve if successful is forty days and dependent on the other party agreeing they’ve made a mistake.
We need to be more efficient to beat them, there are not other ways.
Personally, while I don't downvote for disagreement, I definitely will downvote (what I perceive as) disingenuous questions — There's more productive ways to express an opinion.
I wasn't implying it was IPv4 only, I was merely teasingly repeating rumors that a lot of low level infrastructure still has IPv4 assumptions that Amazon has had enough IPv4 addresses to date that they don't need fix those underlying assumptions in their data centers. It's mostly dumb rumor mongering, I suppose, as I'm not sure I have a citation for that off hand other than other HN jabs at Amazon/AWS. I'm sorry for that, it was an unnecessary jab/tease, that I will blame on pre-coffee brain.
Ford Buying San Francisco-Area E-Scooter Startup Spin
Hah, true. I completely forgot about it being called Firebird in between.
I agree. But if you’re a Google employee, you and your offspring are in the social class that can afford to move wherever makes sense.
I can't comment too much on how to interpret this, but I recently read a paper that includes estimates of heritability for Generalized Anxiety Disorder and Panic Disorder and Phobias.

http://www18.homepage.villanova.edu/diego.fernandezduque/Tea....
It's just capitalists pushing their agenda and propaganda in pursuit of "more".
This attitude of "tech for tech's sake" at the cost of everything human is so absurd on its face that I have a hard time believing that even these SV-bubble VC's truly believe it. But apparently they do. This is why people hate Silicon Valley and everything tech nowadays.

Historically, technology -- even when it has caused massive disruptions -- has generally enhanced people's lives by freeing them from a harsh constraint imposed by nature. If you have a refrigerator and a microwave, you don't have to worry so much about gathering food and spending all day cooking. If you have birth control, you don't have to worry about choosing between your sex life and your future.

Much of what Silicon Valley has produced in the past 10 years is software and platforms that 1) actually appeal to base, primitive instincts via advertising and 2) directly reduce human liberty by constraining privacy.

We need technology that has a purpose. It seems like the EU is the only governing body that actually understands this.
Marketing led design processes don't solve humanity's problems particularly well.

For anyone who would like ideas on how to get technology to do a better job of following needs, I'd strongly recommend the book 'Design For The Real World' by Victor Papeneck - https://www.goodreads.com/book/show/190560.Design_for_the_Re...
As you grow older, you'd better switch to Matias Alps Quiet Click and Cherry MX Red or even Cherry MX Speed Silver.
Is this type of RAM still having rowhammer memory corruption effects?
FWIW in the limited time I've been using Prolog that pattern has worked fine for me.

A factor to consider: Prolog is old. It's very unlikely to encounter some problem or issue that ahs not already been addressed, often by a team of researchers.

For example, when I was exploring Prolog I tried a simple transformation on syllogisms.

I found some code online that had them in this form:

syll(all(M,P), all(S,M), all(S,P)).
% This is barbara in the 1st figure.

syll(no(M,P), all(S,M), no(S,P)).
% This is celarent in the 1st figure.

Etc... I transformed them using term_expansion/2 [1] with this rule:

term_expansion(syll(A, B, C), (C :- B, A)).

To generate rules like these:

all(A, C) :- all(A, B), all(B, C).

no(A, B) :- all(A, C), no(B, C).

Etc... However, these rules (plus a few facts:

all(dogs, canines).
all(canines, mammals).

) led to huge open-ended search.

?- all(A, B).
ERROR: Out of local stack

It turns out I can just use call_with_depth_limit/3 [2] to bound the search depth:

?- call_with_depth_limit(all(A, B), 10, R).

A = dogs,
B = mammals,
R = 11 ;

A = dogs,
B = canines,
R = 11 ;

A = canines,
B = mammals,
R = 1.

It finds some solutions. Not all Prologs have call_with_depth_limit/3 built-in but it's easy to write a meta-interpreter that does the same thing.[3]

From the POV of security, the trick I want to explore is writing Prolog code to generate provably-correct machine code.

[1] http://www.swi-prolog.org/pldoc/doc_for?object=term_expansio...

[2] http://www.swi-prolog.org/pldoc/doc_for?object=call_with_dep...

[3] https://en.wikipedia.org/wiki/Iterative_deepening_depth-firs...
Hey, I use curl too in my apps!

Programming level: tesla
I've read it in old english only for a grade eight class, badly taught; and I can assure you that was an even worse idea.
Merely translating the interface is not the main problem IMO. Word of mouth, TV, newspaper, youtube channels and other "influencers"... Everything more or less stops at the border. There are also significant cultural differences that might make it difficult to make your product appealing to the whole market.

In the US if you get the hype going about your startup, get mentioned by a few high-profile newspapers, news programs and Instagram celebs you can ramp up pretty quickly. In Europe your brand can be mainstream enough that it becomes a common name in Italy while at the same time nobody ever heard of you in Germany.

Ever heard of Skyblog? I remember that in the early 2000's it was basically French Myspace. It was spawned by a French radio but became super popular on its own, all the French teens back then had a "Skyblog" (and an MSN messenger account). How many non-francophone Europeans have heard of a Skyblog? Not many I'd wager. Actually I doubt that even today's French teenagers know what a Skyblog is, they're using Instagram and whatever else while Skyblog is joining the Minitel as a footnote in the history of the French internet.