skysight-inc/HackerNews huggingface dataset:
"For example, with 1,000 60-year-olds infected with the old variant, 10 of them might be expected to die. But this rises to around 13 with the new variant.

This difference is found when looking at everyone testing positive for Covid, but analysing only hospital data has found no increase in the death rate."

The sample size used is close to worthless, and the data used to make the statement is selective. These kinds of speculative statements that involve several layers of uncertainty are super frustrating.

It's not even remotely actionable information for the average person reading it, and essentially does nothing but stoke more anxiety.
Dolt and Data Science
That's a clickbait title if I've ever seen one.
Indeed. That single triangle likely is way closer to a million triangles than to zero triangles. https://rampantgames.com/blog/?p=7745:

“Afterwards, we came to refer to certain types of accomplishments as “black triangles.” These are important accomplishments that take a lot of effort to achieve, but upon completion you don’t have much to show for it only that more work can now proceed. It takes someone who really knows the guts of what you are doing to appreciate a black triangle.”
George Washington “ Carver was born into slavery, in Diamond Grove (now Diamond), Newton County, Missouri, near Crystal Place, sometime in the early or mid 1860s.”

https://en.wikipedia.org/wiki/George_Washington_Carver
Solo v2: redesign of the open FIDO2 security key
All I see is a 504 Gateway Timeout.
We don't know so let's spread some fear so we can keep people at home. I understand the strategy but I don't agree with the method.
Can't get there using Chrome (v.69) on a Chromebook: "systemd.software uses an unsupported protocol.
ERR_SSL_VERSION_OR_CIPHER_MISMATCH"
That's unfortunate that you didn't give it a chance. Next time try them out. My 2019 3 SR+ had a rattling issue with the phone holder mount. I brought it into tesla service center within the first week and they fixed it and I haven't had a rattle since. It's a great interior imo
Building the BBC Micro (The Beeb)
> A log search service powered by Elasticsearch is okay (again, provided it doesn’t expose Elasticsearch functionality).

You speak as if Elastic has any say in how people use OSS. Why would anyone use the newly hampered version of ES when they can use and contribute to Amazon's truly open fork? Aside from the bad taste left in everyone's mouth from the whole "Doubling down on open" nonsense, all that reasonable people are going to see now when looking at Elastic's software (ES 7.11+) is unnecessary risk and legal ambiguity.

The disingenous market speak on Elastic's blog post was so thinly veiled that it quickly became insulting. It was gross to watch such a shameful justification form on why everyone should be okay that Elastic will continue using the marketing terms "free" and "open". By forcing a well funded fork by Amazon, Elastic may have just relegated themselves into obsolescence.
Traditionally it went like this in the UK: the expensive Rolls is the one you have a chauffeur for, the cheapest Roller is the self made millionaire's car and he drives himself, and the Bentley is a driver's car for the filthy rich.
Not OP but I live in a different country where I barely speak the language. I can turn on the TV in the morning and depending on how easy or difficult it is for me to parse what they are saying, tells me how sharp my mind is that day.

Similarly to the sibling comment, I spent years struggling. There were points where I sat down to write a super simple Craigslist scraper and couldn't do it, my working memory was so poor that it was like I couldn't hold more than 2 or 3 concepts or ideas/variables in my head at the same time. This task is something that I knew just a few years before I could have whipped up in 30 minutes or less.
I find it really amusing that Salmon is only a color if you’re a man
I'm not sure I share the concern. They really expect people to understand or care about things like proxy settings? Everyone doesn't share these interests.

Yeah kids can't use computers, because they don't come with knowledge pre-installed, but the ones who are interested will figure it out. It's not like there's a shortage of resources. And if you're concerned about your own kids, then teach them and they'll have a nice advantage in school.
Yeah, that's why I asked, because if you use only 1 chat protocol, a dedicated client is almost always better (now that ICQ and AIM are dead). Pidgin really shines if you need to aggregate multiple protocols in a single client.
All those years it has been on focus, I still don't understand what problem CD is expected to solve.

Yes, there is value on CI, and there is plenty of value on very low effort deployment. But, except from a large downwards risk, what does automatic deployment bring in exactly?
who like to buy things that last, electric cars don't seem to carry a huge value proposition over a traditional ICE car.

Our Scion xB has over 100K miles on it, and our Leaf is one of the first to roll off the line. We tend to keep things. And I'm perfectly happy with the value proposition of even that early-adopter tech. There's a lot more to EV ownership than just range and battery life. Ten years later, I can hardly wait for our next vehicle that we'll drive the wheels off of...and it will be electric.

EDIT: and if you can get the oil pan off a modern car without removing the engine or at least undoing the mounts and $STUFF so it can be jacked up (thereby cancelling any "in an afternoon" of changing crank bearings), you're a better mechanic than I ever was (and I used to do it for a living).
It says at worst later, talking about if there is no match. It heavily implies that there's 2 accesses per byte always.
Currently using a Renoir laptop. It's smoking fast but I had to install a bleeding edge kernel to get the display driver to work at all. That should be fixed in the next ubuntu release though.
I think the "war chest" argument here is that AWS can out compete any other hosting solution by "slowly burning" their way to the top. AWS is a conglomerate and can afford to lose money on a single service. Companies like ES cannot without going under. It is monopolistic behavior and that is harmful.
unguarded $100 worth of charging cable dangling from every street post? what could possibly go wrong?
And Apple will court (allow) developers until competition shows up. Then they will shut it down and obfuscate. The fact that Apple refuses to provide FOSS drivers themselves indicates this.
>let me tell you you'll love the speed and savings

These better be some insane savings considering my car cost 22k€ and the cheapest Tesla available (2014 Model S with 279 000 km driven) is 38k€.
I dont't agree with "If they don't survive it will just be a matter of time before ES is dropped by Amazon and totally unsupported."

Unlike Google, Amazon is fantastic about supporting older AWS products. I can't think of any off hand that are completely gone. There are some that might be deprecated that you can no longer create new ones of though. An ancient database service comes to mind but I can't recall it's name.
...well, this is Hacker News, after all.
Creating Embedded Microcontrollers [pdf]
Yeah, maybe. I dunno.

For the last few months, below Youtube's regular recommendations there's been a selection of the most scary Covid headlines their algorithms could find. "super deadly strain found ..." "vaccine side effects..." "scientists warn vaccine may not be effective...". I guess the recommendation engine discovered that fearmongering gets people to click, but it's hard to take it seriously. Since it clearly only selects for the most alarming news, I assume that it lands far on the alarmist end of reality and therefore I should discount whatever it says.
Maybe learn about how times have changed. It was completely possible to be a clerk and have a middle class lifestyle in his era. His parents' home is a museum nowadays.
I use FreeFileSync to synchronize my Thunderbird and Firefox Profiles, KeepassXC files, web server stuff etc. I also prefer portable applications that keep their preferences in their own folders. So I also don't mind if a machine randomly dies, but I still have all my stuff locally, plus backups, and what I upload is always a copy. Other than stuff that lives on chat servers or social media, of course, Soundcloud and YouTube playlists -- but that stuff, but that stuff will go away sooner than the files I have locally. Stuff that lives elsewhere is just a way to interact with others and show them things, not the keeper of anything that matters to me.

The downside is that I can't just change machines nilly-willy, I need to sync first, at least if things overlap. For example, I can use one Firefox profile on one machine, another on a second machine, and use Thunderbird on a third, but I can't use the same profile on several machines without getting a merge conflict, so to speak. That was confusing and annoying for like a week, since then it's not been a problem, and by now I'm so pampered by it, I simply avoid stuff that doesn't play nicely with my workflow. Smartphone apps, for example, or programs that doesn't allow me to configure the paths it uses, and so on.

Since I use applications and work on data, the OS doesn't that matter much. I mind changing Windows from the ass-backwards defaults much less than sticking with the defaults, and I do that as I go along, i.e. when I use a feature or get annoyed by the default, I just change it. That doesn't require any thought and very little time, so the configuration I would have to repeat on a new system isn't something I consider valuable, I'm pretty sure it takes much less time in total than working with the default config, in the long run. If I had to do it more often than every once in a blue moon, I'd find ways to automate it.

I am just not interested in something that could go away based on the decision of some pointy-haired boss, which is tends to be inferior software in the first place, anyway. Like, compare Directory Opus with Windows Explorer, one is a serious application, the other is a toy that constantly gets in your way.
NRC to discuss 100-year licenses for nuclear plants
What makes you choose Heroku over a micro instance of elastic beanstalk at AWS?
it's semantics without slavish adherence to syntax. it's really not that much of a stretch to see that the imbuing of ambiguity is a net positive to some people in some circumstances, and is a natural evolution of formalized language systems in a non-optimally constrained environment.
What is “toxic” about the comment? That sounds like a legitimate question to me.
The government is already in more places than Walmart is though?

The government already offers jobs like that too, just that it's through the prison system and the floor is much too low
I wish I could give this joke a trophy.
You could look at home chargers around you and strike up a friendship.

Although, certainly if you rack up hundreds of miles every day it won’t work that well.

That said, isn’t part of the allure of apartments being close to your destinations? Walking to the park, a 1-mile trip to the grocery, etc.
https://www.elastic.co/enterprise-search#deploy-your-way:~:t....
I sometimes use it to detect when someone sets foreground/background without setting them both.
The published code on Github looks very nice! It is easy to read and understand.

Kudos to Alyssa!
> It says at worst later, talking about if there is no match.

The article says “len*2 at worst”. There is no intervening text, that’s a direct quote.

> It heavily implies that there's 2 accesses per byte always.

This interpretation is incorrect. The article does not imply this.
I use a Nikon D610 through a camlink 4k, and then a movo um700 for audio. The camlink 4k firmware has a bug (it reports modes it does not support), so I have a small workaround in place on Linux for that.

Overall quality of everything is very high. Does it save money? I guess I already had the camera.

Is it a good idea to broadcast myself at that level of quality? Probably not ;)
McGinn made a few cushy positions for his friends and did not get much done. Very similar to Greg Nickels IMO, who was only ousted after his cronies that ran SDOT totally bodged Snowpocalypse, followed by him coming out and saying he thought they did a B- job despite most of the city being trapped in snow for a week...
Pidgin, oh my, whoever used it before would be in their 40+ now.
SAP and Microsoft expand partnership and integrate Microsoft Teams
I <3 finch too, though I haven't used it in quite a while. It has a really impressive TUI with windowing etc.

For example: https://inconsolation.files.wordpress.com/2013/01/2013-01-24...
Absolutely, I'm right there with you. I had 3 different doctors tell me I was crazy before I said fuck this. The most helpful book that I have found is "Why Isn't My Brain Working?" [1] by Dr. Datis Kharrazian, he is both an MD and a naturopath. Lots and lots of insights into why the brain fog is happening, and even more advice on diet, lifestyle and supplementation measures to minimize it.

I seem to have some dietary autoimmune stuff going on as well which is incredibly difficult to deal with, my friends know me as that person who brings home cooked food around everywhere, as I know there are no spices or grains that will set me off. Eating out I usually just order a salad with no croutons, no cheese, no nightshades, no dressing outside of olive oil, and a meat to go on it. But even then, if the meat has spices, I'm in trouble.

[1] http://brainhealthbook.com/ -- also available on the large book piracy site
It's true, but of course, a solvable problem, and one everyone is aware of. Chargers have grown massively in the last few years along highway routes, but expansion in the number of fast chargers available to renters (within cities, at shopping centers and apartments, etc.) is already where the major players are focusing now. And Biden's admin stated they want half a million more chargers in the USA (which is an order of magnitude more than currently exist), so we can expect this to improve quickly. You may not, in other words, have to wait until you buy a house.
I know Ajit Pai did a bunch of horrible things with net neutrality.

But what were some of effects of his policies to an internet user like me. I didn't see anything different.

What changes will I see as an internet consumer with this new appointment.
Yep. Got PTSD from doctors.
What might Earth’s next supercontinent look like? New study provides clues
in the case of the office park, it's probably fine for the cars to charge at a reduced rate, as long as everyone has enough juice to get home at the end of the day.

in the case of a general purpose parking garage, this is less okay. I don't want to park in a garage for an hour to shop and not know whether my car will be at 30% or 80% charge when I get back. this is barely better than not having charging infrastructure at all.
Climate change: US emissions in 2020 in biggest fall since WWII
As person with disabilities and physical health problems people are often at awe at me for how I go on with my life and now I'm looking at the same awe at you.

Do you feel there's anything missing with memtrax or any other tool which can make your life easier i.e. help track your cognitive health or help your current lifestyle?
Don’t know where OP is located but there are plenty of apartments located in low density areas where that’s impractical.
I have been using pidgin since it was called GAIM, and it is quite honestly one of my favorite pieces of software. No anti-user features, minimal bloat, no nags, just a full featured stable chat client.
I don't think they're 'associated' with or a 'close partner' of Volvo... I think they're just Volvo, entirely owned. It's just a marketing thing. It's still Volvo.
Would also love to know, I use a C920 and the white balance is terrible even compared to my (worse in most other ways) Macbook Pro camera.

I've seen people share config software for these on Windows but haven't seen anything that looks decent for Mac use.
See also VentureBeat article about this:

SAP integrates Microsoft Teams to create the ‘frictionless enterprise’

https://venturebeat.com/2021/01/22/sap-integrates-microsoft-...
I'd be excited to see arm competition in the desktop space but I don't believe there are any arm chips that compete in performance to high end x86. Arm can do lots of cores which is very good for servers, but single threading performance is still a significant necessity on user end hardware.

The M1 is great because it's low power with optimized performance, but on a desktop you can have well over 500W+ and that's normal.

I don't see anyone else making only mobile arm chips for laptops other than trying to be like a Windows Chromebook. The software compatability will be a nightmare.
For Part I, though I get the point to demonstrate proofs with CBMC, this is a pretty contrived example. E.g. using state machines for the cocos search makes an on-line very lazily written implementation human-verifiable at a read. I would like to see an example that doesn't have such a contrived nature.

Edit: Now I see in part II/III where the title actually comes to fruition and there is a state machine oriented generator is made and used. That still doesn't satisfy me about part I, honestly I would have just skipped it in retrospect.
Here's what really bugs me. It's clear Apple has good cameras, excellent even. And small.

Yet, the camera in my $2000 Macbook Pro? Remarkably worse than even the worse external webcam.

If they can throw an amazing camera in a phone, why can't they put a decent one in a laptop?
The federal fuel tax is 18 cents, not exactly massive. (Maybe you aren’t in the US though)
I stopped using it once ICQ stopped working with it. By that time, I only had 1 friend that was still using it, and we just switched to Discord anyways.
Antarctic base opens briefly as berg watch continues
Boring Alternative to Ngrok
But most people don't need or even want an actual general computing device?

It doesn't matter how much you improve it's ui/ux... if it's not a desirable feature to the general population, few will ever use it.
The author seems to be asking for some things that just don't make sense.

My impression is that they claim that "true" CD means each deployment is of a single author's changes, and that batching defeats the spirit/purpose of CD.

But many orgs commit to master faster than deploys can go out (eg 15 minutes) especially if there is caution taken to ensure the change did not cause problems (automatically or manually detected).

I only skimmed parts; was there a solution to this problem mentioned?
Or did I misunderstand?
Another happy customer of many years.

I've got around 10 domains there, each of which have up to 4 addresses. Emails arrive filtered into separate folders in the same account, so I get all that whilst only paying for a single account (they'll even host static sites for all those domains, though I currently use Netlify).

Always performant, excellent web UI for mail, contacts, calendar, and (optionally but included) DNS, and if they have occasional blips I have to say I've never noticed.

Far superior to GMail, which these days seems stale and slow (and possibly only gets away with it because it is ubiquitous enough to set the level of people's expectations).
People customize their physical working space and tools as a way to help maintain a sense of ownership to the work they do. It helps with morale.

It's fine if you think of work as a soul-sucking activity, but not everyone feels they have to hate their work or that it's not a part of their identity. Even for those who do dislike/hate their work, these small things can help them cope with the toil.
Solar panels actually do rather well in the north, even in winter. They are more efficient at cold temperatures. When the sun is up, colder air tends to have fewer clouds and having the sun lower on the horizon means static panels can be pointed more efficiently. Shorter trees mean housed generally have a better view of the horizon/sky/sun. And snow on the ground acts as a reflector, increasing the light hitting the panels. So long as you are below the actual arctic circle, there is a place for panels even in winter.
"You see, there are two memory accesses per one character of the input string."

It says this, DIRECTLY, not qualifying it as "up to" or "worst case". The next sentence says it can be 2*len, e.g. if you scan the entire length.

Those two sentences feel like something that someone would write if they didn't understand short circuit evaluation.

You read it differently, but your opinion of how it is intended isn't sufficient to refute my interpretation of the text.
In New York state, it's illegal to get any kind of medical testing without a doctor's order. Very frustrating.
> For hiking, maybe it's reasonable to just rent a car for the day/weekend. I know that makes it seems like you're having to pay for the trip, but you were always having to pay.

Agreed, but people work more like this:

1. I already paid for my car, so I use it kind of for free, except gas.

2. I have to rent a car for $50 a day to go hiking, mmm, that's an extra $50. Maybe I'll do something closer to home in the range of my EV.

Also don't underestimate the convenience of leaving from home at any time in the day or the night and returning there vs driving to get the rental car, go through the paperworks, and again when returning it. It can easily add a couple of hours of friction.
What do you usually want to happen with late data? In DD you have the option to ignore it at the source but not to update already-emitted results. Is the latter important for you?
AIM shut down more than three years ago.
Atomic resolution video of salt crystals forming in real time
Is expertise being rejected per se? My problem with experts is that their advice often seems to take into consideration only a very circumscribed set of concerns, and that their tacit assumptions -- normative assumptions, particularly -- are rarely questioned sufficiently, if at all.

Let me share a quip, one that pertains to one specific type of expert: namely, lawyers. "Legal training sharpens the mind by narrowing it."

Experts give advice, which by all means should be considered. Read that last clause carefully. I argue that we have a kind of cult of expertise where careful consideration of expert advice within the context of larger concerns -- the full picture -- is too often given short shrift.
Not sure, why you're being downvoted. Perhaps it's the tone and lack of enthusiasm for all things systemd.

In the matter, I agree. I'd think unlocking of the filesystem ought to be happening in the boot-loader (either GRUB or ROM resident). Systemd will only be able to do so, if the root fs (typically holding /etc with plenty of stuff worth protecting) is unencrypted. It seems to me this feature was added to systemd just because they can.
They have about 100 listed here:
https://loon.com/legal/patents/
Same thing here! Eventually the Lync-XMPP bridge was shutdown by IT, so we all switched to Mattermost which is similar to Slack.
If it was around 2010 MySQL was not yet Oracle. (Maybe not even yet Sun?)
They move information around using software datacenters and the internet.
I viewed all of the examples in the article and they all look adaquate. The worst of them is fit for purpose, unless maybe you want to stare up somebody's nose and count their boogers.

Personally, I've been thinking about how to sandblast the lens on my webcam to permanently fog it. Who would even care? I think nobody.
There are people doing this in my neighborhood in Portland as well, including with very fancy cars.
*than

...and it probably means I would fail the test...
> if you were computing the most retweeted tweet in all of twitter

are all the retweets counts of every tweet stored in the memory ?

Where are previous counts stored that are merged with new stream of tweets.
Thank you. I find this assumption of bad faith quite frustrating. Every comment I make in this thread seems to be instantly downvoted.