skysight-inc/HackerNews huggingface dataset:
Handing over to another judge is what recusal is, no?

It also should be noted that district judges are independent office holders, and Arbuthnot's position as Chief Magistrate is largely administrative - she doesn't have the power to overrule another magistrate, that power lies with the high court.
True. None of the bigtech companies ever took a hard stand against it though. Some people were always working remotely in some capacity in these companies.

I'm curious if there are people who've done YC in both remote and non-remote format. Would be interesting to hear their comparisons.
> That's why they are willing to compete for competent engineers.

The skyrocketing wages for engineers are because until recently, tech companies were illegally conspiring to not compete for competent engineers.
When Disney+ was announced, I joked to my friends that I was going to do a business startup where you buy one subscription and you get Netflix, Hulu, HBO, Disney+, etc. I'd call it "cable.com".

Everything old is new again.
That's a lot of rhetoric. Where is this 40+20+13.8 coming from?

Employer NI is 13.8%, but rarely counted as a tax on the worker (crazilly)

Of course plenty of people earning big bucks don't do it via PAYE, just take their money as far lower capital gains, split income amongst multiple people, leave income in businesses for longer, etc.

2017-2018 figures [0] and taxes [1]

Someone on 90%ile 45,500 pre tax, has a cost (including employer NI) of £50,616, and a net wage of £34,322, total tax of 32%

Someone on 95%ile 59,300 pre tax, has a cost (including employer NI) of £66,320, and a net wage of £42,413, total tax of 36%

Someone on 99%ile 116,000 pre tax, has a cost (including employer NI) of £130,845, and a net wage of £72,099, total tax of 45%

I believe Corbyn's income tax proposals were to increase the rate for 80k-150k to 45%. That would only affect the top 2.5% of income tax payers, but the person on the 99%ile above would pay an extra £1800 a year in tax. Their tax rate would change from 45% to 46%, hardly an earth shattering change.

That £1800 a year extra is about what the tories took off single mothers earning £60k when they introduced the child tax [2]

[0] https://www.gov.uk/government/statistics/percentile-points-f...

[1] https://listentotaxman.com/

[2] high income child benefit tax charge".
Does North Korea have stable broadband throughout? I don't think that's a requirement, except for wherever you've stashed your handful of people who do the work.
Reread https://news.ycombinator.com/newsguidelines.html

Should include "Don't be funny."
I suspect that this isn't a popular viewpoint given that a significant portion of the reading population's livelihood is based on believing differently.
The social consequences of type systems
> I'm very disappointed by the lack of press for such a major extradition case!

This is a criminal case heard at a magistrates court, if I understand correctly, the media are not permitted to cover the trial, until the case is decided. Media breaking the restrictions are subject to contempt of court.
You give them too much credit. There is no such fine grained control. Its more like an ant hill or an endocrine system.
How is this, in principle, different from the credit scoring system in western states?
Lenders, banks, landlords, employers, insurance companies, utilities and hell even your cable company can assess the level of service rendered to you based on your score.
I'm not saying China's system is identical to a FICO score -- but one would be remiss to not see the parallels in the intention of both systems.
Your point is valid, but only in cases where you don’t already have everything you listed set up.

I think the OP’s comment was coming from a perspective of someone adding a hit counter to an app that already has app servers, etc, already in place.
Thanks for sharing.
BTW, you still have time to insert extra whitespace for those bullet points.
The low cost of porting a C toolchain to a new platform is a feature of C. Arguably, it's one of C's two remaining "killer apps" that keep it in use. The other is that C is the "universal recipient" language for FFI - it's easy to call C functions from almost any other language (but not vice-versa).

It's currently much more expensive to port an Ada, Rust, or even C++ toolchain to a new platform, so I'd expect C to continue to be dominant on lower-spec chips. Here's a previous comment adding a bit more technical detail to that argument: https://news.ycombinator.com/item?id=22822931
... why wouldn't they pay taxes?
I am an old c-head (actually pascal was my first compiled language) and I remember in the early aughts writing vtables manually in C because I didn't trust what I couldn't see in c++ (I'm also pushing 40)

I have to say, zig really captures this feel. The only places where it gets a tiny bit strange in the way you complain about is comptime, but imo it is a very good trade-off for ditching the preprocessor and ditching make. And anyways comptime is far more easy to reason about than some of the mangled ways in which people who use C (in prod) use preprocessor: It took me weeks to understand the ffi header file for the erlang VM, for example. Three languages for the price of 1.25. not bad.
I No Longer Hate America
I use a Lenovo M series Tiny for this. I have a fanless celeron unit running devuan.
It looked to me like putting toolchain and bespoke tool dependencies into Bazel rules was about as manual as any other build system (e.g., next to impossible in a cross-platform manner, and error-prone at best).

The correct response for a compiler upgrade or a modification to a bespoke tool that generates a product is almost certainly a full rebuild unless you have very high confidence that you've identified ALL the dependencies. I believe this is not easily discoverable (e.g., you might have a dependency on "/usr/bin/cc", but not know enough about 'cc's internals to realize that you also have to have a dependency on "/usr/local/lib/cc1-arm-bfhsh-37.so" for some specific compiler option).

I'd like to believe you, but I have scars from doing build systems and discovering all the wacky and wonderful things that tools do.
Different companies have different needs, early stage startups would probably fire you for spending too much time on documentation because they're paying you to make progress on their product and you're usually working alone anyways or very small teams with heavy interaction. So not only would nobody ready it, it would become outdated within a month.
> The truly terrifying thing to me about the Chinese social credit system is that the CCP is actively trying to package and sell it to other autocratic states.

Such as? How many communist states did china create?

> but the eventual endgame is to sell it to a bunch of Asian, African, and Eastern European dictators and build themselves a nearly omnipotent back door to coerce and control the lives of people the world over.

I think you are projecting here. The only ones out for world domination is us, not them. As far as I can tell, we are the ones telling the rest of the world, including china, how they should behave, what kind of government they should have, etc. China isn't going around the world trying to overthrow venezuela, iran, syria, etc.

If you are going to spread propaganda, at least make it believable. Not something that can be dismissed outright.
100% this ^

The initial cost of the Gizmo was around the same as an iPad but the long term maintenance cost was significantly less.

Every building at Facebook probably has a couple of hundred of these devices between reception, building maps, room tools, monitoring dashboards and video conference controllers.
> From what I've seen, the powerful in China seek a stable, well behaved, productive workforce such that the profit from their labor can accrue to the benefit of the ruling class.

> Make the goals to get the most profit from the least investment into the work force, coerce their productivity with increasing restrictions and penalties, and you're moving towards virtual enslavement.

This seems like the polar opposite of my perception. If one looks at statistics [1], or simply spends a few hours (or years, as I have) watching China based YouTube vloggers, there seems to be an unmistakable and rapid increase of the common man's wealth and material well being. I can't really think of any observation I've experienced that contradicts this apparent trend.

What data sources are you using?

[1] https://tradingeconomics.com/china/wages
Christ, the marketing for the "Predator Thronos Air" is extreme:

> Surrounded in metal, the Predator Thronos Air ushers you into its screen-filled paradise, where gaming is nonstop and relaxation comes at the push of a button.

I like the idea of these chairs as far as ergonomics goes, but the whole 'take a seat on your throne and never leave' vibe is a big turn off. I'm not trying to become the lich king here, I just want a smart chair design.

I guess I'm not really the market for this kind of product.
> Every competent developer is a 10x developer on a green field project just like every competent developer is a 0.1x developer on a messy legacy spaghetti-code disaster of a project (Making the differential 100x I guess).

Wow!!! so true, never heard it said like this.
I might very well be speaking from ignorance, but here's what bothers me about this article: it seems to assume that the rules for me, the individual investor, are the same for market makers. For instance, selling naked calls for me is lunacy. But do large institutions (the market makers) have hedges or mitigations for naked calls? The reason I ask is because the article assumes, "blah, blah, blah, so the MMs have to use 'delta hedging'...". I dunno, do they? Or because they trade umpteen-jillion contracts a month, the "rules" don't necessarily apply?

OTOH, the last AAPL call contract I bought seemed like it had an awfully pricey premium for deep ITM options (says the guy trading AAPL contract for going on 20 years).
I think “unrelated market” is a tough sell for this case. The two markets are “selling things” and...”selling things.” They’re pretty closely related.
I think you bring up an important point that may be an uncomfortable truth about modern society. I personally have been weathering the pandemic/WFH situation well, in no small part because my spouse is a stay-at-home parent anyways. I don't need to juggle work and monitoring children much because they are available to do so. If anything, its been a boon to be able to "tag-team" occasionally, to give my wife a break/back her up, and also be a presence in my kids life more than just after work hours and on weekends.

For many friends and colleagues with children, however, its been a disaster, and it seems the largest culprit is that they both work, and therefore they struggle to do their jobs while also watch their children all day. I don't blame them for their situation. Society has made it so that having a stay at home parent is a luxury that many families simply can't afford, and it has also devalued the idea so much that even the families that can afford it are almost embarrassed to do so (my wife personally likes being a stay at home mom, but feels judgement from friends and former colleagues for quitting her job as a chemist to do so). Its good that we moved beyond expecting women to exclusively be the homemakers, as that is needlessly sexist, but it would have been far more healthy to replace that with normalizing one parent, gender-agnostic, devoted to child-care, rather than normalizing both parents working and relying on daycare/schooling to watch kids for most of the day.
> (...) I've had a mechanical keyboard before and can tell you the tactile novelty wears off within a couple of weeks.

I'm not sure I follow your reasoning. As a mechanical keyboard user, "the tactical novelty" doesn't even register in the "pros" column. As a professional software developer I use mechanical keyboards because they are far easier to clean and maintain, and are actually repairable and don't become trash just because a key happens to crap out.
You can choose how much of your comp to take in equity, if you work in countries where that is allowed (most of them.)

We pay enough that your compensation is not a reason you want to leave (or stay — we don’t pay more than the best you could possibly get elsewhere.) because our philosophy on compensation is such, it has a few ripple effects - there aren’t limited budgets for raises, instead we ask for each person did the market move for your role, or did you substantially change roles? This avoids the common shenanigans / pitfalls of comp elsewhere.

I personally believe that our early move to the cloud, early adoption of micro services and our open source contributions also help our “tech brand”.

It’s the best place I have worked.
> The problem with governments is size and reach. Governments attempt and do usually keep growing. The government ends up with laws like: https://library.municode.com/ar/little_rock/codes/code_of_or...

>> Sec. 18-54. - Sounding of horns at sandwich shops.

>> No person shall sound the horn on a vehicle at any place where cold drinks or sandwiches are served after 9:00 p.m.

>> (Code 1961, § 25-74)

Governments don't go around passing weird laws like the above for no reason.

I betcha $1 that there's a good story behind that ordinance. There usually is in cases like that. Some thing with contract terms. Probably someone was doing something obnoxious, which was technically legal under then-current law. The local government did what it was supposed to do, and solved the problem (in this case, with a narrow ordinance).
> if they try it now call them out

This is a fun way to make tourists feel insecure.

Call them out, where you wait on a foreign police, prove your identity, file a report -- in a non native accent / language -- in the best case...

or in the worst case, where they'll take you where you don't want to go (or other cabs to pickup), potentially drive off in a dangerous way as you forcibly exit the vehicle, and blacklist you from other cars

-- all while you're hoping to make it to a hotel, airport, tour safely and on time.
Yeah, I wasn't trying to imply the abilities were exaggerated; just saying that the amorphous nature of cyberwar means you could give an adversary pause by claiming abilities you may not have yet.

(Whereas claiming you have, say, 1,200 bombers when you only have half that number is more easily determined).
Give any keyboard most of the benefits of a split keyboard by angling your hand/finger columns like `////\\\\` rather than like `\\\\\\\\` (as is commonly taught).

You should be typing "Z" with your ring finger, not pinky. 'WSZ' column, not 'WSX'.

Even the linked "Ultimate Hacking Keyboard" will require a VERY aggressive slanted placement of the left hand segment to give yourself comfortable inward left hand columns. Compare to Microsoft-style split/ergonomic keyboards, which angle `QAZ` inward or vertical.
I hate that I am skeptical on this. I suspect wave just left that bad of a taste behind. So much hubris in what was claimed to be possible.

The ideas do look nice. And I suspect it has gotten farther than I give credit. However, sequencing the edits of independent actors is likely not something you will solve with a data structure.

Take the example of a doc getting overwhelmed. Let's say you can make it so that you don't have a server to coordinate. Is it realistic to think hundreds of people can edit a document in real time at the same time and come up with something coherent?

Best I can currently imagine is it works if they are editing hundreds of pages. But, that is back to the basic wiki structure working fine.

So, help me fix my imagination. Why is this the future?
Because they are a big tech corp. Even more, a US based one.

https://www.icaew.com/insights/viewpoints-on-the-news/archiv...
The people who invested money in it expecting explosive growth at high valuations.
Anki is fantastic for its flexibility, but for language learning I've found I reach a point of diminishing returns after a certain point. From personal experience, I've been pretty much sold on Stephen Krashen's theory of second language acquisition[1][2], which in practice focuses on comprehensible input.

lingq.com is a pretty good way to learn a second language this way. I use it by uploading an ebook in my target language. The app keeps track of the words I've learned, and highlights the words and phrases I'm still learning or haven't encountered. I can click on the word/phrase as I'm reading to see a definition or translation in the sidebar, and then mark the level at which I've learned it just like in Anki.

It's pretty slow going at the start, and the texts you have to use are very basic, but pretty quickly I was reading entire YA novels with only a handful of unknown words on each page.

[1]https://www.sk.com.br/sk-krash-english.html
[2]https://www.youtube.com/watch?v=fnUc_W3xE1w
Controversial opinion but making sure that your game runs well under Wine is not the worst way to ship games for Linux.

This is especially true once the game gets older and less supported. The native Linux libraries might move on over time and the version you require might become unavailable or broken in some way but once a game works on Wine it will likely continue working forever unless you make some change to break it.

These days when it comes to my Steam library I am less worried about the Proton[1] games than the native ones and there have been several cases where I opted to run the Proton version because it worked better than native.

[1] Proton is the version of Wine Steam uses
How to Get Promoted
Anything at a large enough scale becomes a hard problem. And they are one of the largest scales there is considering how many people use their service daily.
No, "Engineer" (as a proper noun) is protected as a synonym for "professional engineer" (common noun phrase). The common noun "engineer" is not protected in any States.
An example of the costs if you're willing to do the soldering yourself.

https://keyhive.xyz/shop
Corne PCB with through-hole soldering at $13.
2 Pro micros for $12.
Diodes at $3.
Plates at $16.
Standoffs at $2.

Switches from AliExpress for $14. Keycaps for $15-30.

But, yeah, I think a more realistic budget would be $150.
IIRC this is a criminal case, so the appeal does not go to the High Court. The first appellant court is Court of Appeal (Criminal Division).
Yeah but at least you know the money stays(most of it) within the local economy.
Most of the voice acting of that time was terrible. It does sound a bit "old man yelling at clouds" but if you were there, you might understand
I was thinking this is a lot more like Microsoft Orleans:

https://dotnet.github.io/orleans/Documentation/index.html
I left Netflix about 2 months ago after over 5 years working there. Overall I would say the average developer there is about on par with any other company I have worked at. But the great ones were truly, astonishingly, great.
Fast and Flexible Overlap Detection for Chart Labeling with Occupancy Bitmap [pdf]
Doesn't sound like it. Seems like it appends the new versions of the functions and updates the global offset table.
Solved by bytecode distribution formats that AOT/JIT compile, and yes there are those for C and C++ as well.
A few years back, I remember a bunch of SV startups trying to invent... a social credit system... for underbanked countries without credit systems. We'll just hook up to the facebook API to find who's creditworthy.

Everyone clapped them on the back for it, maybe YC funded one or two.
Anyone with a boat anchor can crash the internet. Well... Maybe a few anchors and some coordination.
> these bubbles only represent a small fraction of the totality of these places,

You are substantially under-estimating the size of the urban population of these countries if you think that the major cities only represent a "small fraction."
I have had a couple of moments in life when a lot of pieces fall in place and perspective changes. A friend of mine found a nice metaphor for this: a supercooled water, the mind looking for an answer or a solution to a problem and then something happens and the crystallization starts and now everything is suddenly ice.

Definitely great moments leaving strong emotional impact and sense of joy and happiness.
Renewables are not a silver bullet either. There are plenty of nasty things that go into building batteries and solar panels with no where near the attention to safely disposing them. Plus, renewables just can't handle baseload and load follow the way fossil or nuclear can.
> For example, it is fairly reasonable to require LibSDL2 to be installed.

You mean, "the game's package has libsdl2 listed as a requirement"? Or "if you install the game without libsdl2 present, it will install, but will crash on launch"?

> However, if you bundle LibSDL2 with your app, you’re now directly dependent on things like X11 and ALSA.

Well, either those are present and the game will work, or you've tried to install the game on a headless server and surely you don't expect to miraculously just work?
Well unfortunately that's just not how the real world works. In most production systems you are going to end up with a bunch of fields that aren't visible to regular users. There ends up being a whole bunch of roles that need access to different levels and instead of implementing separate APIs for every user type, you just mask out the fields a specific type isn't allowed to see.

This is frequently called property level authorization or field level authorization.

https://stackoverflow.com/questions/30002351/enforcing-prope...

https://help.salesforce.com/articleView?id=security_data_acc...

You're just wording it in an indirect way to make it seem like something different. It's not "Using API key to determine what kind of information is returned", it's "hiding sensitive fields based on permissions".
But Windows lets you do things no Linux distro really can - use modern, state-of-the-art interface technologies like multitouch, pens, and dials. A Surface with WSL is about the ideal setup, with the best of both worlds.

Also, the author of this article seems ignorant of the fact that Windows' kernel internals are one of its strongest features - Cutler's NT Kernel incorporated many things he learned from building VMS, and while the shell and outer parts of Windows have often left a lot to desire, the NT (not DOS/Win9X) kernel is and always has been excellent. I don't see Windows evolving to run on a Linux kernel - that would be only viable with vast improvements/changes to the Linux kernel.
It’s even worse than that: no direct fine-grained control, because the system trains the grains to control themselves and each other.
Yes, I am assuming that Rust isn't much harder to code in than Zig. Rust isn't that hard, really.

Since your point doesn't really have to do with which languages are involved (only that they are different somehow), one could similarly say that C might produce more correct programs than Rust or Zig for the same amount of effort.

New languages like Zig need to have a better story around safety than "only empirical observation will tell," because Rust's safety story is pretty compelling.
Approval Tests, TCR, and Menders
Bazel sandboxes the build rules. If you need to discover dependencies, you can flip a switch and have all the missing dependencies be hard errors. Once you flip the switch and fix the errors, you leave it flipped on and you have confidence that you are not missing any dependencies. The entire C toolchain is normally an input to a Bazel build. You make a package (.tar.gz) containing the toolchain, put it somewhere accessible (http), and check a SHA-256 hash of the toolchain into your WORKSPACE file. When it changes, everything built with it is rebuilt.

Getting complicated cross-platform toolchains working on Bazel is going to be hard, sure. But knowing whether you have hidden dependencies is not hard, because of the sandboxing.
Local version of Ebay for me (marktplaats).