skysight-inc/HackerNews huggingface dataset:
I've had this happen after landing due to a medical emergency. Please remain seated so that the medical personnel can get to the patient. This after a high speed decent with speed brakes on the whole way down. And still, everyone stands up. We weren't even at the gate, they had brought stairs to the back of the plane along with the emergency vehicle(s).
A watershed moment for protein structure prediction
Perhaps by “fake it” they meant “emulate it” rather than “deceptively produce the appearance of it”.

This would allow one to double check ones actions in order to notice and correct mistakes one made the first time?
The Safari alert doesn't look native and yet it looks polished.

https://imgur.com/rvsjJtO
Is there a reason to not include sqlite's json support in the comparison?
It doesn't matter - it's legal, protected political speech in donation form. There's nothing wrong with having differing opinions about things; you can disagree as much as you like and donate as much as you want to counter it.
side note: but what the hell is hashicorp configuration language (HCL)?

It's apparently the second fastest growing language based on whatever metric the chart is using and I've never heard of it.
Sure. But if you spent some time in "climate debates" (which I do not recommend btw), you'd develop the habit of staying well within a safety margin of 30% for any stated fact (the US, a country of over 100mm people...)
I'd venture 99% of pair coding is done by people who don't know why they're even doing it and set themselves up for failure at the outset ultimately crying sour grapes
They tried it twice, it didn't take off and realistically it never would.

Unless all consoles/pc supported some kind of similar functionality most developers will ignore it because it's just more work for one console that won't actually sell anymore copies.
I don't see that as being very different. Why is him exercising his protected right to political speech in donation form subject to your judgement when it doesn't have any impact on the quality of the software he gives you for free?

Did he say "gay people can't use Firefox"?
I don't think creativity and adherence to social rules lie along the same axis. Strictures can spur and channel creativity. And the absence of strong normative behaviors doesn't coincidence with greater creativity--there are plenty of countries, mostly undeveloped, where people generally do anything they want[1], but there's not much creativity going on.

As the rest of the world industrializes and the deficiencies and costs of our own social fabric are revealed in comparison, Americans seem to increasingly like to distinguish ourselves as "creative". But it's really just a euphemism intended to characterize our differences in a way that permits us to claim that we're "better" at something. Back when the U.S. was a leading industrial power house, when our democratic institutions were unique, there was no need to identify a specific quality like creativity to distinguish ourselves.

[1] I've been in at least one country where the very concept of a line seemed foreign to most of the people, who were within months or years (not even generations) removed from an nomadic lifestyle. This was qualitatively different than in some other countries with aggressive line jockeying and cheating.
I read through this quickly, but I couldn't find any mention of pair programming not being suitable for sensitive and introverted people - especially those that suffer from anxiety and other mental illnesses that can be made worse by the stress of pair programming.

Whilst the article mentions that it "can be hard and stressful" there is still the assumption that most people are more or less the same in terms of mental resilience, that most people would be okay and that everybody should "give it a go". I don't feel that's true at all, and certainly I'm one of those people that would be made ill by an environment of constant forced pair programming _even though_ I manage to hold down a job, appear "fairly normal" from the outside and do pretty well as a mostly solo programmer.
You don't refactor your code? Fix bugs months after development? I suppose you aren't the target audience..
He was forced to resign (the Mozilla board was actually in favor of having him stay on) for having donated to a group supporting an anti-gay-marriage bill 3 years before he became CEO. And, as far as I am aware, not giving any further indication of support in the intervening 3 years.
Sure, the legroom is considerably lacking in economy class. But aside from that (a small price to pay for a trip that would otherwise take days to months, no?) what makes you call being on a flight being like "damn cattle"?

>But on the other hand, when you treat (and pack) your customers like a bunch of damn cattle, don't be surprised when they act like a bunch of damn cattle.
That's not helpful at all it's just a backhanded advertisement for Brave.
Fine. Debate it. Debate creation science while you're at it. However, it's time to figure out ways to mitigate the problem. We have a working hypothesis that has enough evidence on which to act.
Right, now compare the degree of homelessness in uptown Charlotte vs San Diego. There's probably a relationship between how prevalent the homeless are and how the police treat them.
I used to work in the space, assembling the DB table you described in a meaningful way is surprisingly hard to do, because you would need to attach confidence intervals to everything you tag onto that user_id. Reality tends to be complex and often wrong, and there are very few actually good signals. That's what makes Facebook such a powerhouse.

I eventually left that space for personal reasons, but with distance and time I've resolved that I no longer want to touch that space, no matter the startup idea. I would sooner start developing software to block or push noise into those systems. The digital ad/marketing industry is driven by a lot of people who care about anything but the health of our society or the actual consumers.
In most of our Ouroboros deployments (meaning: in the lab) we did just that. We use a raw packet interface (bpf on mac, raw sockets on linux) and send Ouroboros traffic on top of Ethernet.

The fun thing is that when we compared throughput to UDP/IP, Ouroboros is a bit slower for packets below 1460 bytes, because the NIC has something called "Generic Segment Offload (GSO)" which cheats a bit and send UDP traffic as larger chunks over the kernel boundary. We have no such optimization (yet). But when we started sending jumbo frames, Ouroboros was faster than UDP/IP over Ethernet because the GSO wasn't implemented for UDP jumbo frames (not pointing fingers, nobody does that).

And this brings me to another thing. Nitpicking of course. But that is what Ouroboros is about. Picking all the nits we could find. It's one for the connoisseurs.

Ethernet has a minimum frame size that is dictated by Layer 1 and has to do with collision detection and the transmission delay/cable length. For good ol' 10 base-T it's 64 bytes. For GbE the minimum frame size for Ethernet is 512 bytes. Small Ethernet frames under 64 bytes are called runt frames. Ethernet has a length field to allow for padding.

Now the interesting part in the standards. Ethernet frames are padded to 64 bytes. But GbE ethernet frames are not padded to 512 bytes. They use something called carrier extension (and frame bursting, but let's not complicate things too much).

So there is a Layer 1 problem (minimum frame size because of cable length). The original Ethernet "fixed" this with a LENGTH field in Layer 2. While the receiver was reading the correct amount of received bytes, if it was 64, it could mean a padded Ethernet frame. Ethernet II (DIX) made things worse. The Ethernet length field is now interpreted as an EtherType, indicating the Layer 3 protocol. And the layer 3 protocol now has to have a length field to fix the Layer 1 problem. Sigh.

GbE solves it right here, right now. It does carrier extension and reports the correct amount of bytes to layer 2. But it pads to 64 bytes for compatibility.

Ouroboros' protocols have no length field. Read the details on the heartbleed bug if you want to know why this matters.
Cool New Features in Android 10 Q
List of People Who Created a Programming Language
I thought this was an interesting take on the review process from an xoogler:

https://mtlynch.io/why-i-quit-google/
Removing ads from my life is a personal crusade. Psychologically manipulative garbage.
I guess there's just this mentality of "the peace of all with all" instead of "the war of all against all". That's how it feels.
> It's not cherrypicked at all. 1980 is an ideal date to refer to.

Stop with the strawman. My issue wasn't with the date. It obviously was with the nations you chose. You only selected nations who declined relatively to the US, you didn't choose any that grew relative to the US. The definition of cherrypicking data.

> PPP terms are worthless at best and wildly and entirely inaccurate at worst. They barely even qualify as guesses.

What? Do you even know what PPP is? I wonder why HN has so many people who insist on being right even when they are absolutely wrong.

> That's how you get Puerto Rico with a PPP GDP per capita equal to New Zealand and just below Japan in 2018 per the IMF (and far above Portugal; absurd).

What is absurd about a US territory having a higher PPP than new zealand or japan?

> Taiwan has a PPP per capita higher than Austria, Germany, Sweden, Denmark, Australia, Canada. Yeah, sure.

Taiwan is a first world developed "nation"/island. What is so shocking about that? They have some of the largest companies in the world and are amongst the leaders in the semiconductor sector.

> And Russia almost has a PPP per capita as high as Portugal and just a bit below Israel.

Yeah? And?

> That's a small example of what makes PPP laughable.

No. It makes you laughable. You don't understand what it means.

I point out how absurd your cherrypicking of data is and yet you attempt to do it again and even poorly at that because you don't even understand the economic conditions of any of the nations you listed. If PPP is laughable then so is nominal because PPP is pretty much nominal adjusted for cost of living...

Of course you completely ignored my assertion about EU and China vs US. The main point that made your first comment absurd, you conveniently ignored with some nonsense about things you don't even understand.
Trump picks computer scientist to lead National Science Foundation
I kind of like their Minispec HDL - I don't think I've seen it before though I guess it derives from Bluespec. I have always liked Wirth's Lola as well.

Verilog and VHDL are serviceable, but I think there is an advantage to having a simple, friendly syntax without the verbosity and overhead of VHDL.

I also liked how Wirth's course involved running on FPGA hardware. It looks like you might be able to do that in the MIT course as well although I didn't see specific labs for it.
Nice that they've added CSS Module support. I've been using them for my react projects and find them a good solution when you don't need lots of dynamic styling.
@drefno, you sound super-knowledgeable on the subject so I'd love to chat with you to learn from your perspective! Please shoot me a note at ghjobs@onymail.com
> The browser market is as free of a market as you can get.

Given all the UA-sniffing and purposefully sending broken or degraded sites to various browsers going on nowadays (including on Google properties), no, it's not.
There's room for debate, but that doesn't mean there's any actual debate going on. I.e. scientists are free to publish papers showing evidence that climate change isn't happening or not caused by human activity.

Where there isn't room for debate is the claim that there's actually an ongoing debate within the scientific community about the basics of climate change. That's just not true at the moment, and claiming otherwise is mistaken at best, and corporate propaganda at worst.
well... certainly in NC, it's 'assets' (although house/car don't count, but any savings/investments do)
Ahh, I see now. So it is not just Views. It is the wrong kind of Views. The guy basically the kinda guy that kicks puppies and worships Hitler. And anyone who associates with him is as bad or worse for being complicit nay culpable..

And the only thing that is not asked is whether he was good at what he did.

Was he good at what he did apart from being bad bad anti-homosexual?
Phoenix^H^H^H^H^H^H^HFirebird^H^H^H^H^H^H^H^HFirefox.
I think your point is the most important one. This is not "Compensation of Highest paid executive at Mozilla vs Firefox market share" as Eich says. This appears to be a misleading graph of how much one guy has been paid. His salary went way up in 2016, unsurprisingly (shortly after Eich was fired), and Firefox has continued its downward slide from when Eich was there.
Ryanair sadly don't do unaccompanied minors, but for an airline that does (and 5 seems to be the lower bound), and if flying with a partner, I've always wondered if the following would work:

Parent A flies without child on Day 1; Child is given to airline by Parent B on Day 2 and retrieved on the other end by Parent A. Parent B flies without child on Day 3.
Not OP, but for me, it's like having someone stand over my head with a pot, banging it with a spoon incessantly. It utterly destroys my ability to concentrate.

Had a chance to closely observe a session once. Looked through the code later--total garbage.

Apparently it works for some, but you couldn't pay me to do it.

(Also, seems unfair to programmers that can't hear well or need other accommodations.)
CentOS 8.1 (1911) is out
PXE boot it every single time and if it fails it goes on the repair list and some tech looks at it within 90 days and I DGAF about one dead cow.
This example from the article looks like an argument for immutability to me.

interface A {
x: number;
}

let a: A = {x: 3}
let b: {x: number | string} = a;
b.x = "unsound";
let x: number = a.x; // unsound

a.x.toFixed(0); // WTF is it?
Navy says release of files into UFO sightings would 'damage' security
Terrier: An open source tool for analyzing containers and image components
HaptX grabs $12M to build a glove crammed with sensors
On the windows box I'm currently typing, Firefox is eating less than two gigabytes with over seventy-five open tabs.
The only thing that comes to mind is worrying about listening for boarding info and making sure I don't miss it. Once my butt is in a seat, I'm no longer worried about making sure I get onto a plane at the right time.
I think the biggest reason they went with Chromium/Blink is simply because of market share... most users at this point are using Chrome for better or worse, and MS is going with the safest bet in terms of user compatibility for today's web.
Socioeconomic Inequalities in Disability-Free Life Expectancy in Older People
Anyone know of a good, open source, cross-platform video conferencing application?
I guess it's because Xbox had a big hardcore gaming base as oppose to Nintendo, and motion sensing at the level of resolution it is at, is really only capable of casual gameplay. The tech needs to go to the next level, especially in terms of reliability so that hardcore gamers can feel as though they need lots of time to master it.
Take the seat-width served by an isle (if there's only one it's the plane width), round up. This is the 'sparring'.

Disembark all of First class first, as it will have a different sparring and they paid more.

For the remaining rows start with modulus = 0, then 1, then up to (sparring) N - 1. Dequeue those rows in parallel in N waves.
> algebraic data types turn into tagged unions at runtime on Haskell

How does that work? I know next to nothing about the GHC, but in Haskell I would assume some tag is associated with each constructor (probably an integer) for the ADT and that the actual pattern matching gets compiled down to simple comparisons to either that integer or the right function for the more complex cases (pattern matching strings and other values).

TypeScript essentially does that, except that the tags are not going to be optimized by the compiler (they will remain strings if the dev uses them), and the "pattern matching" is just regular conditional checks (if, ternary or switch) with even the exhaustiveness check being done as a manual hack introduced by the dev and checked at compile-time (the else or default case assigning the value to the never type).

As for runtime values, Haskell also needs to validate types when deserializing, although that will be done by the deserialization libraries such as Aeson instead of deserializing and then optionally validating like in TS.
I mean another take on this is that the airlines want the people who paid the extra money to get the benefits they paid for. Pisses me off to have paid for premium seating and then get caught in the general crush.
> They bought it in full for $89,000, so they do not have a mortgage and are debt-free after using the money they got from selling their San Diego home. The equity they earned from that sale funded most of the up-front remodel costs at the temple.

I suppose that says something about California real estate prices.
For context: Between 2014 and February 2019, Curry testified before at least six Republican-led House committees, expressing the idea that the dangers of global warming are overstated and difficult to predict. These testimonies include statements criticizing President Obama’s climate plan, the UN climate action plan, and other policy proposals aimed at reducing carbon dioxide emissions.
Sure! Nailing down a robust security model is a major goal for Redwood. There are currently a few different mechanisms, some already partially built, and others still in the research stage.

For what it's worth, I have a silly side project goal of reimplementing Bitcoin on top of Redwood, just to prove it can provide the same (general) security guarantees. Not sure I'll get around to that any time soon, though :)

Anyway, here's what we do:

1. Users are identified by a public/private keypair (actually using Ethereum's implementation at the moment, just so I could focus on other stuff). All transactions must be signed by the sender, allowing recipients to verify the sender identities.

2. You can place "transaction validators" at any node in your state trees, and any transaction affecting the subtree under the validator will be checked by that validator. Currently, there's a "permissions" validator included that gives a simple way to control writes based on the Ethereum keypair I mentioned above. The current implementation of the permissions validator isn't very well fleshed out yet -- it just lets you specify a true/false write permission associated with a [user, keypath regex] pair -- but it's a decent placeholder for now, until I can get around to roles and policies.

3. You can also write custom transaction validators in Go/Lua/Javascript, which should make it trivial to implement just about any access control model you desire.

4. You can also create a "private" tree by explicitly specifying the set of users who are allowed to read from and write to that tree. The default Redwood node implementation does automatic peer discovery and keeps a list of peers whose identities/addresses have been verified. When it receives a transaction for a private tree, it only gossips that transaction to the tree's members (as opposed to its behavior with public trees, which is to gossip transactions to any peer who subscribes to that tree).

5. We also want secure persistent storage for transactions so that we can get high availability and redundancy without compromising the security model. To facilitate this, we allow you to configure the node to talk to what we're calling a "remote blind store" (essentially a key-value DB running on a separate piece of hardware, possibly off-site). The Redwood node encrypts transactions with a key the remote store doesn't possess and sends it over gRPC to the blind store.

6. Some applications will have a high volume of transaction data, and will want to be able to prune/merge/rebase that data to save space. To prevent bad actors from issuing malicious prune requests, the remote blind stores are going to implement their own p2p protocol involving threshold signatures. Prune requests will only be honored if a quorum of these blind stores sign off on them.

We've been thinking about this quite a bit, but not publicly. I'd love for someone to help us punch holes in it!
This is usually what people do say of successful marketing campaigns. Note, that Musk is a walking ad.
You would be surprise in how much stress there is doing pointless jobs! It is not easy at all, at least from a psychological point of view.
This is why a serious step of fighting climate crisis is the creation of monetary finance framework that can shift existing capital as well as allocate new capital in a distributed and scalable way. A National and International Central Climate Bank that is a mix of existing finance, with new climate constraints and community management organization.

This kind of framework definition has happened multiple times in our economic history.

Edit: some private capital is starting to move to address climate crisis too. e.g. Blackrock. We'll see if this is just greenwashing or not. I don't think Blackrock really needs the publicity of it one way or other.

https://www.marketplace.org/2020/01/14/blackrocks-new-invest...

https://www.marketplace.org/shows/corner-office-from-marketp...

https://www.blackrock.com/us/individual/investment-ideas/sus...
Yeah, but if consciousness is the invariant, then there are vastly more futures in which I don't tunnel through the car but just barely avoid brain-death.

And when I say vastly, I'm pretty sure the ratio is larger than the number of particles in the universe squared.
@pier25 Would honestly disagree on your 'polish' concerns. I consciously 'returned' to Firefox macOS a little over a year ago from a contented experience with Chrome, for entirely non-practical reasons (it just felt like a good idea). And it's been nothing but pleasant. I'm a massive fan of the UI, it's simplicity, flexibility, but also its bold sense of self. I despise the too-polished feel of safari. It is impractical. And chrome I return to semi-regularly for debugging or QA, but it honestly feels like a downgrade. It's so plain. So lifeless. So google. Sure there may be edge-case usability issues on FF, such as your multi-lingual spell check, but this seems like an entirely workable extension challenge. Safari on the other hand is drowning in edge cases ... and chrome - privacy.
It also doesn't take into consideration revenue growth, which according to the corporation's Wiki page grew much faster and higher in multiples than her salary.

As well, according to the same Wiki, "There will be no shareholders, no stock options will be issued and no dividends will be paid." It would be a bummer to run a company of that size, be dedicated to it for so long, and not have any stake in it. Imagine her opportunity cost...

https://en.wikipedia.org/wiki/Mozilla_Corporation
Ok, but just because it isn't the most dangerous thing that could happen doesn't mean you can just ignore it. You shouldn't stop brushing your teeth just because you could be hit by a bus tomorrow.
It’s not immediately clear to me that a) that expenditure is worth it for the outcome and b) that a “modern democratic society” is indeed ideal for that part of the world.
Been tacitly supporting Edge myself, but drew a hard line at IE (even 11) for current projects. Without async functions, promises etc, it's just too much extra boilerplate, a separate build setup and a huge payload just to support IE11, let alone older.

I'll be glad if/when Edge (blink) is deployed with a windows update.. the sooner the better, as far as I'm concerned.
Were you coding with someone either much more, or much less experienced than you? Without knowing the case, this could affect how successful the pair coding is.