skysight-inc/HackerNews huggingface dataset:
Yes. People overlook this as well, that Roberts Rules of Order are primarily a tool for arbitrating discussion in huge groups of people. Technological solutions for managing these discussions exist or can be created now. So it's possible to have a virtual senate floor where the traditional rules of order are followed, people are allowed to speak, testify, etc. without being physically present in the same room. As long as the Senate's plan requires the traditional mode of session there's nothing wrong with using technology to allow them to hold sessions remotely. In fact this may lead to more participation from Senators because they no longer have to choose between presence on the Senate floor or presence within their district.
I think Velikovsky "Worlds in Collision".
Hi there! I'm the author and maintainer of Byobu (byobu.org) here. Byobu started as "Screen for mere mortals", but eventually pivoted to work with Tmux, as well. Nowadays, Byobu is much more tightly tied to Tmux. You can think of it, as a super opinionated set of Tmux settings, easily portable across all of your machines. Happy to answer any questions here!
I worked in banking (retail credit risk modelling, then markets as a quant) for just under ten years and left to work in a software company and am now an engineer. The main reasons for me leaving were cultural:

1. Quant-types are generally not as highly recognized or valued.

2. The pace of work in banking can be glacial. It depends on the institution and team, but in general I found it very frustrating to push through changes and I am quite capable of being assertive when needed.

3. A lot of people working in banks are not particularly motivated or ambitious, let alone curious or interested in much outside their own concerns.

4. More than once, I was put in a position where I was asked to compromise my ethical convictions. Not cool.

5. The last bank I worked for was a toxic and abusive workplace. No thanks and never again.

I acknowledge that this is probably more characteristic of the larger banks and perhaps not hedge funds or HFT shops. 1 and 2 are probably true in any large company but I found them much less so in software. 3, 4 and 5 can also happen anywhere but in banking it seems endemic. Everyone I know from banking has a story, particularly markets.

To your particular questions around culture, I don't believe finance is bad and would return for the right company and role. I don't think software or tech has much of a claim on "make the world a better place".

Finally, from my experience in markets:

1. The bar to displace proven and market-tested models and strategies in trading is very high. Traders don't want their P/L messed with.

2. I found hedging and risk mitigation to be the most intellectually challenging part of being a quant. You can build a model to predict prices, but what happens if that model fails? Every model makes assumptions and markets are really good at demonstrating how wrong they are. Figuring out how to not get wrecked is hard and the meta-problem of model error is minimized to a degree by keeping models simple and interpretable.
That's funny, it was just on an old rerun of Quantum Leap the other day..

https://quantumleap.fandom.com/wiki/Maybe_Baby_(episode)
Dude, navy pilots are trained to recognize this. They've had years now to come out with a statement saying it was a balloon and make it go away. They haven't and this story continues to pester their PR guys. But 'ol Mick here is way smarter than all of the pilots and the Navy experts and he says its a balloon, so they're all full of it and it's a balloon? I can't even begin to describe how dumb this sounds. Get real.
Ethereum 2.0 FAQ by ConsenSys
> Why would the US navy want anyone to believe there is something buzzing about that they couldn't identify, and according to the pilots account, could literally smoke their ass?

Maybe they think people will assume they're lying about skunkworks type technology, when in reality they're just lying about a weather balloon. This was my original assumption, that they were teasing the existence of radically new technology. However I think the conclusion that the gofast video actually shows a balloon is pretty damn airtight.
Because Google is still really bad at e-commerce and doesn't distinguish content language from locale and local law. You should be seeing the store in your preferred language, asking for your locale's address format, and following German trade law. But alas, you are in Germany, you get the full German experience.

Also nobody really looks at accept language headers anymore, I feel.
I have a look at the headlines on the CV. Then try and confirm with HM or recruiter what I'm assessing them on, then write up a skeleton interview plan (basically, questions I want to ask or things I want to learn about the candidate).
I think I've used https://github.com/larsbrinkhoff/httptunnel (or another very similar tool) in the past to get around restrictive networks that pass http traffic. That was more than a decade ago though.
I feel my spacebar is simply too big and could allow another “mod” key.

Would make a world of difference for apps like Tmux.
> How does debate work?

Roberts rules with a chairperson (current procedure) seems to translate nicely to a moderated web cast

> How is a quorum decided?

Is there a reason why taking roll by video and voice doesn't work in a video conference any less than it does in person?

> How long will members have to vote?

We don't have to change this with video conference software either

> How are their votes authenticated?

With the exception of deep fakes, video and voice confirmation.

Surely, in a world where each representative could feasible allocate fiber installation to their house, they can whitelist IPs; if not much cheaper options such as VPNs and secure factors.

> Congress could be perceived as sneaky and illegitimate, and legitimacy is critical

Why wouldn't (non classified) meetings be broadcast on CSpan? (Requiring HD Video and HD Voice seems like a no brainer for transparency)
It's common to dogpile on whoever's in the lead. I wish companies would just learn from Amazon and emulate the good parts.

All the news articles about worker safety are about Amazon, but in my local grocery store chains, I see a total lack of masks and social distancing by workers.
If that were the case, slavery would still be legal
Thank you! I did consider other cryptocurrencies but ended up sticking with Bitcoin to keep things simple.

Which particular cryptocurrency would you recommend for faster and cheaper transactions?
Precisely. I don't know when the switch happened but Amazon seems to be using their own drivers to deliver and not Fedex.

The delivery quality is worse than bad, and has lead to us getting boxes stolen because Amazon drivers dump them at the quickest most convenient place for them - like Amazon drivers are incentivized to maximize time efficiency and every second counts. It's super painful.

We're now using other websites to buy from simply because their delivery takes approximately the same but goes to our door.
They remember: Communities of microbes found to have working memory
It would be great if the author of this post could respond here with how many requests per second it took to bring down the site... I assume using a RPi is still a viable solution for 99% of the time
Mathematical Research from Toy Models – Professor Tadashi Tokieda
Don't conflate "I don't understand it" with "hand-wavy". The 2 are different things.

Another proof by contradiction I've heard of this is that if 0.9... != 1.0... then there exists a number in between the 2. What is it?
Xiaomi just patented a phone with a weird way to avoid a notch
No, dates are harder than that. Humans use time to coordinate; the representation of time is fundamentally about communication. Only timestamps of events in the physical world are easy (ish). But that's not always, or perhaps mostly, what people are interested in.

When people receive a time, they may (usually) want it in their own time zone, but they might instead want it in the time zone of the entity they're getting the time from, if they're subsequently going to talk to that entity about the time. When they talk about meeting someone else, when they convey the time of the meeting, they usually mean whatever that time means in the place where they meet, which might be different from the current location of either. It might even be different due to political changes around time zones and daylight saving if the meeting is far enough in the future.
I guess the bigger question about this is what possible reasons to remove there could be. The video itself is pretty famous now and available in many places.
The article is not about citizens voting.
You're repeating the same wrong thing you said earlier.

It's 0.999... and not 0.999...0

In the same way, it's 0.000... and not 0.000...1.
Sure, but a local paper like the New York Times is hardly subject to the laws of the EU, so GDPR doesn’t apply.
It got better

The real problem is that I keep it in the fridge too long, when I do not need it
Article 1, Section 5, Clause 2:

Each House may determine
the Rules of its Proceedings, ...

It really is up to the Senate how to do this. No one will (should) think less or more of the Senate if they do this.
Okay your comprehension is clearly lacking (not a subject at NCSU ?). Won't engage unless you aren't obviously trolling.
> If you've taken Calculus, you've already worked with math that requires the infinitesimal to exist.

Not at all. Standard calculus uses standard real numbers, for which there is no infinitesimal. One may well speak of infinitesimals as a mental tool when building a mental model for calculus, but those infinitesimals are not actual real numbers (or a well-defined mathematical object at all - in standard calculus).
This is great. I first tried to find Airtable or Notion, obviously they're not open source but I'm curious about the meta schemas for apps with user defined schemas and can't seem to find a good answer.
FWIW, I believe I understand, and agree with the point you’re trying to make. In most circumstances I wouldn’t have a left comment because there’s nothing useful for me to add, just a thumbs up. But I wanted to make an exception this time.

It’s worth remembering that most people who understand and agree rarely leave a reply.
Did you miss the "I'm strongly inclined to think it's the later." part? They're fucking with us.
I expect mjd is thinking of irrational bases. The number might still be written as 10, in digits that look decimal.
Airpods were not the first true wireless earbuds. Samsung released the Gear IconX in 2016.

You could say Apple took an idea and made it better, and that's exactly how it should work. Google is simply trying to do the same thing here
No. If they want to lord it over the average American let them sacrifice a little comfort. The can always wear masks and face shields to block their pompous speechifying from causing illness. If doctors and nurses risk their lives to save people, why can't wealthy Senators risk a little to save/help the country. They could even put little booths around each desk like Costco does their checkout stands or meet in some larger space. Leaving them home to ignore the country and spend all their timer raising money is not what we elected them to do.
Sure. And that's why there is a complex list of things that are being banned or not, that varies by location, instead of simply telling everyone to go inside their house and not come out for three weeks. And significant legal changes, like unemployment eligibility, loan programs, etc. Exactly who are you thinking of, that is advocating to continue lockdowns because they aren't aware of all the tradeoffs involved?
North Korea's Kim may be trying to avoid coronavirus: South Korea
Encrypted SNI still has a few years to go before it's deployed. Meanwhile, the Great Firewall continues to block TLS connections with an unwanted SNI via a TCP Reset attack. "news.ycombinator.com is on the list, too.
Every day I look up at the sky and landscape before looking down at my phone. It doesn't make any significant difference in my day.

But whatever that makes people lives more varied in this isolation is fine, I guess.
This is just for Senators. Not citizens voting in elections. The headline makes this seem more important than it is. It's still notable, but far less so than allowing/mandating universal vote-by-mail (like several states already do, plus members of the military everywhere), which would be widely expected to swing elections heavily "blue".
I think (hope) that future generations will look at how we consume media on smartphones today the way we look at cigarette smoking now. An unhealthy stimulant that many of us are addicted to and struggle to escape.
What remote interviews teach us about remote onboarding
You could be right, but you also could simply be suffering from result-oriented thinking. I'm more inclined to believe that Amazon dominates simply because it had a brilliant idea that it executed well at the right time. The reality is that Amazon solidified itself into a monopolistic position, and exploits that advantage in ways competitors can't compete with, first and foremost by selling products at a loss until competitors dry up. Everything about the culture, data driven decisions, management style, may have had little impact at all and is simply dressing up the boring reality.
Unless you really want to dive into building it for fun, check out the Sensibo Sky. If your unit is compatible, I think that's the way to go. I honestly think they're slightly overpriced for what they are, even on sale, but I've also bought 4 and have been very happy.

Basically you get all the control/features you want by app or API, based on the unit's thermostat and hygrometer. Remote control, scheduling, auto on/off based on your location if you want that, and the big thing for me: programmable event control with any settings (cool/dry/fan at X degrees and Y strength/angle).

I mostly use the temperature based on/off programability because that feels the most like a traditional central air to me. I usually do: "when temperature is >24C, turn unit on to cool 20C medium fan strength" and "when temperature is <23C, turn unit off".
I don't think that's true. It was designed for its purpose by people that knew what they were doing based on experience gathered from implementing previous incremental steps including emscripten's original JavaScript output and asm.js (a formalization of some techniques emscripten employed). The design rationale is right there in the spec repository:
https://github.com/WebAssembly/design/blob/master/Rationale....

It was built to be a better target than asm.js for compiled languages to run in JavaScript VMs and it seems to have succeeded on that front. That it's not a perfect fully-general bytecode format doesn't seem like a real knock against it, that's a much harder problem to solve. In any event it seems to be getting a lot more traction than any previous entries in the space, which is exciting!
Sweet Marias is a popular one. I've started using Happy Mug since they're quite a bit cheaper, it seems.
Somewhat related: I recently realized that in theory I should be able to easily use ffmpeg with Termux to cut and concatenate clips I shoot on my phone without recompression, since they're all guaranteed to have the same settings (as long as all inputs are landscape or portrait). However, typing out the file path for a list of files would be a complete pain on the phone.

Does anyone know of a way to select a list of files on Android and send that list as input to a script in Termux? That would open up quite a bit of automation possibilities
I think the confusion comes when mathematicians say "a sheet of paper can be 0.333... (0.3_, ie 0.3 recurring) units long" or something because in experienced reality we can always choose a measure that's rational (in the maths sense). That 1/3 of a meter can be measured in one-third-meter units and be precise and easily written.

Now sure, make a square using those measures and measure the diagonal, like an awkward mathematician - "see, see, we need irrationals!" - but then we can just cut another measure that's exactly that length ... stupid mathematicians!

Yeah representation is not reality.

Now, says the ratio of those two measuring sticks ...
The Only Way Blacks in Tech Will Eliminate Racism Is by Building Platforms
Epidemics are a great example where we can say that prudence is recommended. Perhaps 80% of the population of the Americas was destroyed by the eurasian plagues - diseases which Europe had reached viral equilibrium with but the Americas had not.

The median of a new outbreak is not worrying, the mean is worrying, and the min is apocalyptic.
I mean you could if you want to:

1/10 + -9/100 + -9/1000 + -9/10000 + ...

But I just meant them as series, not necessarily as sums.
Yep, maybe that's all one would have to add in the readme for Linux guys
TRS80-Twilio, Sending Texts like its 1983
Closing schools for Covid-19 does lifelong harm and widens inequality
Until now couldn't the "Programmatic video editing tool" step be replaced with ffmpeg via CL?
New Zealand has "few cases" but not "entirely eliminated" it.
Moreover, some of the places with the best reactions (eg Taiwan) were hard hit by previous epidemics and already had practice with responding to an epidemic.
> On the other hand, people are using smartphones primarily to talk to other people.

I don't believe that's true. I thinnk most smartphone time for most users is spent passively consuming broadcast social media: scrolling through Instagram photos and Facebook posts.
Like you said, tough, it's just pretense. Any debate that is held on the floor of Congress isn't there to convince fellow congresspeople of anything. It's purely theater for constituents. All of the actual decision-making is done in meetings, and often congresspeople aren't directly involved until their staff makes a recommendation.
Searle is definitely not a materialist, but a dualist. His take on the simulation argument is that simulations cannot be built (possibility #1 in Bostrom's argment).
Most non-Amazon businesses are mediocre.

Most grocery stores still don't have online ordering. Years, and years, and years, after Amazon entered the field, the other grocers have just decided to lie down and die.

Still waiting for Chapters (a bookstore in Canada) to start sending me reading good reading recommendations.

Still waiting on VISA to make generalized gift cards which are not miserable to use.

I'm trying to think of any industry Amazon took out when even tried to fight back. Most just whined their way into oblivion.

The problem with non-Amazon companies is that they don't do anything excellently.
A lot of states already do it. I think all we need to do is get the POTUS to publicly shame any remaining holdouts. It's not that expensive, so it wouldn't likely present a hardship for states to implement, so a little push in the right direction may be enough.
Can someone point to any concrete results of debate on the Senate floor from anytime in the last 20 years or so? I am genuinely asking, because it seems to me that the value of debate on the floor is like you said only pretense at this point. Mandating that pretense and in turn making the Senate slower to react in an emergency seems like an actively harmful requirement.
Has this happened with members of the military or in states that already allow vote-by-mail? If not, why not?
I agree. Amazon store products used to be the cheapest available, but as they have become the "default" e-comerce site, I find their prices are frequently not the best. Pair that trend with the current uncertainty in product quality/authenticity at Amazon, I choose to buy directly from the brands website (i.e. buy a Jansport backpack from the Jansport website.). Funnily enough, I mainly use Amazon as a search to compare products.
I don't know who actually ripped off who, if at all.

But in terms of product name, if we go based on public launch date, the first generation of Pixel Buds were released in Oct 2017 and the first generation of the Amazon Buds were released Oct 2020 IIUC.

Google Assistant was announced in May 2016, Amazon Alexa was launched in 2014.

Disclaimer: I work at El Googs but not on these products. These dates I just searched on the web within 30 seconds.
Things will always be better in terms of testing / tracing / treatment options in a month, in June if we just wait until July things would be in a better place. Ultimately this is going to be about buying time for as long as is politically and economically possible. If more and more states open up and their situation doesn't look like a disaster because they are not as dense as NYC with almost 4 million people taking subways every day, then it's going to be harder and harder for the bay area politicians to claim we need to stay shut down.
I live in Belgium; in an area of Belgium that primarily speaks French. I happen to speak French as well (though I'm not originally from Belgium, I am French), but given the places I've lived in my life that's more a coincidence than anything else.

I do not speak flemish (be-nl). Yet, my page of the store is in flemish.

My browser (a Google browser!) is configured to ask for pages in english, and as a fallback, in french at a lower priority. There is a French version of the store, and it's still not sending it.

And a lot of people here in Belgium speak exclusively English. German is also an official language in the country, though only actively spoken in a small part of it. (Map: https://en.wikipedia.org/wiki/Languages_of_Belgium)

I have no obvious way of changing the language, other than a flag which rather points to changing the region. Turns out, in the region picker (https://store.google.com/regionpicker), "Belgium French" is a region, separate from "Flemish". When I click "Belgium French", a warning appears. In Flemish.

In other words, almost everything about language that store page can get wrong, it does get wrong.
In base 3,

1/10*10=1, 0.1*10=1

What the problem?
Fast compile time isn't actually that hard for a C-like language. Good code optimization and fast compile time is hard.
And all of a sudden further distanced from both lobbyists and the press
If 1/3 doesn't equal .333... then how much do they differ by?
Blockchain Trends to Watch at This Year’s Virtual NY Blockchain Week
That's funny because the main news broadcaster in the Netherlands just copied the video and self-hosts it.
Trump says US may seek damages from China over virus
To point 1: From my experience here in the UK, most deliveries arrive without issue. Amazon are fine here, but so are most other retailers.

To point 2: Monopolies are Bad Thing.

To point 3: You really don't believe that billionaires should pay their share, the way the rest of us do? Also, given the lockdown, there's no option but for the government to offer handouts. A huge proportion of the country is unable to work, through no fault of their own.

To point 4: You're right that economies of scale have allowed Amazon to undercut everyone else on price. WalMart did the same. I don't blame you for buying from Amazon, but the problems with their monopoly shouldn't be downplayed.
The key difference is that you could finish the newspaper.

Imagine how different Instagram would if after ten minutes of scrolling you reached a point where it said "That's it. No more photos until tomorrow!"

(You may remember that Facebook used to work that way with their chronological feed. As soon as you saw a familiar post, you knew you were done. There's a reason they killed that feature.)
The latter is very achievable using the Relooper algorithm developed by Alon Zakai and described in the Emscripten paper:
https://dl.acm.org/doi/10.1145/2048147.2048224
There's a difference between forgiveness and credibility, and you can have no credibility even if you've committed no crime. What Damien did was drive white supremacists to a synagogue shoot-up.

Credibility is part of the job of a CEO.
What would be the return type of that? Does D have an Either type?
Ha. Of course. My apologies.