skysight-inc/HackerNews huggingface dataset:
Every time I go into Present mode in Zoom, it’s panic-inducing. Where the hell did everyone else go? How do I mute? It’s frustrating.
The problem with that is it mutes the whole domain. I still want to listen to one of the meetings.
I boot my RPi 4 entirely from USB with the Sep-3-2020 bootloader. No sd-card inserted. The Sandisk Extreme Pro benchmarks at 230 MB/s on USB 3.0.
Have been using Postmarkapp[0] for over a year. It's been great. Customer service is amazing. I highly recommend using them.

They have non-transactional emails in beta now, which I plan to use soon too.

[0] - http://postmarkapp.com/
I didn't mean to dismiss the women decision making involved. In fact, I agree with you on social savyness and I'd add financial stability to the list.

I was just focusing on Albert's side of the equation, because he was the one that ended the marriage by switching sexual partners.

And yes, that was a good discussion. Thank you, too :)
This is a wonderful example of what can happen when you don't keep track of your cert expiry dates.
GitHub Certificate Expired (*.githubassets.com)
Thanks so much for your generous feedback. Ah, yes. That was intentionally. Ironically, to improve the legibility. I've "stolen" your notes and I've added it to my Kan Ban. Thank you for taking the time out of your day.
Of newtypes. I gave several examples of them. The String type _is_ a newtype that outlaws some of the possible values of the underlying type, namely non-utf8 byte sequences. I wasn't talking about people using Rust, but about the standard library.

That said, I have personally used newtypes a reasonable amount, mostly for making sure I don't mess up different kinds of database ids.
Same, and I really enjoy using a wood-cased pencil.
Nice, thanks. I have a lot of Meets hanging around in my bookmarks thanks to the focus being slightly wrong when I press command-D.
Gitlab is apparently a US based company. Unlikely that they would be more courages than Github.
That's annoying. Was it the pop up, or the red hello bar?
I think you are not sufficiently familiar with this field, Dijkstra wrote "Discipline" years before computational complexity results on program analysis were known, and I think you misunderstand the tremendous gap between what works on small examples in the lab and what is scalable enough to be applied widely in the field and the difference between something that might be possible in principle vs. something that's affordably feasible in practice. We know more than Dijkstra did, the techniques have improved, and still no "ordinary" (non-niche) real-world software of any significant size has been written using formal refinement to date. If you claim this is possible today -- go ahead and do it for a medium-sized program of say, at least 100KLOC. A formalism like TLA+ is well suited for this task, so go ahead and try.

I am not American, I don't like making generalisations about Americans or any other nationality, and, as you could see from my blog, I am very much in favour of employing maths in system design -- that's what TLA+ is all about. But confusing "mathematical object" with "can be feasibly reasoned about" is just ignoring computational complexity. I can give you an example of two subroutines, each only a few lines long and each very simple to understand, and yet you won't be able to answer a most basic question about their composition. Complexity theory tells us that mathematical problems have an inherent hardness, and the fact you can write them does not mean you can feasibly solve them. There are no simple answers here. In some carefully constructed ways formal methods can help in some specific circumstances, different methods helping in different use-cases, and you cannot just say that it's "better" overall. For example, while programs of millions of lines of code are routinely tested, no one has ever managed to formally reason about deep properties of programs of this size.
I've seen a lot of devices like the CM that use a random connector and for some reason they never actually name the connector and its MPN. Alchitry and Parallela have "weird" connectors as well and it was always a pain in the ass to figure out which connector they've been using.
What worked for me, was when I changed my mentality to treat weight loss and keeping weight off as part of my identity and not as a goal I have to work hard towards to. My identity is that I want a healthy life. It is something that I will do for the rest of my life, so falling off the wagon every now and then is not much of a problem, it's normal, I'm human!

Did I overeat one or two days? No regrets. I don't have a goal that now moved further. It is what it is. Today is a new day and I'll do what I normally do. Did I hit a plateau? Well, what can I do? My identity still says I should eat sensibly. I stayed off processed foods this week? Check. Did I consume excess sugar or soda? No. Ate my greens? Yip! So, my lifestyle is healthy no matter what the scale says. Did I go out with friends and overindulged? Hey, that's a healthy lifestyle too! Just don't do it very often.

Sure, I can give more practical advice and do think that OP is way too early to announce victory after just one month, but it's a journey, you have to experience some things on your own.

I'll just comment on calorie counting. Once upon a time I used to count calories to single digit accuracy. It's not needed. Keep a rough track of your macros as some people say (protein and carbs are aroung 4KCal/gram, fat is around 9KCal/gram) and you will be fine.
Nice to see that my Asus Tinker Board still holds up well with the current state of RPI after all these years.
I have a simple system that works for ME. Basically I eat once a day. I have a full lunch and that's it for the day. I do not fell hungry,specially in the morning where for some reason I just can't eat.
Is it possible to use it to control a Zoom session without virtualizing the audio/video input devices? Discord has a local API for that but I haven't found a way to control Zoom calls from another app.
I don't know - there are also things that should work - like the isolation in hotels with food delivery etc. What I see is that they throw just everything at it and maybe they misinterpret what really worked, maybe some of it was just theatre - but some of the measures did work and the whole also created enough pressure to have high compliance with the orders.
> I use Wine too, for things like Netscape, Mosaic, etc.

OK. I used to do that for IE but I haven't needed it in about a decade.

> Microsoft apps run much better in a VM in my experience, because of how tightly
> coupled their development was with WinAPI.

Some do. Not all. WINE is also impressively good now.

> I already need a VM for IE, which definitely does not work right in Wine for me

That, I certainly believe.

> so why not Office too.

A whole bunch of reasons.

[1] No need for a Windows licence;

[2] Speed of startup;

[3] Much lower resource usage;

[4] Better integration with the host OS;

[5] No need to maintain a copy of Windows inside a VM with updates;

[6] No vulnerabilities in the host OS because there isn't one;

[7] Windows that freely mix with native windows, not in a single seamless plane for all of them.

I'm sure I could come up with more given more than a minute's thought. :-)
Kudos to Raspberry Pi for choosing to call it the "400". An obvious nod to the Atari 400, the computer-in-a-keyboard of the mid 1980's that I grew up with.
How is git centralised? Just self-host with Gitlab, Gitea, et cetera.
Keto I found also seems to trick you into feeling less hungry even with reduced caloric intake.

A lot of dietary advice treats the sensation of hunger as some taboo thing to be avoided at all cost. But the body will fight HARD to maintain current balances and hunger is a clear signal that you’ve ingested less calories recently than your norm.

We’re so used to never going hungry that the sensation feels like a serious anomaly, but hunger is not harmful unless it goes on for a protracted period (at least days), it’s just unpleasant.

I’m not advocating for starvation, but I think successful dieting that doesn’t rely on some trickery necessarily involves enduring the sensation of hunger until the body adjusts to a new baseline.

Fronting up in advice to dieters and normalising the idea that it’s ok to feel hungry when adjusting your diet downwards would be hugely beneficial to people’s success in weight management I think.
It's not up to github to analyse the DMCA validity beyond "does it match the format and include required information". Youtube-dl owner can do it and request an instant revert if they're happy to take the responsibility.

No service provider is going to fight a specific case of DMCA for a third-party.
https://www.reddit.com/r/privacy/comments/jm37a1/youtube_wil...
Githubassests.com public certificate has expired, breaking the site
See https://github.com/.

Nothing on status.github.com yet
A Discretization Attack [pdf]
Yup, that glaive is unmistakable. I knew that hours of playing Dynasty Warriors would pay off.
That's why they are serving un-styled pages, I guess. I thought my browser was acting up.
New online bookshop unites indies
How long do your batteries lasts which such a workload?

I have a short 15 minute 3-km ebike daily commute. But after 1 year the battery is obviously weaker. And i never made it past 2 years before a battery swap. I charge daily.

(I still kept my smallish car, which i now use much less)
Just ran into the same issue... Most/Everything still seems to work though, because only the assets are missing ^^ However it is not pretty.
github.githubassets.com
expired 1 day ago
github.com is OK now
There's nothing to circumvent. It's not illegal.
Maybe browsers should put up a warning when a certificate is about to expire; say two weeks away. Nobody should let their certificate get that close to expiring, but if it does, you'd rather it generate a lot of visible warnings before simply ceasing to work at all.
I thought it was just a local CDN node issue until I see this on Hacker News :-(
Google is huge and they run a vast portion of the internet now. If they were to suddenly decide that all FastMail accounts should go to spam tomorrow, any users of FastMail would be SoL—they would be unable to communicate with a huge majority of the internet.

They could decide to randomly throw every 5th email that is not a gmail into spam and blame it on other providers having low reliability. Make it random enough to gently encourage you to get a gmail account again.

These are extreme examples, but Google could easily do these kinds of things and there is nothing any of us could do whether we use Gmail or not; it will affect us because they control so much.
There must be some kind of law "Every company will forget to renew a TLS certificate once"

I know I can't throw stones in this particular greenhouse :)
Classifying and Translating Objects to Another Language in Realtime on Android
Or another thing that could be very healthy for America is to finally have a few election cycles where both the Dem/Rep candidate are not reprehensible. That stops the narrative from becoming dire as ‘the most important election in our lifetime, and we can’t have a third party candidate stealing votes’. Democrats are particularly guilty of using this excuse over and over, and at some point need to stop resorting to it.
You could also use convergent encryption (https://www.vaultproject.io/docs/secrets/transit#convergent-...) to do this with only one field.
The pages being served are styled, we just can't securely load the stylesheets.
Pegasus: Tolerating Skewed Workloads in Distributed Storage [pdf]
I think the others are missing the fact that if you use the same salt for every row, it's less secure. So you'll be storing the email more securely, but still not as securely as you should be storing the password.

To do it any more securely would require pulling up every single record for its salt, and hashing the login with that salt and checking it. It's virtually impossible at any real scale.
Seems like microsoft has a real issue tracking their cert expiry lately
Google pay has been slow and unreliable for weeks now. I wonder what's gone wrong? Phonepe is also running a high-profile ad campaign on IPL matches. So makes sense that people are switching.
I don't know if it is ironic, but the vcs is decentralized. The main issue is project & code management (bug tracking, issue, planning, merge request, review UI, ...). But here we also have a lot of solution : Gitlab, Redmine, Savana, ... But Github give your project exposure to a lot of potential contributor, and tend to be used as an extension of your CV (many recruiter contacted me because of my activities on GH ...). Lets be honest, the social network side of GH is one of its very important side.
The various studies done also show that most people regain the weight back 6 months to a year down the line. Right now the only thing we can be sure of is that weight loss only works for the minority in the long term and the only way to be slim is to always be that way.

We did at least work out why processed foods appeared to be more calories, turns out we spend about 20% more energy digesting food that isn't highly processed. Which also goes to show that calories in calories out is far over simplified when people are suggesting deficits that could easily be less than 20% of daily intake.

It is a chemical process and a very complex one at that and right now food science is basically garbage tier with very little in the way of good studies, most of the better end is on mice and rats.
This sounds a lot like the Weight Watchers plan.

I don't think they carry around little scales anymore, but they "score" everything they eat.

From the folks I know that do it, it works. I think they need to keep it up, though.
Yes - I watch it closely! I hope it will be a success - and then everybody will copy it :) The cost is really minimal.

But in the meantime - black or grey market. It used to be possible to buy the tests from online pharmacies - but now I hear from my friends that they start checking if you really are a medical professional.
Looking forward towards Amazon Snowtot.

In all seriousness though, the discussion later in the article explaining how the postal service was a lot more personal in those days explains it. Just take any piece of literature from around then that has a mailman as a character, and it's always someone who's on first-name basis with everyone in the village. Combine that with a lot more limited transportation options in general in those times, and the idea of shipping the kid a few miles down the road by mail doesn't seem such a bad idea.

And of course the occurrences were rare enough to be newsworthy.
They haven't been made in years but you can find them on eBay for about US$60
I'd think the mid 1950s would be about the time they were phased out. Although I can't say I've ever heard of them being made illegal to use but I suppose they must have been at some time or another.
Ha, was waiting for that one, XD

I said older because the weight-loss plans I came across usually only referred to case studies where people are in their 20s.

And from what I could gather, most people past 35 really start struggling with their weight.
So the "secret" is to take diet seriously? Not to dismiss his great achievements, but when I did read that he had tried every diet under the sun, I would have expected that calorie counting would have been part of it.
Wow, pretty cool stuff! We've only been growing flowers and random plants on the balcony but I'll give some crops a go in the spring Checked out the link too - https://permapeople.org/search?Good+for+containers=true - I think I'll go with some chives, looks hard to mess up
The first month of my graph looked the same. 6 month time scale was more interesting though...
All the better to get out while you still can!
You seem to be assuming that a certain portion of the population needs to work, and the rest of the population doesn't really need to work.

This is just not true, at least not in the timeframe of months/years that we're talking about. Or at least, not true while continuing to enjoy a fairly modern lifestyle.

I mean, we can definitely get rid of anyone working in education, for example. And get rid of anyone working in anything that helps with education (e.g. software for education, etc). We can also get rid of anyone working in entertainment. Or tech. That is definitely doable. It just means a huge portion of the population can't do 90% of the things they do all day (i.e. jobs aside, how much time do people spend watching TV, on the internet, etc?).
Technologists once again shocked that a policy issue cannot be solved by Technology.

Tech solutions that are not aligned with the policy only work until lawyers and politicians catch up.
Not known on https://www.githubstatus.com/ yet.
Something the article misses is complementary services. A lot of companies don’t care at all about X vs 2X for server cost, but if you lack certain features around say managed Spark job execution or serverless container deployments, it’s a total deal-breaker.

AWS, Azure and GCP tend to have the widest coverage of complementary services, along with all the other stuff like volume discounts and credits. I believe in many cases it could be perfectly rational to pay 2X more on just the server portion.

I also think support is another big issue, but GCP makes me second-guess myself, since they are the third largest provider but their support system is (literally) to just say “fuck you, read our upsell-laden docs.”

A good example is the way the GKE SLA page mentions a bunch of beta features of kubernetes will void your SLA credits, when in reality Anthos is not remotely close to being ready for production use by most teams and they have no choice but to rely on beta features in GKE. Multi-cluster ingress is a good example of this - “just switch to Anthos” as a proposed solution is literally equivalent to saying, “fuck you.”
This feels like a push by Google to make people start using Google One. Google One has a feature "access to experts/support". Google is trying to create a problem while selling a solution.
My prior on this is that it's probably incorrect. However, it's possible that I am wrong, and the OP may provide sources that change my mind.

The most likely outcome is no reply, but that suits me fine as reasonable observers will conclude that there isn't any evidence.
That doesn't seem to be the case.

openssl s_client -connect github.githubassets.com:443
verify error:num=10:certificate has expired
notAfter=Nov 2 12:00;00 2020 GMT

That's today about 22min ago from time of writing, not 1 day ago.

Depending on what your browser still has in its cache, github.com will be in various states of degradation.
Github not working for me either
Yeh the keyboard for other computers would be awesome.
This has nothing to do with scientific fact? It's about risk/reward for NSA. If Denmark finds out that they were deliberately using the system on Danish citizens, the NSA risks losing access to the system. Not taking that risk in exchange for having to use other methods to investigate Danes sounds like a perfectly reasonable risk/reward calculation from the NSA's point of view, especially considering how small Denmark is.

I mean, sure, they can lie about it, but that always carries a risk of being found out. Especially considering it sounds like from the article that FE can see who the NSA is searching for (and even has to approve the search queries).
This is casually referred to as the snake diet.

Theravada monks also follow this approach, but not for weight-loss reasons, obviously
Thinking about safety and security can benefit from a threat model: what sort of things do we expect to happen, and are we trying to prevent?

I think of safe handling of user input as "first order safety". Server-side code handling arbitrary input from the network should use an adversarial model: assume that users will exploit any weakness we expose, no matter how convoluted.

Program/library architecture and design is more like "higher order safety": we're not directly preventing attacks, we're preventing code-which-allows-attacks. I don't follow an adversarial approach here: I'm not trying to stop a rogue developer from inserting backdoors into a project, I'm trying to catch and prevent mistakes from being made.

If there's a correct-by-construction way to approach certain problems then I'll gladly use it (e.g. one of my current projects uses NonEmptyString, NonEmptySet and NonEmptyList, which use a (head, tail) pair to guarantee non-emptiness). If that's not practical, but there is a way to encapsulate problematic code using newtypes and modularity, then I'll take that (e.g. this project has a NoSpace newtype for strings without whitespace). If it's not practical to encapsulate problematic code, then I'd still rather make it obvious when something dodgy is happening, e.g. even if a 'StatusCode' is isomorphic to a String, the minor cost of wrapping it up in a newtype is worth it to prevent obvious mistakes like appending semantically distinct values. It's all about bang-for-buck.

I also agree that type synonyms usually aren't worth it. The extra cost of introducing a newtype isn't much, and it buys us a lot more in terms of ruling out problems, making conversions more explicit, better error messages, etc.
You're excused, based on the useless and annoying cookie notice law.
This ex-Facebooker helped Trump win, then built a machine to take him down
Ok, it is now, although they call it an issue with pull requests.
Thank you!

I honestly didn't know (not paying attention to web programming back then) and was wondering if PHP's craziness was standard back then.
Hopefully they won't ban mine!

https://github.com/TimDaub/youtube-dl
Browsers are very careful in introducing warnings to users that are meant to go to admins. They dislike the indirect "but users will complain to admins" route and I can't blame them - every warning a user will see and not understand leads to warning fatigue.
Addendum because I can't edit any more. Apparently Telegram needs a phone number as well.
That's a really good idea! I'm going to set that up right away! Then it's "only" docs/sheets that I should get automatically backed up.
I needed to simplify even more:

Calorie counting doesn't work for me, I'm just not disciplined enough. I learned a shortcut, which might not work for others: I try to go a bit hungry. If I'm hungry, I'm in calorie deficit. I might even get a bit cold. Turns out I can just listen to the hunger feeling and know whether I'm currently losing or gaining weight. But walking past a bakery, inhaling the smell of fresh bread... Can't say I'm always able to resist.

Some other simplifications:

- I don't keep food at home anymore. Only rice and some bland tasting astronaut food which I can only tolerate when hungry enough.

- I love sugar, and I'm cheating my brain by drinking cola zero. I've gotten so used to it by now that I actually really like the taste and it feels like getting a sugar fix.

- No fixed meals: Only eating when actually hungry, not because it is time.
This is a script I call "certdays.sh" which you can call from your regular tests like this:

certdays.sh somedomain.com 14

If the certificate for somedomain.com is valid less then 14 days, it will fail:

https://github.com/no-gravity/certdays
I found the layout of this article too annoying to finish reading it.
Maybe it is some _copyrighted_ beacon? I've read somewhere that Oracle have made some verse a part of some network API of theirs to be able to copyright it.
No, trolleybuses: https://kauno.diena.lt/sites/default/files/styles/940x000/pu...
Yes chives are great, especially since they are perennial and once you grow them, you will have a endless supply! Can be combined well with Strawberries, which is another easy plant for containers and they are perennial too!
The pipe and backslash are beside the Z key as well, making the left side shift key narrower.
Boris Johnson lied about new “rapid turnaround” coronavirus tests