skysight-inc/HackerNews huggingface dataset:
Not really worth it on our build since compilation is not that slow. In my experience, you get the biggest time savings from optimizing the process of gathering dependencies and making tests and deployments faster.

With other languages that build dependencies from source, doing that in a separate docker build step would probably be a good idea so you can cache the results as a separate docker layer.
That I agree with. It's an environmental disaster, but the true causes and scope are completely drowned under the bullshit reporting comparing it to Notre Dame (Q: why there aren't millionaires donating money to firefighting? A: because it's not an uncontrolled fire, but purposeful action) or talking about "lungs of Earth" and running out of oxygen.

The true story is about whether sovereignty of Brazil should be violated to protect the rainforest.
I should do an asciicinema thing, I guess. Point is, I can search for assignments to any one function-typed fieldname of a struct and find all the functions that are reachable through instances of that struct.
Stroustrup C++ 'interview' [1]

[1] https://www-users.cs.york.ac.uk/susan/joke/cpp.htm
PyTorch 1.2 Quickstart with Google Colab
Exactly. I'm sure somebody wanted it at some point somewhere, but now it's on every system. No wonder people keep starting new minimal Linux distros.
Gauge: Open-source, cross-platform test automation tool by ThoughtWorks
UPDATE: our extension was restored in the WebStore after some letters, publications and discussions.
Well, that's not the cost of using Linux. It's one possible cost. I haven't ever done either because I use the primary selection (select is automatically copied, middle click dumps it at the pointer).

And when I can't or don't want to do that, I right click and choose Copy.

If I want to use another operating system - Windows or MacOS, it drives me batty that I have to keep going around copy pasting things.

I tend to agree with you that having a difference between Ctrl and Command is nice. But it doesn't actually solve the problem - it works _because_ MacOS is a minority, the last holdout.

In your web browser, Cmd-A will select all the available text but Ctrl-A will move your cursor to the start of the line. In your terminal, perhaps Cmd-A will select all the visible text but Ctrl-A will increment the number under the pointer (since you're running VIM in it).

If the Meta key hadn't died of death and Linux developers had kept expecting it to be around, there could also be clashes between Cmd and Meta.
Same here in NL. An entire generation is growing up with the idea that saving doesn't earn you anything. Borrow borrow borrow is the credo.

Our entire housing market is fucked thanks to the ECB, pension funds are cutting pensions because bonds literally don't give you a return anymore. All assets worldwide have been pumped into record heights.

All this so governments in southern Europe don't drown in their own debt.

If only the countries joining the Euro had agreed to keep deficits and debts below a certain level....
Sparrow – WooCommerce Product Reviews
I have been working on a SaaS for e-commerce platforms (https://getsparorw.io) for some time. Ideal goal is to build a complete e-commerce marketing platform with email marketing automation, ads, UGC, etc.

I have launched it in beta MVP with product reviews for Woocommerce. Would like to know your thoughts on this. If you want to be a part of the beta program, let me know.
It is fascinating that Li was fired for his groundbreaking work on chemotherapy which have now saved millions of lives. He is still not awarded any major prize!
bruh have you seen the home page

http://apollo.backplane.com
Note that since the last version of QEMU (4.1, released a few days ago) slirp has been moved out into a separate library hosted at https://gitlab.freedesktop.org/slirp/libslirp.

There is interest in using it in container runtimes as well, and hopefully this will give slirp more love. It's very old code that most QEMU developers wouldn't have touched with a ten-foot pole...
The data for Spacebook, like almost all public satellite position data, comes from tracking radars run by the US Air Force. They have a public website and database with API at https://space-track.org.

I've been working on my own website using the space-track.org API to show you when/where/how to see satellites in the sky with your naked eyes from your own backyard. Hopefully launching soon.
Can we link to the CCC page instead? It has the video along with additional resources: https://media.ccc.de/v/35c3-9941-how_facebook_tracks_you_on_...
Detonating a modern thermonuclear bomb above ocean shouldn't pose much risk in terms of fallout - the kind that we're usually worried about arises from detonations over or on the ground.
Which is actually why emergency numbers were chosen to have 9's in them. 911 in the US, 999 in the UK. Slower to dial and connect, but far less likely to accidentally call via poor wiring or line noise. 0 was often already in use for connecting to the operator in the exchange, so 9 was used.

During the 80s or 90s when premium rate chatlines were a new thing, there was a fairly popular urban myth going round: that you could call them free by tapping out the number on the cradle. Course all you're doing is pulse dialling the hard way. You would still be getting the very expensive phone bill. :)
Show HN: Kafka FDW for PostgreSQL
Not even Skylake. Sandy Bridge was the last major improvement to their microarchitectures, and that was in 2011.

People blame this on complacency (and there was definitely some of that, as internal reports have revealed) but it also has to do with their inability to execute on their 10nm process and the fact that they've got everything tied to in-house development; while AMD is able to execute a much more mercenary approach (mixing and matching node processes, sourcing to multiple fabs, utilizing open standards vs baking their own, etc).
The customer won't allow any non-security related changes to the platform. That's the only reason.
I've been writing software for a while now, and "how deep" is tough. In some sense it's just all rabbit holes and yak shaving.

At least for me, the promise of the pomodoro technique is the guarantee that you will take stock of the value of continuing to spelunk or shear, every 25 minutes.
Is that really correct? That's huge latency for something that's in the same package. You can buy discrete SRAM with 70ns latency.
Here here...

This is a hidden thing that seems to always go under the radar.

My Intel i7 4790k has lost at least 40% speed since I originally bought it, and for years, I always thought that Intel machines were getting slower without any actual proof whereas AMD machine I returned to after years just felt as fast as ever.

Now with microcode updates and similar getting more coverage, I'm certain that this is what it is.

AMD's partner program is meh, where as Intel is really partner focused - if anything breaks, I can get a replacement shipped to me in advanced the next day for ~3-5 years (component depending), but I am seeing much more demand for AMD as of late.
Previous discussion: https://news.ycombinator.com/item?id=18788658
>Since the inception of the Euro it's been clear to anyone with an economics education (not me, but this is the impression I've gotten reading commentary from anyone respectable), that Europe has some serious flaws (from a financial perspective) that will take decisive action to fix.

The Euro set limits on how much countries were allowed to borrow and how high their deficits can be.

The only massive flaw it has is the believe that countries could be simply trusted to stick to these rules.
These shouldn't be used either (_s are available in C11, _l tend to be locale-parameter thread-safety, and _r have sizes/state for bounds/thread-safety):

- strtok -> strtok_r / strtok_s

- asctime -> strtok_r / strtok_s

- gmtime -> gmtime_r / gmtime_s

- localtime -> localtime_r / localtime_s

- ctime -> ctime_r / ctime_s

- dirname -> dirname_r

- basename -> basename_r

- devname -> devname_r

- readdir -> readdir_r

- ttyname -> ttyname_r

- gamma -> gamma_r

- lgamma -> lgamma_r

- lgammaf -> lgammaf_r

- lgammal -> lgammal_r

- atoi -> atoi_l

- atof -> atof_l

- atol -> atol_l

- atoll -> atoll_l

- gets -> gets_s

- scanf -> scanf_l / scanf_s

- fscanf -> fscanf_l / fscanf_s

- sscanf -> sscanf_l / sscanf_s

- tmpfile -> tmpfile_s

- fopen -> fopen_s

- getenv -> getenv_s

- strdup -> strndup

- strcmp -> strncmp

- strlen -> strnlen

- (Multibyte/wide conversion functions without mbstate_t parameter)

- wcslen / wscnlen -> wcsnlen_s

- wcsncasecmp / wcscasecmp_l / wcsncasecmp -> wcsncasecmp_l

- strcasecmp / strcasecmp_l / strncasecmp -> strncasecmp_l

- bzero (use explicit_bzero, in some cases)

- calloc, realloc -> reallocarray (for arrays of non-byte items)

- memmove -> memmove_s

- strncat -> strncat_s

- strncpy -> strncpy_s

- srand / rand -> rand_r

There are others that are platform-specific. Thread-safety, internal mutable state (not thread-safe), and buffer-overflows are the primary concerns that aren't necessarily applicable in all situations.
tl;dr: Looks like they are trying to formally encode the notion of "rewrite rule" within type theory itself.

Also a mumbo dumbo here, but I might be able to say something helpful. This is a bit of long post as I am trying to provide some context.

A useful way to think of logic and type systems is simply as rewrite rules on arbitrary strings. In logic we call these strings "theorems" and in type theory we call them "types".

In particular, say we have the logical theorem "a /\ (a -> b)". In classical (propositional) logic this corresponds to "a implies b, and a is true", so we make the (obvious) deduction that "b" is true. In other words, we rewrite "a /\ (a -> b)" with the string "b".

Intuitively, we want to say the above rewrite means the same thing as "(a /\ (a -> b)) -> b". However, the former is a rewrite while the later is just a static string. Thus we are forced to distinguish between the formal "->" character and the rewrite process, despite these naively/intuitively both meaning inference.

A bit of terminology. Classically, we call strings "theorems" and when we rewrite one string for another, we call that a "deduction". So say we have a string "S" and rewrite it as "T", a common way of notating such a deduction is "S => T". Furthermore, the whole system of deductions is what we call our "metalogic" while the collection of theorems produced is our "formal logic".

Anyway, so we have to distinguish between "->" and "=>", which seems a bit unfortunate. There is this standard tool in classical logic called the Deduction Theorem which adds a rule that given "S => T" we can deduce "S -> T". However, the justification for this uses somewhat sophisticated math and, by necessity, it's an argument in some (meta)metalogic. There are other ways of handling this and metalogics that don't have the Deduction Theorem at all. I have even read that Quantum Logic doesn't have such a rule and that adding it in turns the whole system into classical logic!

Now, to finally get to the point, Kei looks like it uses a metalogic it's calling "λ-Calculus Modulo Theory" which ports the Deduction Theorem to type theory, or in particular, the dependently typed λ-calculus. They seem to be calling these new rules Γ-reduction. In other words, it attempts to make general rewrite rules, like β-reduction, first-class citizens by adding types that correspond to said rules.

If I'm understanding correctly, one attractive feature of this is that it "closes the loop," per se, allowing one to encode their λ-Calculus Modulo Theory within itself, which by extension, let's us encode any other λ-calculus as well. Ostensibly, this should allow for maximally compact and expressive types, since you don't have to hack simple metalogical concepts into a less powerful type system.

I only skimmed their paper, but in general one could use their system to model some badly-behaved (i.e. non-confluent) type theories; however, they seem to have a (meta)theorems showing that certain uses of the Γ-reduction give you well-behaved ones.
It's a different use case. There was a nice article[1] about exceptions in plain C with setjmp and longjmp.

[1] http://www.on-time.com/ddj0011.htm
Dell ships à 14" Ryzen office laptop for the last year at least. I'm not saying it's the sexiest thing out there, but it does exist.
Tim Ferriss recently had a podcast with a famous Stanford physics PhD on hypnosis https://tim.blog/2019/08/16/safi-bahcall/
Amiga Mosaic and FTP, also. :)
It was founded by politico people and manipulated Wikipedia articles about them.
This is the only diamond-bearing site accessible to the general public, so this is at least a moderately interesting subject.
It's maybe the latency to bring the whole cache line over.
It looks fine for me on Android Brave.
This seems like a relatively cheap hypothesis to test
I feel the same way about the encyclopedia. When I was a kid, I had to use a book to look things up, and oftentimes I would read a bunch of articles on the way to what I was looking up. The closest you could get today would be hitting the "random" button on wikipedia a few times before reading the article you were looking for.
Trying to learn 'Everything'. And that's a problem. So learning how to manage learning (Not from the famous course)

..Any resources to help me?
I checked into a Casino/Hotel tonight. They had some images and names of people that won about 2500-5000 that day... Should we put up a couple of articles each time someone wins a jackpot at a slot machine?

OH, nevermind, they weren't doing something with a social media platform when they hit the jackpot. Shit post
A Look at Healthchecks.io Hosting Setup, Summer 2019
Single-engine fighters are ok for the Air Force, who fly high over land. Twins are preferred by the Navy and Marines, who either fly over water, or down low and get shot at, or both.

The civil link you provided refers to "light twins" (ie. underpowered and used in GA) used in training and EMS. Not applicable to airliners, which can safely take off on one engine.

Something to think about: all of my former twin instructors have been killed flying light twins.

Four-engine airliners are actually preferred for oceanic routes for safety, but regulators now allow twins (ETOPS), for cost reasons.

Source: commercially-rated airplane pilot.
They’re not so bad with a bit of practice. In the terminal Ctrl-c is still terminate (SIGINT) so to copy something use Ctrl-Shift-c

Same for paste and cut, use Ctrl-Shift-v or Ctrl-Shift-x.

What I like is that Gnome now provides me with shortcuts for moving windows about that macOS doesn’t. Eg half full screen on the left windowkey-left.
I like the title. It's a quick way to convey her approximate experience level.
What threshold of proof are you expecting?
> anything valuable on the host is perfectly well accessible to QEMU

In a well configured KVM instance QEMU obeys the principle of least privilege as much as possible, that is it can only access the resources it needs to do its job.

In practical terms, this means QEMU is confined (via SELinux, cgroups, Unix permissions, seccomp) to only access resources for the VM it is running; taking over QEMU does not give you access to "anything valuable on the host".

Of course, having remote code execution in QEMU is awful; it can be a base for exploiting a kernel vulnerability to get root access. Luckily this bug would not be exploitable in a production setting.
Axios is absolutely reputable.

And is it really inconceivable to think Trump would ask this ?
perhaps https://www.nytimes.com/interactive/2019/08/24/world/america...
Has chrome performance with wasm improved lately ? Last time I checked it was way slower than Firefox.
How will you be recruited as a Data Scientist?
I think the intersection of conigurations where QEMU is using the SLiRP networking and where it's carefully configured to use the (non-default) sandboxing is pretty small. The sandboxing configs are typically associated with use of libvirt where you'll probably be using tun/tap or some other non-slirp kind of networking.
>As for Jimmy Carter I agree and I have to wonder: why is it that intelligence seems to be strongly inversely coorelated with effectiveness as a president? Jimmy Carter was wildly intelligent and a really nice guy, but couldn't get anything done. Donald Trump is mentally challenged and kind of a prick, yet he seems to be getting heaps of accomplishments under his belt (not all good ones, but largely so). Is it quantity vs quality? Or paralysis of analysis? There is no definitive answer as these are judgement calls, but I think this is fertile ground for aspiring entrepreneurs to try and grok.

Paul Johnson discusses this in his chapter in Heroes about Reagan, Thatcher, and John Paul II. He has concluded that politicians succeed when they focus on three or four simple ideas. Reagan was very different from Thatcher—he was, according to Johnson (a personal friend of both, mind you), ignorant and poorly educated, while she was an Oxford-educated chemist with a law degree—but they both focused on straightforward goals, reducing government's reach and fighting Soviet Communism being two they shared. They worked very well together, too.

Trump's list seems to include

* China

* Illegal aliens

* North Korea

* US manufacturing
What if you use multiple trees together? A system of L-systems surely allows for more complexity?

EDIT: Might even lead to interesting "composite materials" if you can get different wood types to (semi)fuse together naturally.
Error message phrasing is really very important, but it’s probably better to have that refined in code review or to have some explicit step for it.
Valid problem, thanks for mentioning it.

Curious, to know how good are these scheduling apps for the same ? https://doodle.com or https://calendly.com/
Stackoverflow ads maybe? What about through networks?
Well it is easy to find time to add gold-plating to a small basically useless service, but those guys are probably swamped or try to cut cost by being agile or something.
RFC 1178 answers this:

However, let me
add that if you later decide to change a name (to something
sensible like you should have chosen in the first place), you
are going to be amazed at the amount of pain awaiting you. No
matter how easy the manuals suggest it is to change a name, you
will find that lots of obscure software has rapidly accumulated
which refers to that computer using that now-ugly name. It all
has to be found and changed. People mailing to you from other
sites have to be told. And you will have to remember that
names on old backup media labels correspond to different names.
I am in no position to evaluate this article, but I found it interesting that it exists more so than the specifics, especially since it was a conservative source: https://www.theamericanconservative.com/articles/americas-mo...

They look at the military angle specifically ("Wall Street's short-term incentives have decimated our defense industrial base and undermined our national security.") but it's wider than that.

Example quotes:

> ...in the last 20 years, every single American producer of key telecommunication equipment sectors is gone. Today, only two European makers—Ericsson and Nokia—are left to compete with Huawei and another Chinese competitor, ZTE.

> ...public policies focused on finance instead of production, the United States increasingly cannot produce or maintain vital systems upon which our economy, our military, and our allies rely.

As for chip production capacity, "N. America" (is there anything in Canada or is this just "U.S."?), it's just 12.8% of worldwide capacity and 3/4 of capacity is in Asia: https://anysilicon.com/semiconductor-wafer-capacity-per-regi...

The idea of globalization was that where production is located does not matter, market "magic" somehow makes it irrelevant. I don't see how it does not matter when the imbalance becomes as extreme as it is nowadays. "Finance" is not an industry (if anyone wants to argue with me about the definition of that word I refer to https://www.lesswrong.com/posts/7X2j8HAkWdmMoS8PE/disputing-... -- you know what I mean).
S.C.A.M.P.E.R
Worked IT in the college I went to. One of the more permanent members told me that if you plugged a fresh XP install it'd be fucked in about 30 minutes. MS apparently came to campus to look at some of the stuff coming in.

When I stopped working there, they were still assigning everything an ipv4 address, no firewall. Great for running game servers in dorms, not as great for getting your printer hacked.
All disk galaxies rotate 1 per billion years, regardless of size
I think OP is talking nm, not inches. ;)
TLDR: If you don't care about USB-C charging I'd suggest a Librem. Otherwise, I'd go with the new X1 Carbon.

I initially switched from an MBP to an XPS13. Pretty good, but I wasn't super super happy with it, nothing wrong in particular, but it felt a bit plastic-y.
Then bought a Lenovo X1C6 as soon as it was announced last year and I'm very happy with it: super solid and no issues with any component.

I also bought a Librem 13 because I wanted a free laptop and because why I love the X1C6 as a machine, I'm not willing to trust Lenovo 100% as far as ethics go. The Librem is a beautiful machine and works really well, however I'm not willing to use it as my main driver because it doesn't have USB-C charging. As soon as they'll release a model with USB-C charging, I'll get it and switch to it.
Related trivia: New Zealand rotary dialers had the numbers in ascending order, that is zero was in the rest position and nine nearest to the turning stop. The pulse encoder was therefore "ten minus digit", i.e. one pulse when dialling nine, ten when dialling zero [1] - a thread with some crusty old PT&T engineers argues whether this arose to avoid patent/licensing issues or just as a mistake [2]

So the emergency number was 111 rather than 999 on the same basis of reducing accidental use, not just from line noise but especially from having the finger slip out partway through the turn of the dial (even with international dialling there was no reason anyone would attempt a number starting with three zeros)

[1] https://en.wikipedia.org/wiki/Rotary_dial#/media/File:New_Ze...

[2] https://www.geekzone.co.nz/forums.asp?topicid=171168
From https://www.bbc.com/news/world-latin-america-49415973:

> Meanwhile, US space agency Nasa said that overall fire activity in the Amazon basin was slightly below average this year.

> The agency said that while activity had increased in Amazonas and Rondonia, it had decreased in the states of Mato Grosso and Pará.

Also this chart:

https://twitter.com/valmasdel/status/1165295012709634048

EDIT:

The link from 'mikedilger in a parallel reply is even better. It seems that if you include data from previous decade, and not just since 2012, then current fires are nothing special.
Why? Most people, and most politicians stop science as soon as they're allowed - so don't get past a high school level.

If you have no concept of the physics and energy differentials between the two, it seems a reasonable question - nukes are powerful and destructive, hurricanes are powerful and destructive. Why not destroy one with the other?

All that matters is any politician asking the question has an adviser or researcher able to explain why it's a poor idea...
Snuba: Automating weak supervision to label training data
I know that porn is pretty normalised by western culture, and I’m not reply anti porn myself, but if you can’t see how another adult might find porn references in their work inappropriate then I don’t know what to tell you.
Effective Kotlin
The indies were the additions to the Apple ecosystem. There quite of ideas, group of people's requests that enterprises does not care about.

Apple should communicate with developer on what wrong with these apps, how to fix it. Instead of just arbitrarily terminated the account that does not help for both developers and Apple itself.
Non tech: Spanish

Tech: Python (I am not a programmer by trade today)

Generally just hooked on self development books, I blame Tim Ferriss.