skysight-inc/HackerNews huggingface dataset:
The difference between "Undefined behavior", as the term is used in the Standard, and "Implementation-Defined Behavior", is that implementations are required to document at least some kind of guarantee about the behavior of the latter, even in cases where guaranteeing anything about behavior would be expensive, but nothing that could be guaranteed about the behavior would be useful.

What is needed is a category of actions where implementations (which I would call "conditionally-defined", where implementations would be required to indicate via "machine-readable" means [e.g. predefined macros, compiler intrinsics, etc.] all possible consequences (one of which would be UB), from which the implementation might choose in Unspecified fashion. If an implementation reports that it may process signed arithmetic using temporary values that may, at the compiler's leisure, be of an unspecified size that's larger than specified, but signed overflow will have no effect other than to yield values that may be larger than their type would normally be capable of holding, then the implementation would be required to behave in that fashion if integer overflow occurs.

In general, the most efficient code meeting application requirements could be generated by demanding semantics which are as loose as possible without increasing the amount of user code required to meet those requirements. Because different implementations are used for different purposes, so single set of behavioral guarantees would be optimal for all purposes. If compilers are allowed to reject code that demands guarantees an implementation doesn't support, then the choice of what guarantees to support could safely be treated as a Quality of Implementation issue, but the behavior of code that claims to support guarantees would be a conformance issue.
I have a Kuhl zip-up fleece hoodie - a large phone fits in every pocket. There are zippers on the pockets to keep the phone from falling out. It's by far the most comfortable hoodie I own, even though it isn't very attractive.
How much of this is the "SoftBank Squeeze"?

I know 2 (SoftBank funded) companies that are in trouble.
Is it really a surprise though? Not all tech companies operate in "essential" sector and right now people I would consider essential ( say.. dentists ) are closing their doors until the worst is over. No one is immune now. Hmm. I could have said yet and no pun intended.
And most countries would give you 4 or more weeks annual leave
> It offers very little solace to the few Atom users still hanging on

This is kind of hilarious. What are you hanging on for? It's damn editor. Pick a new one and move on.
Right? Simple things like selecting/copying text can be so annoying and unintuitive to the point where I wasn't feeling comfortable even after 1.5 years, and I'm somewhat of a power user in that I like to figure out the most effective ways of doing things. With iOS I've failed on so many different occasions and having to succumb to what I'd consider workarounds.

Another glaringly obvious thing with Android that frustrated me to no end with iOS: Why the fuck do you need to swipe twice to remove a notification. So many swipes wasted that I could've used for Tinder instead.

I have a boatload of stuff that annoys me about iOS, to the point where at one point thought about opening a Twitter account to send a daily tweet about something that sucks on iOS.

Emojis look good though.
What's with this silly nth degree stuff? Why can't you handle the idea of incremental change? Is the situation really beyond any worthwhile improvement in your eyes?

I'm not reassured when you describe recurrent mass murder of children as a trope. Get some perspective.
This could be cool for recruiting, too, if it handles sequential meetings.
First customer service. I never had any problems, hidden costs etc.

Return is free, you get a sticker and that's all.

Their prices are the same as Boulanger or Darty and I prefer to pay 3€ more and know I will never have problems.

As a counter example, my family was always buying at Darty and one day I went to the shop with a defective device. They first wanted me to choose a similar device because they would/could not repair. I wanted the same or nothing. So the manager told me they would only give me vouchers. I got that in writing and told them I would be back. He was smirking and said good bye. When I came back with a letter from their CEO saying sorry (and a cheque) he was less snarky.

This is the kind of trick I hate because of the tension and most time. This does not happen with Amazon.

Then there is delivery in their lockers. Super easy, open till 21,no need to worry to miss someone.

The only things I wrote not buy from them are home appliances because they do not provide installation (like Darty or Boulanger do)
That's not inconsistent with the Seattle timeline. But for sure genetic analysis of the viruses would reveal the source.

"Stanford’s virology lab, looking retroactively at some 2,800 patient samples collected since January, did not find the first COVID-19 cases until late February — from two patients who were tested Feb. 21 and Feb. 23"

Again not inconsistent with the Seattle timeline.
This has me furious, i've used the other iPhone SE before and the size is perfect.
From the PhDs I know, yes, it's true. Grad school can be brutal, but there are a few ways around that:

1. Most of the "soul destroying" aspect of graduate school is because you're at your PIs mercy when it comes to landing a post-doc or industry position. Without a good reference from your PI, you're truly screwed. If I were to do a PhD in retirement, I don't need any of that. Worse comes to worse, I can just leave.

2. I would also find a PI who was later on in years (professor emeritus)? They've been there, done that, have a steady flow of grant money and nothing to prove. I worked with a prof like this in school and he came into the lab purely out of enjoyment of science. Screw the grind.
Yeah, but you can't easily create and manage groups with SMS or share photos and videos conveniently and absolutely everyone owns a smartphone now from the wealthy to homeless people so downloading a cross platform app is not a barrier
I'm curious if you've ever played with powershell or jq/jc/jsonifying *sh and how this compares?

I had a period when I was mainly on windows where I quite enjoyed powershell and now that I'm back on linux I moved to trying jq/jc. Nushell seems pretty interesting.
Reasons to Avoid DevOps – Dev Man Walking – By Assaf Stone
That's essentially what they've done, at least temporarily.
Still making big bets: Paul Cormier takes over Red Hat amid pandemic uncertainty
Screensaver that parodies ZOOM calls
You may as well delete it. My point was to caution against the continued enthusiam of using this drug for COVID-19 despite the consequences of doing so.

The original article has no such problem. Yet the person I replied to could be interpreted as "wait, maybe its still good!". My comment makes zero sense as a reply to the original article.
Carta (from the article) posted the benefits for employees who got laid off. They're pretty amazing relative to others. https://medium.com/@henrysward/cartas-covid-19-layoff-cbb80e...
I installed Ubuntu 20.04 two days ago because my old system wasn't supported anymore.

I've tried very hard to work with Gnome Shell but there are several essential things that I can't get over. How is it possible that in 2020 a DE doesn't work well on more than 1 monitor? I mean, it works, but not how it should. I won't say anything about the top bar only showing on the primary monitor but if I'm focusing on another monitor and I hit the meta button to see the menu to search for an app or a file I have to check the main monitor.

I could partially fix this with an extension but it's not updated and it won't work with the current Gnome version.

So I had to install Unity, which is unsupported and has some bugs but at least doesn't stop me from doing basic things and doesn't get on my way.

As a linux user is frustrating. I don't understand it. I can't see myself using anything else besides Unity for the foreseable future.
I feel the same way when someone hands me an iPhone. In 2020, the operating systems are equally capable and refined, it's just a question of what you're used to. If you had a great Android phone for a few months, you'd probably be just as comfortable with it as you are an iPhone.

When someone asks me what phone to buy, my answer is always "what phone do you have now?" because frankly, there is no reason to switch from one to the other. It's just a waste of time and energy to go through that.
Earth-size, habitable-zone planet found hidden in early NASA Kepler data
That is... compelling, I admit, as Bellard was known for his use of various pseudonyms (e.g. Gérard Lantau for FFmpeg). But I guess Schindelin now works for Microsoft while Bellard still works for Amarisoft [1], right?

[1] https://www.amarisoft.com/about-us/
Well, no, if you have enough isolation then the virus runs out of hosts. It goes extinct unless it can survive latently or in some other host species. If we are getting infected by bats consistently then we are in trouble.
In terms of appointments, republicans have had control of the Supreme Court for years. In terms of the actual judges and their rulings that’s anybody’s guess. They could easily remove the tax while keeping the rest of the law unchanged or do just about anything.
Out of box / vanilla Emacs is pretty confusing doesn't include many popular packages - that is why some pre-made configs are very popular. On the other hand they might overwhelm you with features and very opinionated decisions.

If you want something close to what most users probably have setup and yet still close to vanilla you can give Emacs Prelude a try: https://prelude.emacsredux.com/en/latest/

I started with it, tried out the package selection, but then started a smaller config from scratch with what I liked from it.

Also good links:
https://www.masteringemacs.org/reading-guide
http://emacsrocks.com

I don't believe one should restrict oneself to a single editor, but rather follow a path of least resistance - Emacs is actually the path of least resistance when you want to have a custom editing experience.

Overall I use four editors Emacs, vi, notepad++ and VS Code. Emacs when doing Clojure or any other code so I can have something that is very convenient for me, vi and notepad++ on machines where I don't want to setup a config or where I do only simple text editing and VS Code where I would ocasionally need to install a plug-in, but I don't need to use it often.
A multiple-level break is a good idea, but I think that Java's labeled break is a better way to do it:

find_in_array_loop:
for(i = 0; i < n; i++)
for(j = 0; j < n; j++)
if(array[i][j] == x)
break find_in_array_loop;
Sounds like we need shorter IPv6 leases and more rotation between the prefixes, but that somehow goes a bit against what IPv6 should provide us - freedom to hold on to an address.
I don't think this is a counterexample, and the imagination lacked wasn't in the scope of what can be done in policy work, but in the scope of what can be done in tech.

To stay with your examples, some of the Gate's foundation efforts have largely been tech efforts, some haven't. Some of the things I mentioned off-the-top have potential to reach 10s to 100s of millions of people. MFA is a big $ number partially because the US healthcare system is expensive and inefficient, so that draws focus on $ saved ... other efforts may focus on lives impacted at much lower $ impacts.

Most public policy work isn't as big as MFA either.

I'm not saying policy work isn't important or impactful. I'm rejecting the idea that you (generic 'you') can't have similar effect in technology to what you might be able to achieve in policy; especially the idea that this is so clearly true that the "right" thing to do is quit technology to go into policy. Even assuming you can be as effective in policy work as you are in tech work, which isn't a given.
>They're looking for an acquisition, maybe an IPO, and exploiting users (and even on-prem customers!) is clearly going to be part of that game plan.

Could you elaborate?

In what way are you aware that Gitlab is:

- seeking acquisition (makes sense that they would, I am just seeking some evidence to confirm the suspicion). To be fair, a large part of why I use GitLab is because it is not owned by Microsoft. Hence I am interested in whether or not GitLab will stay independent or "sell out". Certainly I'd lean on the latter, but again, seeking evidence of any planning on their part to seek acquisition.

- exploiting users (or how it would be part of the "game plan" -- I can see exploiting user data they've gathered while users use their free service... but that's capitalism.
Is there any other way they currently or might in the future exploit users?)
> Saving the file does take about a minute or two, though.

Last time I strace-ed vim, it did a ftruncate to 0 on the original file before writing the whole content back; so no suprise it's rather slow if it dumps 10GB on disk :)
Damn I didn't read the troll part in time
CryptoAM Awards coinpass global Best Cryptocurrency Exchange of 2020
Ah yes, thanks for the clarification.
Yep. A screen's power consumption grows with the surface area of the screen (w * h) whereas a battery's capacity grows with the volume of the battery (w * h * d).

I think the dominant market pressures so far has been practical concerns like phone thickness and battery life so manufacturers - who are all also competing with their past products - are forced to sacrifice screen size options to compete. Now screen size is becoming unwieldy and screens/batteries have steadily improved so we might swing back the other way.
S-corps are pass through entities.
Flowers for Algernon
I wonder why this is a problem. Maybe our problem is with the assumption that companies should last forever in the first place. If it was not so difficult and stressful to change jobs, I think it would be better if more companies only existed for as long as they were useful/initiative, but when the steam runs out they are liquidated and everyone can walk away happily.
Check out this page, it has solutions depending on your OS: https://gist.github.com/ethack/110f7f46272447828352768e6cd1c...
All religions have a mystic branch which describes an awareness , usually transient, of a higher order to reality in which the suffering of people is "redeemed" or put into perspective or somehow negated.

One interesting thing is that the language and imagery used by the mystics of these different and separated religious traditions are often indistinguishable from each other- it's not clear if it was St. John of the Cross or Augustine or Zen Masters Ikkyu or Dogen who is saying them.

On thing they refer to in this transcendent reality is apprehension of "the coincidence of opposites". So for example, the obvious fact that a thing cannot both be and not be at the same time is itself contradicted or "resolved". In logic we say "not both A and not A" (or else a contradiction is permitted and from there literally anything can be proven).

If I were a goldfish, no matter how right the math you read to me was, I would not understand it, you or anything it referred to. Even as the atomic bomb it described exploded, I still would not understand the nature of reality which now quite literally impinged itself on my flesh.

What would it feel like to be confronted with that kind of knowledge? Would we recognize some formulation of it but reject it, as in: both A and not A?

Would it be something impossible, existing outside of what appears to us to be exhausted possibilities?

Not A
Not not A
Not both A and not A
Not not both A and not A.
etc?

We can feel the limits of our own thinking when we reach something which is logically impossible. We just can't get our thinking around these things; contraditions seem like an absolute dead end, leading everywhere and nowhere.

Are there things in our lives which we literally experience, like an atomic bomb disntegrating a goldfish, which even as they touch us and we feel them, we simply fail to comprehend the "real" meaning of them? The breeze? A look? A birth? Suffering?

Spirtual insight may be a thing like mathematicqal talent- some people have a talent for it and some people don't. Such a talent may be completely disconnected from normal intelligence. To people who don't have it, it seems like garbage, i.e. self-contradictory, self-pacifying wishful thinking.
That's not a feature. And in practice it's not even relevant, because you can start your VM at Windows startup and use Putty to ssh into booted system which takes a fraction of second.

Also slim CentOS image boots, well, not in one second, but something like 5 seconds. Fast enough IMO.
He's the president of the US (aka the most powerful political leader in the world). Whatever one's personal feelings about the man, him touting something unproven while in such a powerful role is bound to get a rise out of people.

He has an obligation to look out for his people. This is not how you do that. This is the opposite of responsible behavior.

I'm quite upset about the whole thing, not because I'm anti Trump, but because it's a global pandemic. This isn't run of the mill, business as usual bullshit where political things like cronyism and glad handing make any sense whatsoever.
Hoosiers! (https://www.goodreads.com/quotes/3789074-hazel-obsession-wit...)

Scroll up in the linked Wikipedia submission, and read Cat's Cradle if you haven't. This is nothing new - Cat's Cradle was published in 1963 - just looked back to Seuss and star-bellied Sneetches. It's simply become magnified w/ self-reinforcing social platform dynamics.
I don't understand, what's the deal with that Lewis sentence?

It seems pretty straightforward to parse. I read it as:

if(!somethingAboutMyHorse) {
// ? Road not taken.
} else {
//Spend a year in college.
}
I don’t see how 5G would help with that... that sounds like a carrier problem, not an LTE problem.

In my personal (and possibly wrong) opinion, even a very popular train station shouldn’t have enough people to oversubscribe the LTE airwaves and cause signal congestion.

The Atlanta airport has 3x to 4x as many passengers per year as Glasgow central station, and I’ve never had trouble getting good, solid cellular connection when I’m there... so I don’t think the number of people in close proximity is causing oversubscription of the airwaves.

The carrier you use probably hasn’t put up enough towers, or the towers just don’t have enough backhaul bandwidth to do anything useful.
Ooh you could even animate with a css transition from one bounce to the next with a linear curve; then you don't run any JS per frame, only at the bounces.
No, that is actually a perfectly reasonable karass.
Time to bring back fuckedcompany.com?

https://en.wikipedia.org/wiki/Fucked_Company
Anything that would make transitions between roles easier for employees during destruction of orgs sounds like good policy to support economic dynamism. A convo for another thread.
Emergency Elisp by Steve Yegge - best intro to get started with elisp.
This is starting to feel like trolling... Yes, I am seriously suggesting that. To continue on the trolling, I suggest that everyone now using 6" phones immediately upgrade to 7-8" and upgrade their wardrobe to clown clothing. Then they can have that huge screen estate to watch their videos on and pockets that match their devices.
That's pretty funny, but I think it's also fake
No, companies who produce mission critical products like chemical modeling and database systems are always going to critical. A product can be essential and still made out of 1s and 0s.
There's a whole category of pro cameras where the MP count is intentionally kept down to match the image-handling workflows behind the photographer.

Think of your classic Sports Illustrated photographer... those images are not going to run larger than double truck in a print magazine, and 12 MP is plenty for that. Heck, National Geographic's first digital two-page spread was shot with a Nikon D1X.

And news and sports images need to go out FAST... where again a lower MP count actually helps.
The 5/5s/SE form factor is beautiful. Why mess with it? Give me upgraded internals on that and I’ll buy it immediately. It feels a bit like they have to justify to themselves that they’re doing work by proverbially and literally smoothing out the edges until all phones just look alike.
For me it doesn't change the play area. If I reduce the window size then the logo just flies off screen.
> with NAT you couldn't identify all of the individual computers on my Internet connection...

Not if you're using WebRTC which would promptly leak the private IP address: https://news.ycombinator.com/item?id=12528184
It's a system of wealth redistribution. The problem is, when these systems are gamified by lawyers and people in the financial world, and they win, the wealth ends up being redistributed in the opposite direction as many people intended and the little guys lose.

Looking at the 10 years following the great recession it looks like this is what happened (although those redistributions were more explicitly directed towards the top of the pyramid upfront) but look at at how inequality statistics have moved since that event. It certainly doesn't seem to have favored those who are financially disenfranchised in our society.

The problem is the nature of society permanatly skews these events in the favor of the the people who have the most existing resources to figure out how to game the system.

If you want a much more in depth breakdown of how that happens structurally, read Hayeks the road to serfdom as I mentioned above.
> Wow, the Z1C is pretty old. Do you have any trouble with battery life?

z1c battery is cheap and not too hard to replace. all you need is a hair drier, credit card and adhesive to stick the back cover again.

i’ve replaced mine in like 10 minutes after watching instruction on yt
Earth-Size, Habitable Zone Planet Found Hidden in Early NASA Kepler Data
Well no-one would have thought that this pandemic would have been the cause of exposing these startup companies (unicorn or not) that are struggling to generate revenue and that rely on endless VC funding rounds for hyper-growth to start shrivelling up right now.

Perhaps it's time to focus on startups that actually generate revenue and high profits and invest in technology that is a good for everyone, such as healthcare rather than 'nice to haves' which have no plan for profitability.

As strangely predicted here: [0]

[0] https://news.ycombinator.com/item?id=21627809
Yes it is a system design.

Backblaze's main reliability system is erasure coding[4] of shards of files, which is not RAID[1][2]. RAID mirrors disks or volumes on block or filesystem layers, not files in userspace.

That being said, I stand corrected in that they did use RAID at some point in time[3] (RAID6 on 13+2 drives), and may still be using some form of RAID. OTOH their reliability calculations don't seem to consider RAID - calculating with individual drive failures and shard rebuilds.

[1] https://en.wikipedia.org/wiki/RAID

[2] https://en.wikipedia.org/wiki/Non-RAID_drive_architectures

[3] https://www.backblaze.com/b2/storage-pod.html

[4] https://www.backblaze.com/blog/cloud-storage-durability/
Did I really just read this?

You're upset that someone likes big phones because there are so many big phones?

This is really one of the most bizarre comments I've seen on this website.

We're not talking about rationing our food resources during a great depression where someone chimed in with "but I like excess rations!" while you get none. Nobody here has the power to change the size of manufactured phones with their two cent internet comments. What's the emotional bargaining for?

I really hope we can find a way to move beyond our hysterical fixation on gadgets and their grapple over our happiness. It's just a phone. It's just a laptop. It's just a smart toaster.