skysight-inc/HackerNews huggingface dataset:
I still can't believe this works. People criticise MacOS or linux for hiding configuration information across a thousand different files (and that ignores the whole dconf thing!), but a random hex magic folder does indeed take the biscuit.

Also -- it looks great! Why isn't that an option somewhere in Control Panels?
Masters in Intelligent Systems Engineering at Indiana University
Multiple people putting several hours of though behind a feature is what we call design by committee. It doesn't matter how much time was spent if the committee is not capable of finding a unified direction to the proposed changes.
A CLI to download binary from GitHub Releases
I think it's a matter of stakes. In UI design, while the risk to the business will vary case by case it's almost never as costly as the risk in governing. Committees just aren't great at moving fast, and in UI design moving slow might be more expensive than moving in the wrong direction and learning something.
Yes I find it weird that they both resent having local laws apply (when it's Malaysia) but value being covered by GDPR (when it's Germany). I can't really understand what they are wishing for.
> BTRFS has proven remarkably stable for a while now. A decade ago that wasn't quite as absolutely bulletproof, but today the situation is much different.

When I did a fresh install of Fedora 33 on my primary workstation 3 months ago, I had exactly the same rationale for sticking with the default BTRFS selection. "I'm sure it has come quite a long way since I last tried it, I would like to have some of those features, I know there are some large production installations now, and the fact that it's the default in Fedora is a sign of confidence from the community."

After 2 months of use, I ended up with a corrupt filesystem in the middle of my work day and could not find any way to recover from it other than to do a full reinstall and restore my files from a backup. This was on a single NVMe drive in a system running a few small VM's, a browser, a chat client, and a few terminals. Thankfully I only lost a day's worth of work, but that's the last time I install BTRFS on any of my personal systems.

> [...] it feels a bit odd that BTRFS is such a persistent target of slander & assault.

My experience is obviously anecdotal (as are all individual experiences), so I won't be surprised if you dismiss my comment like you did nullwarp's comment. But "slander & assault" just seems like a weird way to dismiss all critics of BTRFS at once, as if everyone is out to get BTRFS. Filesystems have a thankless job. Do it right, and most users will never even think about it. But lose a user's data once, and you've likely lost that user forever.

> A number of big names use BTRFS, including Facebook. I have yet to see any hyperscalers interested in ZFS.

ZFS is excellent for large arrays of spinning disks, but if you're using a bunch of fast SSD's, performance really sucks. There is a lot of lock contention contributing to that which isn't noticeable on slower devices. I can't speak to FB's environment, but if they're managing a large number of SSD's like most hyperscalers, then ZFS would probably get ruled out based on performance comparisons.
Related:

My theory is that all of Scottish cuisine is based on a dare.

Mike Myers
It sounds like they didn’t convey it all. As I read it, the boss only learned about the heroics after the employee had left and no one was around to put out the fires. And that sounds normal for the situation, because management did not want to hear about it.
Technically Steam isn't using Electron but CEF.
This sort of thing is absolutely not new since the “Jobs era.”

Early Mac OS X had exactly these criticisms leveled at it, for years.

Also https://en.m.wikipedia.org/wiki/Brushed_metal_(interface)
Personally I’d rather not turn the country into Somalia, the libertarian archetype.
Even worse, this week I ran into an issue which was answered with "just use .net 6" which isn't even out of beta yet.
It might be a good idea to talk about PWM in the article, since so many devices drive LEDs with PWM. With PWM, you typically run higher current than the 20ma mentioned in the article...just not continuously.
A few others here and there, like Curtis Yarvin:

https://graymirror.substack.com/
Google and efabless are offering free IC production for people who want to do open source chip design for what it's worth: https://www.efabless.com/open_shuttle_program

This started last summer and a number of interesting designs have been produced, pretty much entirely with free, open source tools.

Join the slack and ask around for projects that need help if you want to dip your toes in this sort of work! https://invite.skywater.tools/
I’ve heard that an option for Canadian workers pursuing US citizenship is to apply for a TN visa, then apply for consular processing from Canada while under TN visa status. Does this seem like a good option?

I’ve worked remotely for a small company for a number of years and am a core team member. I suspect I fit one of the definitions for an L1 visa except that the US company doesn’t have a presence in Canada other than my home office. Would this qualify? Or does there need to be a legitimate Canadian subsidiary to even be considered?

I suppose my last option would be H1-B but that seems like the least favourable.
We clearly are, in fact, talking about residency.

> As someone who travels a lot (not recently!)
The TN is irrelevant if you are living in Mexico. You can work for a US company without a TN visa or any type of work authorization if you are living in Mexico. Once you enter the US, however, you would need work authorization and your TN would remain valid for the limited intermittent employment that you describe. You might have some explaining to do when you travel to the US because of your absences but legally what you describe is fine.
The same 3 words killed hundreds of thousands of people in 2020: Wash your hands. Don't wear a mask.
Don't ask me, I was responding to "one of the wealthiest places in the world". Though I think schools with rich enough families attending do have attached foundations and just ask for charitable donations.

The easiest way to live in the area as a schoolteacher is to marry an engineer or someone else with a home, too.
Check out that Tackling the Awkward Squad that I mentioned elsewhere. It's about as lucid an explanation of the what and why as I've ever seen, by one of the original authors of Haskell.

https://www.microsoft.com/en-us/research/publication/tacklin...
Waiting Room is intended for a very specific use case, where there is an enormous amount of demand for a limited supply. We don't expect most web sites to use it.

> these days, most vaccine appointment slots are empty.

This is only true in the US and a couple other countries. Most of the world is still waiting.

> What the technical problem warrants is a strong globally consistent kv data source.

As I tried to explain in my previous reply, there is no general solution that would allow infinite scalability of overlapping transactions. There may be solutions in specific use cases. For example, if you want to store a counter that can be atomically incremented, there are ways to scale that by using a tree topology with branches aggregating batches of requests to submit to the root node. But that's a specific solution to a specific problem, and it involves a use-case-specific API (not a general transaction API).

We probably will start offering such specific primitives for specific problems, in due time.

But this is beside the point. Even if we offered a magical database that is infinitely scalable, everyone would have to rewrite their applications to use it to get the benefit. If we had offered such a thing at the start of this year, I guarantee you that zero vaccination distribution sites would have had time to build on top of it. You have to consider not just the technical challenge here, but the human organizational challenge of software development and speed of deployment. Waiting Room can be slapped on top of any existing HTTP application built on any stack, without requiring a rewrite. That's valuable, and it has actually helped a lot of people get vaccines in the real world, where a magical new database would not have.

Anyway, we're obviously still working on the magical database solutions, too. Building Waiting Room did not distract us from that; the team that built Waiting Room is entirely separate from the Workers team.
Sums up Linus Torvalds perfectly.
isn't it a mechanism to combat fake reviews or this is just a bug?
A functional tool can look nice, but a tool designed with a “function only” mentality is very unlikely to look nice.

Good design is a balance of many factors.
(Interesting cultural assumption there that people are born in hospitals under the supervision of doctors)

The thing is to qualify as a natural key I think it has to be precisely recoverable just from first principles wherever you encounter the artifact it references. The birth details aren’t inherent to the person, they’re datapoints about them.

All the identifiers you propose to make up mnatural’ keys are synthetic keys from some other authority for identifying things. VINs obviously are synthetic identifiers, but so are names, dates, hospital addresses.

As you rightly say, a string is a natural key for itself; likewise a number.

The only other ‘natural key’ I can think of is atomic number for identifying chemical elements.
I totally agree, especially since "democracy" has been perverted into little more than absolute meaningless and even in many ways into something that is the inverse of democracy. But that is also a rather loaded statement to make here, because this community and the stakeholders in particular are extremely invested in things that do not at all defend, let alone even respect humans' rights. And that's all I will say, because there is no expectation that the human right to free expression will be respected here, let alone defended.
> There is a disadvantage for me, because the privacy laws in Europe are stronger than Asia, I lose some privacy protection.

You don't lose privacy protection by virtue of Google changing your location. You lose privacy protection by not being a resident of the jurisdiction with those laws.
This is a good start for taking back my privacy.
Have been considering purchase of Librem phone.
all diskettes used to have read-only locks
... and Dogmatix faints dead away ...
Software has bugs, in related news water is wet.
Unfortunately there needs to be a legitimate operating entity in Canada with office space, employees, etc.
Still, there are so many flights now that offer onboard Wifi, it’s seems silly not to back up flight recorder data to the cloud wherever possible.
Does that subtract from the value of the article?

The question one might ask is, "did the author write this because they're racist, or are they just sharing their experience and no one else would dare publish it?"

Given there are multiple ways of verifying the details, I'd go with "just sharing their experience".
Probably, yeah. You could say it's temporary residency or whatever, but by the several months point this is clearly more than a mere vacation. If you've been living in one place for several months now you more live there than anywhere else.
> which had a miscompilation bug until 1.52.1,

All compilers have miscompilation bugs. Even ones that are proven correct.

> has no specifications or alternative implementations, right?

There is one alternative implementation that is good enough to bitwise reproduce rustc, there are a few other in-progress alternate implementations.

> I’m not aware of any progress in “sealed rust” or “rust belt”

That doesn't mean they haven't progressed. By the way, "Sealed Rust" is now called "Ferrocene" and is expected to GA in late 2022. https://ferrous-systems.com/ferrocene/

> There are other verified compilers that could be used now, though.

This is true, for sure. A compiler being verified is not a panacea.
I have the opposite question: why do people let themselves get upset over UI changes? Why don’t people seem to take pride in their ability to adapt to change?

Change is inevitable. Even if we stipulate that change sometimes happens for bad reasons, like someone wanting a promotion, it’s not like bad reasons are suddenly going to disappear. People are still going to want promotions a year from now, or 10 years from now.

So designs are going to change. Why not take the approach of “let’s see how I can adapt to this”?
But which comes first, the teachers career, or the students education? I would contend that in the available evidence it is the former.
Hi Peter,

Taking a look at the IEPP webpage, I saw some vagueness that is common when looking at entrepreneurship visa programs in the US and elsewhere, for example:

"The start-up entity has received a significant investment of capital from certain qualified U.S. investors with established records of successful investments;"

In this context, what is "significant investment?" 100K? 1M? 10M?

In this context, what is a "qualified investor?" Any accredited investor? Do VCs apply to some government entity to become qualified investors in this program?

I am not personally affected by these definitions ... I am a US citizen ... but many friends of mine are foreign nationals in the US on various visas so I try to maintain a decent working knowledge of immigration options and vague language like this makes developing this understanding more difficult.
> Most teachers seem to take it as a given that of course half the class is going to wander in half an hour late during first period— it’s so early, you know!— and during fourth period

I don't know. What does this have to do with keeping teacher's jobs and not improving learning? Late start is, as far as "clinical outcomes" can be measured in education, like, the cheapest win there is.
Mouser, Digikey are great but, wow, the cost of shipping and time to get parts delivered is painful. For the hobbyist that just wants a shift register to play with their Arduino they're a tough sell.

Maybe SparkFun or Adafruit are better recommendations?
A "plain and high-contrast" UI sounds like a good thing TBH.
> Another initiative headed for mandate status is a school policy that no assignment can receive a grade of less than 50%

> And my direct supervisor repeatedly demanded that I pace my classes for the benefit of the single student in each section who was struggling the most

I don't understand school. Why do they do things like this? Who actually thinks this is a good idea? I've never met anyone who does. How have we gotten to the point where standards are not allowed?
There is no spying involved. There is no expectation of privacy in data that you broadcast publicly, using public airwaves, which are mandated as public by the laws of literally whatever country you live in.
A discussion page exists[0], but the review page is empty when you view it (and clicking to add a post brings me to the TF2 review page!)

Enhanced Edition is on Steam, but you get it when buying the original Metro Exodus. You get both, the original game (steamid 412020) and the Enhanced Edition (steamid 1449560) in your steam library.

I don't own it, but from reading OP's post and other stories online I'm guessing it's similar to how the Call of Duty games handle Singleplayer and Multiplayer. They are 2 separate "games" in your library that you get from a single purchase, and can install independently. But from what I can tell in steamdb, the CoD games don't seem to use separate steamid's for the split, while Metro Exodus EE does.

https://steamcommunity.com/app/1449560/discussions/
I’m still working trying to figure out why steam downloads seemed capped significantly slower than my general download speed
This one of the principles of parliamentary sovereignty in the UK: No Parliament can bind a future parliament. See https://en.wikipedia.org/wiki/Parliamentary_sovereignty
The US Navy's "NEETS" material is pretty good as well.

http://www.compatt.com/Tutorials/NEETS/NEETS.html
Parents who have money and care enough already pick the schools by simply buying a house in a slightly different place. Cupertino used to be the hot place for tiger parents in the bay area to go but I'm not sure if it still is. The issue is that then the rest of the schools get even worse which eventually results in bad social issues in 20 years. The kids from those schools grow up and everyone has to deal with them.
It would be less useful than you’d think. Pilots are trained to articulate what they are doing and generally follow very well-practiced procedures. Another pilot can quite accurately reproduce what a pilot is doing just from the transcript, and the warning horns and other indicators are quite expressive of other things. The audio is good enough to hear breakers opening. Anything a video camera could see out the window that would be relevant will be remarked upon by pilots.
Why do you think this is a matter of a few months? All we know is that the author hasn't traveled "recently".

But yes, those kinds of thresholds are common when it comes to residency as an official concept for e.g. taxation. Usually the threshold is around 183 days, but there is no reason why it'd be obviously less arbitrary than other choices.
You actually can but it's not documented I guess. I remember finding it when I dug the source code.

[tool.poetry.dependencies]
my-package = { "path" = "path/to/package", develop = true }

This way you can patch my-package and poetry will always install the latest state of it.
you are utterly wrong here -- public school have gotten, do get, and will get, massive boatloads of money in most urban areas of California. There are many layers of money-consumers in each school system, especially in the Bay Area.
Saying we want less government power generally means we want to change rules rather than actually reduce power. They don’t want to actually reduce governments ability to make war or jail people etc.

Even in cases where total government power is theoretically reduced say outlawing municipal broadband it’s less about reducing overall power as it is leveraging control in one area and extending it to another. In effect it’s a power grab at the state level at the expense of local governments. The state can of course change their mind at any time.

On the other side of the isle when legalizing pot, it’s not considered enough to simply make it legal and move on. Suddenly they replace one law with hundreds by micro managing exactly what’s allowed and what hoops people are forced through. In effect it’s an extension of government power into a previously unregulated though illegal industry.
This "who should be saved" question is so silly to me.

In reality, the person that gets saved is always the person that the savers want to save. From situation to situation there are a huge number of variables affecting what the savers' desire is. These situations are often unrelated to a person's disability status, and usually have a lot more to do with how much the saver likes the savee.

I'm physically disabled, and some big determining factors as to whether I will be helped or not are: how much I am liked by that person, if I can satisfy their religious or political ideology, if I can give them a way to help me that brings meaning to their lives, and if they can make themselves look like a good person to their peers.
Well... is the author actually in Maylasia or Germany? I mean, that matters. You don't get to personally choose whose laws you're subject to, nor does Google. Having your Google settings set to Germany does nothing to protect you from Maylay law, nor Google for that matter.

If you don't want to be subject to the laws of the country you're in[1] you have to move. Google can't help you.

[1] Edit: I guess in this circumstance better phrased as "If you want legal protections offered by a country you're not in..."
> C implementors and standards people went down this road a long time ago

I'm aware of that, but just because something was done before doesn't justify it being done more aggressively in the future. This isn't really an academic or tilting-at-windmills complaint either; most existing code, for better or for worse, uses pointers more broadly than the strict sense the standard allows, and more aggressive optimizations in this area are all but guaranteed to break existing code in dangerous ways.

> But staying strictly in the latter model is also not viable, as it precludes some optimizations that we really want to do.

Does that really make it "not viable" though? I would counter that a strictly typed model is not viable in that it precludes optimizations I want to do, as a programmer! For example: xor linked lists, doing anything with shadowed memory, using packed structures or more generally any misaligned loads on architectures that support it (which is most of the important ones), binary search trees over pointers, parsing nearly any binary file format or network protocol without lots of memcpys... and that's just off the top of my head

>this is one of the big things holding up a formal spec for Rust as well

I'm not familiar with LLVM's internals, but does anything preclude these optimizations being gated by an attribute that could get set (by default) by a Rust frontend but not (by default) by C frontend? Gating with attributes is already done with e.g. __attribute__((may_alias)) so it would seem that this ought to be doable. Heck, if you give me an opt-in __attribute__((contrete_semantics)) and keep the defaults UB I'd be more than content.
It was a pretty slow process I believe. By the 1970s, people already knew these residential schools to be bad, but the last one was closed in the 90s.
On macOS too now, it’s beyond ridiculous.
I can see why Elixir has a Ruby-like syntax now.
Which car company was using division of labor before Ford?
This sounds like something out of a surrealist novel.

> consistently use umlauts in place of quotation marks and acute accent marks in place of apostrophes

US-International keyboard layout, maybe. Maybe the student doesn't know what umlauts and acute accents are, so maybe they think they're valid equivalents to " and '.
I think the advantage of apt and similar tools is their database is the source of truth for the system not the other way around. E.g. when Steam or even a general program installer run they are responsible for checking the current machine for anything that might conflict or a missing dependency and fixing that once detected then actually running the game or app. In apt it checks the lovingly crafted app database and if that's wrong or you've done something manual it's not set up to detect it'll simply break. When 99% of what you ever need is in this automatic database of free, basically first party, stuff it works wonders.

The only difference between Windows 10 and say Ubuntu with auto updates is Windows 10 will prevent you from picking an infinite time out for updates that require a reboot. If you want to manually update it's the same, go to the update app and check for updates. If there are updates hit install. Upon install the update app will have a restart to install button and the restart/shutdown buttons in the Start menu also have install and restart/shutdown options.
That's not quite true. Many of these proof assistants support some level of automation and proof search. I haven't used Lean specifically, but it's quite common in Coq for projects to write proof search techniques specific to the problem domain and utilize them in their proofs.
I read it as Ender successfully solved the problems that he were educated and grown into to solve, despite no known solution existing and while having to be creative and improvise in a "no win scenario".

The book is a critique, but more about wether it is good enough to be shaped by society, or how people shapes and make up society. When the latter is nearly non-existent, you end up with results such as in the first book.
This is why tree-style tabs make sense. It puts the tabs on a sidebar, where their content can be read, and leaves maximum vertical space for the actual page content.
How many apps get region locked to Australia?