skysight-inc/HackerNews huggingface dataset:
The entire United States government system is designed to prevent any one part of it from accumulating too much power. This is known as the 'Separation of Powers'. The executive branch is not a dictatorship.

Just because the executive branch of the government says 'tik tok is banned' doesn't mean that it is. You are allowed to challenge the decision in the judicial branch, which is what is happening here.

This is not unusual, and it is also not unusual for the judicial branch to rule against the other branches of government.

https://en.wikipedia.org/wiki/Separation_of_powers
With SSD it's common that they start returning zeros or garbage, sometimes transiently, before they fail. In the case of single device Btrfs, it basically acts as an early warning detection system, and it will be a lot more sensitive to this than other file systems because both metadata (the fs itself) and your data, are checksummed. And the data is a much bigger portion of the payload on your drive. It's way more likely to be hit by hardware related issues, including even memory bit flips.

An inability to mount Btrfs means metadata has been hit by some kind of corruption, and there are more structures in Btrfs that are critical. If they're hit, you see mount failure. And repair can be harder on Btrfs as well.

But it also has a lot more opportunities for recovery that aren't very well understood or discussed. In part because very serious problems like this aren't that common. And also, quite a lot of people give up. Maybe they have backups and just start over with a new file system and restore. Or through no fault of their own they don't persevere with 'btrfs restore' - which is a very capable tool but requires specialized knowledge right now to use it effectively.

One of the things that'll take a mindset shift is the idea of emphasizing recoveries over repairs. One improvement coming soonish (hopefully end of the year) is more tolerant read-only rescue mount option, making it possible for users to recover with normal tools rather than 'btrfs restore'.
> that is just wishful thinking

Of course it is. That's kind of the point of my comment.
Stimulus Checks Exchanged for Bitcoin Will Become the Best Investment in History
New Badass Python GUI Library DearPyGui
That's how any criminal case goes also. A government attorney (prosecutor) is arguing on behalf of the government to a judge that also works for the government, and yet prosecutors lose all the time. The US has independent branches of government for a reason.
Numbers seem reasonable. Does anyone have a quick guide for me to use ECR as a transparent cache or something?
I think it's important to also reframe what extraordinary even means. Many people are comparing themselves to the most privileged of backgrounds - where they were at the top from birth and only had to get a bit higher. I'm considered extraordinary in comparison to the place I grew up - just because of my background and where I am now.

On top of this - I am wary of being singly great at something. Living in Silicon Valley has reinforced this hard. I'm obviously comparing myself (unfairly) to people who are incredibly well compensated, maybe with some bullshit job title, and so forth. I've learned that - usually - those people are fucking terrible at everything else but that one thing they do. (Sometimes I'm not even sure what that one they do good at is - kiss ass?) I'm talking really bad at everything else. They might be an excellent programmer and think up some fancy architecture or whatever - but they don't know how to install an app and follow some directions of their phone without some hand holding. Could they even build a computer from parts? Nah. Change oil in their car? It ain't happening in a million years. COOK!? Sorry - I only order out, my nanny cooks for the family, eat company food, or put pizza rolls in the oven. Take care of my kids and be an inspiring role model?! No - no, sorry, I didn't sign up for that... I had kids because I was bored after my second startup. Children aren't my passion!

Extraordinary usually requires compromise and I'm not one to compromise. I tend to look at things a bit like: I could be first place in one thing or 2nd in everything.
If your perspective is this short-sighted, then the benefits are for society, not for you.

We don't want to be stuck with the bill when you have an accident that you're clearly not anticipating and realize that you were wrong in thinking that you "don't need that crap."

If you're not going to act like an adult on your own, then society is going to ask your employer to act like your babysitter.
Facebook agrees to pay France €106M in back taxes
He has a tendency to substantiate his views with bad takes on science.
Currently 9 arc files containing 13k lines of code. If you throw in the language implementation it's 11 files and 15k lines.
I am working on something similar, although with a different focus (mobile coding): https://github.com/stefanhaustein/tantilla

P.S.: Might make sense to try to get to a common type-safe language spec?
A picture that summarise this comment

https://na.cx/i/YW5ziy9.jpg
I agree more than disagree.

It's the reasonableness and information in an area filled with tons of pseudo-scientific nonsense that's refreshing, 'real doctor' was a colloquialism, but it's not the authority itself that I find important (though it is a point in favor of the information being likely more accurate).

Having an MD doesn't make you instantly right, but it does mean you have some background/training that a lay person doesn't. It has some bearing on likeliness of claims being true.
>Ex: I’d rather pay $100 to an ISP making 20% margin than $200 to an ISP making 10% margin.

But you can't because it costs $180 to provide the service. If it could be provided cheaper they'd keep charging you $200 and pocket the extra profit.
> The hardest part of that would be verifying image authenticity.

That's exactly what Bittorrent does with its hash tree. You'd get the root hash (extremely tiny) from Docker Hub, and the rest of the metadata, as well as the data blocks, from the swarm. The authenticity is all handled by the TLS that serves you the root infohash from Docker Hub. It's a Merkle tree: the root hash is for the metadata, which is a list of hashes of the blocks.
Quote would have been better if he said "and can" after "and want." But, as general advice, I think it's still pretty good.
> That jet fuel and gasoline burning...

According to the article you linked:

> The rise is largely driven by an increased demand for goods and services – rather than air travel, the research finds.

But yes, as far as local job-creation goes, tourism is much more palatable than heavy industry. Would you rather live near charming shops and restaurants or a big factory?
They won the container war but lost the orchestration war. Even if docker compose was successful though, I fail to see how the clouds wouldn’t just replicate everything. So I guess they just failed to monetize the technology.
I see the government being bound and limited as a foundation of our government and, usually, a good thing.
Yeah per user revenue is optimistically like < 1% of US/Europe probably
> which by definition will be at least as large as static HTML for the same content

Not really by definition - tables rendered on the server side are a good example of a payload that can easily be larger than template + dataset.
Thank you. A pretty good read, and honest.
I’m very puzzled by this attitude. As an accelerator physicist, would you want you accelerator to be held together by duct tape, and producing inconsistent results? Would you complain that you’re not a professional machinist when somebody pointed it out? Why is software any different than hardware in this respect?
Not sure where that idea came from but it has never been a single file. More at https://news.ycombinator.com/item?id=24263568
I remember one Unity developer was talking about how Package Manager will enable them to deliver smaller install/download size on top of easy to update core functionality. This was like 2-3 years ago. Unity 2017 for Win64 download size is around 500MB today, Unity 2020 with Package Manager is 1.7GB
Stated differently:

Diminishing returns on time invested to expertise gained becomes unattractive at the highest expertise levels. A lot of time is required for a small growth in expertise (pushing to expand the frontier of knowledge in physics, for example).

You can be an expert, but not the world class expert, with less time invested (before diminishing returns becomes prohibitive). I like to think of this as catching up to the state of the art, but not actively working to advance it (much, much harder).

Do this in multiple fields and you may have a unique skillset or perspective that's valuable.
It is excellent and easy-to-follow … right up until the denotational semantics piece, which I found very difficult to understand. Maybe someday!
My point, which I guess I did not make clearly enough, is that container systems don't necessarily exist or remain supported over the ten-year period being discussed. The idea of ironing over long-term compatibility issues using a container environment seems like a great one! (For the record, .tgz -- the "standard" format for scientific code releases in 2010, does not solve these problems at all.)

But the "implementation detail" of which container format you use, and whether it will still be supported in 10 years, is not an implementation detail at all -- since this will determine whether containerization actually solves the problem of helping your code run a decade later. This gets worse as the number, complexity and of container formats expands.

Of course if what you mean is that researchers should provide perpetual maintenance for their older code packages, moving them from one obsolete platform to a more recent one, then you're making a totally different and very expensive suggestion.
Can you not jailbreak automotive software?
Maybe? The major, MAJOR difference is that if a kindergarten class is in front of a teacher, the teacher can see the class and there are consequences for misbehavior / disobedience and the teacher can manage the class. The teacher has tools for making the kids pay attention that don't really seem possible over a longer-term Zoom meeting.

The kids require supervision by parents on the other end of the call to achieve even close to this (the parents don't have the same "classroom management" skills), so I figure... "Might as well do it myself". That's the main Zoom vs. Kindergarten difference.
Could you imagine a government agency spying on its own citizens? In America that would be illegal and unconstitutional.

We would have to immediately defund that agency.
Any sources? I've seen much discussion of vitamin D and COVID, and they all appear to imply that supplements would help.
Yes, I think it's older than 1991. If its law then I wonder why they did not build ramps to provide entry to at least the first floor. Elevator is definitely out of question without tearing apart the entire building.
This is significant - if your organization only uses a few dozen base images from DockerHub, those images will only be downloaded by each build node _once_, then never again.

Unless you’re using something like AWS CodeBuild that spins up a Linux/Windows container for your build environment, executes bash commands in a yaml file, and then terminates it when it is done. Nothing is stored locally after the build is finished.

I’m sure there are other similar services. Wouldn’t Azure Devops using hosted builds do basically the same thing? I haven’t used it since they changed the name from Visual Studio Team Services.
Most scientific runs are scaled where you run multiple replicates. And not all scientific runs are high-performance in the HPC sense. Even if your code is HPC in the HPC sense, and requires CUDA, and 40,000 cores, you should consider creating a release flag where an end user can do at least single "slow" run on a CPU on a reduced dataset, in single threaded mode, to sanity check the results and at least verify that the computational and algorithmic pipeline is sound at the most basic level.

I used to be a scientist. I get it, getting scientists to do this is like pulling teeth, but it's the least you could do to give other people confidence in your results.
Sorry, please define RCE in this case? Remote computation engine?
I have had burnout in the past, and I’m sorry to say 4 weeks is likely not enough.

For me it was about 1 year to recover.

Sure I could have returned to work after a month or two, because I would no longer have been “exhausted” physically, but going straight back into it would have burnt off that top layer of rest, and still revealed the ruined core within, to truly heal it took a year, then my excitement for programming came back, the excitement about not being able to sleep because there’s so much to enjoy, and the pure joy of creation

I hate that it took a year to come back, being hyper industrious this long period killed me. But I am grateful that it came back.

I appreciate not everyone has the financial ability to take a year off. I didn’t either, but I was lucky that I could adapt a simple, frugal existence to survive. I support UBI or whatever form of support anyone can give people who burnout because it’s real and it’s painful.

I wish you all the best in your recovery, and wrote this to tell you there is light at the end of the tunnel
Oh good call on the oxalate content! I'll be on the look out for that now, though it seems that I've been using low oxalate varieties of kale by preference.

I've been having a salad either as a whole meal or as a side every day as well. I still think I would benefit from eating more vegetables but only experiment and observation will tell.
It’s not a critical department at all —- major leadership doesn’t normally give it a shit. It’s just symbolic at most of the times
> I personally think that MIPS is just not relevant enough in the real world anymore to deserve being taught at school. But I do get that there already is a lot of material out there.

From a pedagogy perspective, the course materials / textbooks haven't really caught up yet. Also, the project I was referring to was in an Architecture class; I would contend that the underlying concepts of how a pipeline works can be taught pretty much any architecture. MIPS is easy to understand, which makes it well suited for teaching.

That said, at my university, we are slowly transitioning to RISC-V, so hopefully within a few years it will have propagated to all of the courses.
> You’re likely to copy an existing app and make a slight improvement in terms of product, pricing, or both. Guess what, the next smart person with the same idea can do the same to you.

Yeah that's a game that personally I could never bother playing. It sounds to me like trying to be the alpha fish in a tiny aquarium... that is closely observed and experimented with.

Going indie is no small effort, so if I did it I'd try to play a bigger game, with more freedom, where I can give my best without fear of being outmarketed because someone beat my price by a couple dollars.

I reckon the same applies to most 'app store' ecosystems.
This looks cool. Is there anything specific you're trying to do with Mys that another language didn't do? Nim comes to mind as being in a similar space.

Small nitpick about the title: Python is strongly typed.
An OS that crashes when pushed moderately hard does not bode confidence for something that must have very near to 100% uptime.
based on the S-1 I don't see how they will ever be profitable.
I don't know the exact history, but this reads as something that can't possibly be true. Had the "Irish shantytowns" successfully excluded other minorities? If so, how? Is there any "shantytown" anywhere on earth that isn't populated much more densely than 1850s Manhattan? What makes a "shantytown" not resemble a neighborhood? Not enough picket fences?
Pics of what?
Uber is very clever. They've been able to automate the task of the slave overseer with the bullwhip. Dropping drivers who don't get enough stars keeps them in fear and working hard. Dropping drivers for refusing rides keeps them ready for work even while they're not being paid.

"Machines should think. People should work" - no longer the future, it's the present.
Given that the OP is the github project owner, are you aware of https://chocopy.org/ ?

You might want to also look at Shedskin, https://github.com/shedskin/shedskin which converts implicitly typed Python programs to C++
Why, the website could still have the hash for the image which is only a few KB versus hundreds of megabytes or even gigabytes. Just have the bit-docker app check the hash before executing.
With phones replacing traditional uses of laptops and desktops, "but its a phone, and their software/their rules" will not be an appropriate defense of Apple. We would never accept Microsoft banning Chrome or Firefox from being installed on W10 because it "duplicates native functionality". Or maybe that's unfortunate way computing is headed with Google/Apple tightly locking in their platforms and their rent-seeking policies on their App stores. Time will tell.

Tim Sweeney is the epitome of geek success. Hes a self-made wildly successful programmer-businessman with nerd-cred that rivals John Carmack. It's sad to see that he is not getting enough support here. (I fully accept that MS is probably just backing the anti-apple sentiment in this case)
It depends on your latitude and skin color, mostly, and other factors like how much clothing you wear.
This is a ridiculously defeatist attitude, and the quicker you can drop it the better off you'll be.
Gridlessbuilder.js: Build responsive content without grid constraints
With extreme propaganda and marketing of anti-labor rights movements by the companies they work for, why would they?
Show HN: Screpy v1.4.0 Released. New Diagnostics Page
I can usually max out my connection speed with torrents. This is rarely the case with direct downloads.
Previous discussion of ChocoPy is here, https://news.ycombinator.com/item?id=20957420
How many lines of code do I have?
of what? The CIA renditioning them?
The best algorithm that NIST tested had a 0.01% false positive rate and it was uniform across races.

Consider an airport like Heathrow, which uses facial recognition widely. 220,000 people travel through heathrow per day. With a 0.01% false positive rate, you are falsely flagging 22 people per day.

You can not rely on facial recognition to jail people.
At least in the bay area the gap is enormous - and biotech is not known for paying poorly!
An HR leader once shared with me: "Because every hire is a compromise between available candidates.. there is no perfect hire, and no two candidates are truly comparable."

It's really an eye-opening statement for tech roles, and how formally taught and self-taught/transferred folks can work side by side successfully.

The unique thing about tech skills is there's more than one valid way to solve a problem or do something "right". It's hard to measure that.

Not even two CS majors who may be equivalently capable (in different ways) on the outset will be identical, nor will be the outcome of how they grow their strengths and capabilities.

I look forward to HR continuing to evolve better to understand technical roles and contributions as being beyond a binary yes/no measurement.

Current hiring practices continue not to extend well from a bricks and mortar approach to a abstracted online/digital measurement.

In the meantime... knowing how to leverage and communicate your skillet in a transferable way is really what's important. There's no better way to do that than learning to write and communicate well, and better than others.
Many of these also apply for chip startups.
What is the issue here? Is the torrent checksum (provided by docker) not enough?
Which therapeutical methods?
>I really don't understand the use of this sort of writing.

It's aimed at the NYT's audience: rich, white, liberal urbanite milliennials who don't care about starting families and who would rather read crap that feeds their confirmation biases.
You are correct - but also note government in this case also includes city, county, and state governments, not just the federal government.

If you ignore the cases in which a town has granted a monopoly to any given provider, we also have many cases where the ISPs own the poles the lines are on, or own the underground cable channels. They are not required to provide a way to buy or rent space on the poles or in the underground channels.

You end up in a situation where any upstart competitor has to duplicate the entire infrastructure in order to begin competing. It's one of the reasons the ISPs have been super freaked out by the high bandwidth microwave links (AirFiber for instance), because it significantly reduces the cost of establishing baseline service.

I'm fairly envious of the European countries that forbid ISPs or cell providers from owning (or at least having a monopoly on) the infrastructure (such as poles, cell towers, underground channels, etc.)
What are we doing then? We can choose bad scientific code but use "good examples" for other types of code? Seems convenient.
Respectfully, your questions can be easily answered by reading the 1619 project. For example, every article within the project contains the following insert, describing it as an activist effort and containing the quote about "reframing history":

> The 1619 Project is an ongoing initiative from The New York Times Magazine that began in August 2019, the 400th anniversary of the beginning of American slavery. It aims to reframe the country’s history by placing the consequences of slavery and the contributions of black Americans at the very center of our national narrative.

If you want a specific link, https://www.nytimes.com/interactive/2019/08/14/magazine/blac... was the first article, but as I mentioned this insert is present in all the others.
You don't need to get paid directly for those skills to be valuable.

I started brushing up on my writing skills since at the higher levels of engineering (and prob all other fields) communicating your ideas more effectively will open up way more opportunities down the line.

Some of those may have monetary rewards. But the reward can be something else as well
Great article! Test case generation is pretty neat stuff! :)

---

The author mentions John Regehr.

One of John's earlier projects was Csmith, which was a specialized test case generator for C. It was hugely successful in identifying hundreds of bugs in various C compiler implementations, including LLVM and GCC.

The same research group (but without John now because he's working on other things) is working on a project called Xsmith. Xsmith is essentially the answer to the question "What if Csmith could be made to work on any language?" Xsmith constitutes a DSL for specifying a programming language (with a lot of the tricky technical stuff handled behind-the-scenes), so you as the developer use Xsmith to specify your language and — POOF! You now have a test case generator for your language.

Development is ongoing, but the project has promise.

More specific to this post: an MS student in the project is working on a WASM generator using Xsmith, which has helped guide a lot of the development of the project.

I make no assertions about the usability of Xsmith at the present time. As I said, development is ongoing.

---

Link to Xsmith repo: https://gitlab.flux.utah.edu/xsmith/xsmith

Link to Wasm generator: https://gitlab.flux.utah.edu/xsmith/webassembly-sandbox
> Are people really writing DAWs and big desktop app interfaces in Unity?

I’d love to know if Unity is made in Unity. The Godot game engine’s development environment is made in Godot (which is why it was able to be run in web browsers using WebAssembly https://news.ycombinator.com/item?id=23354286).