skysight-inc/HackerNews huggingface dataset:
Fair points.

Regarding "formally verified," I believe the "formal" refers to the formal in formal methods, but I agree that it can be weaselly.

In the case of seL4, however, I don't think it is because they are incredibly precise about defining their assumptions. They have verified the machine code for various architectures, subject to those assumptions.
What's so difficult about having an internal jobs board? It seems like a fairly common thing at companies big enough to be bothered by this, and smaller companies can get by with an email of open positions.
I looked through the first half dozen and it seems pretty on point (similarity scores are high .98x's).
Interesting idea! (Although our bodies will never be digitized -- and they'll need some protection from cold and a way to sleep...)

The closest thing I've heard to a tech solution for housing is the 3D printed house that went on the market. That raises the question of whether there's some way to radically reduce the cost of creating housing. (Maybe interchangeable parts, like what revolutionized mass production?)

The only role I can even imagine for digitalization would be digital pictures of available properties -- maybe automating some kind of drone fly-by at addresses where properties are for sale, and then creating a better web site for browsing them?

Of course, there might be other fixes for housing too. (Encouraging employers to let people work from home, or at least creating jobs in a wider variety of places.) Someone once tried to convince me the solution was just to encourage people to have fewer children, because over the time the resulting population decrease would do a lot to improve the availability (and thus the affordability) of housing.
"The IT Crowd is a British sitcom originally broadcast by Channel 4"

https://en.wikipedia.org/wiki/The_IT_Crowd
https://vertx.io/docs/apidocs/io/vertx/core/eventbus/EventBu...
For example 8/16-bit ISA? Direct access to the hardware? I cannot define it super precisely, but I think that it is intuitively obvious. I do not judge the answers to specific criteria.
IANAL (and certainly have not read the text of the law), but "reasonable" sounds fairly easy to game in many situations. "Your honor, our job listing made things quite clear. If qualified candidates were scarce, we could go as low as 1/4 time. Or if a candidate who was highly over-qualified wanted to get a foot in the door with us, to then apply internally for a higher position when one opened up, his or her starting salary could reflect his over-qualification...".

(Note that they already seem to be getting away with the "overly burdensome" argument. The plausibility standards applied to legal arguments made on behalf of large corporations are, ah, minimal.)
LeetCode – Rotate Image
Yes, engineers have leverage, but it is just like any other resource.

A skilled engineer starting out in their career will begin with zero leverage, but ideally will possess the means to increase it substantially over time.

Software engineers on average have tons of leverage, but the distribution underneath that probably looks like a bathtub. On one end you have a pit of despair, confusion and failed business, and on the other you have the likes of Linux kernel maintainers, Microsoft Distinguished Engineers, et. al. Remember, this is the leverage distribution, not perceived skill/experience distribution - I have never really seen someone with a "medium" amount of leverage in the business. You are either the manager or the managed.

If you want to quickly move from one side to the other, the best way I have observed is to relentlessly chase the end business value and make it clear that you can deliver something that people with $$$ or power care about. Whether this means actual customers that pay you, or your open source community, it doesn't really matter. Everyone knows the skills transfer almost universally between styles of project.

Spending a majority of your time chasing shiny technology just for the sake of cool new things is how you stay on the drain-side of the software engineering leverage bathtub curve.
Building artificial intelligence with business results in mind: ModelOps
If you want to revolutionize manufacturing, you need to open a large number of small job shops each specializing in a different kind of work, then do applied research and engineering in this real world environment. Step one is making the shops successful, step two is throwing a bunch of geniuses into the room who can help the people who understand what's needed build interesting new technologies.

Large existing manufacturing firms with the kind of money to do this can't get out of their own way, and will never be a source of innovation. Small companies don't have the funds to throw at maintaining a staff of genius engineers and researchers.

Most outsiders with access to capital looking at innovating in the space probably don't even appreciate the difference between a job shop and an OEM, and are likely to lose lots of cash on projects headed by former OEM enterprise middle managers who exclusively have experience getting in the way of production and wasting money.

I'd love to be part of a highly funded team of smart people whose job was to reinvent manufacturing in a practical environment.
You theory does't makes much sense.

Amzon USA - 71% software engineers recommends Amzon to a friend in Glasdoor. 87% Approves of CEO.

Amazon India - 87% software engineers recommends Amazon to a friend in Glasdoor. 94% approves of CEO.
Lindy Effect is another formulation of attention economy and power laws. Ditto "long tail".

https://en.wikipedia.org/wiki/Antifragile#Lindy_effect

I don't know what to do with this kind of wisdom. Sure, it's fun to think about. Like Trivial Pursuit and 6 Degrees of Kevin Bacon. Then what?
This is indeed surprising.
Any time we have slowness issues the usual recommendation would be to throw resources at the problem; increase cpu, add more memory et al. We used to lament that we should spend time debugging the problem and fix the actual issue. We then used to say that probably at places like AWS and the other biggies they'd be following some excellent best practices and we should also strive to reach that level of excellence.
That may be the reason the author posted to leetcode.
Have you ever been to Irvine? Or Elk Grove?
If the majority of stock options vest in years 3 and 4, may I ask why you left after 2 years?
Perhaps, but there is very little precedent for this in US law as it stands.
"A society must" in what sense? Some, mostly modern, societies (eg constitutions) sometimes do "define their values" but rarely in the way that you mean. IE, they're defined in regular human terms like justice and stuff. No society that I know of "defines its values" in terms of uber abstract principles that everything else is derivative of.

Some, mostly modernist, occasionally platonist philosophers try to do this... but thats a philosophical exercise.

The way societies actually work is that we have values, because people have values. We rationalise, abstract, deconstruct, cross reference, expand, contract, torture, abandon, repurpose, revise and revisit those values in a never ending process. That is, in fact, what society is.

What you are describing is asimov computer code.
It seems insane.
We had kids regularly setting trash cans on fire in my school. Police got involved sometimes (we had an officer on campus at all times). Those kids definitely received consequences, and they would be put into programs to help turn their lives around, but it did them no good. Just further cemented their fate. A good 20% of the school of about 2,000 kids were way beyond help. The parents, their home life, and the kid's upbringing are really the issue here. The school can't do anything about that. I always felt so bad for the teachers, the abuse they had to put up with was something nobody should go through.
I always wanted to get into trackers but never got around actually trying. Just watched my favourite video about someone using a hw tracker [1]. This is so great and truly captures the experimental nature of using them!

[1] https://youtu.be/9TquD64S8v0?t=155
>and I won't bother linking to resources related to Ivermectin

I'm not informed enough to comment on the content of your post, but this is a horrible way to start a productive discussion.
Freezing then boiling live lobsters seems much less inhumane than factory farming mammals.
I mean minimum wage isn't inflation adjusted is it.
Sith Telerally on Father's Day
The thing is an orca isn’t going to mass-kill a bunch of seals because that’s wasteful (of energy). Sure they can kill and play with seals for entertainment, but they don’t (can’t?) cross the line of ecological torture/waste humans have.

On the human side: the problem is the producers (of meat/dairy) hide the torturous aspects from consumers by abstracting it away. We go to the store and get some chicken breast, steaks, or pork ribs, but we don’t do ANY of the work to prepare that animal. It’s prepared by underpaid/exploited foreign labor.

In contrast, even if a wolf killed a bunch of sheep for sheer pleasure: they are doing the killing, which takes energy. And if the sheep has a herd of rams with them the wolves might come out bloody themselves.

NOTE: I’m talking about factory farms and large scale production. There are farms which follow good, holistic procedures—where the farmers do care about the well-being of the animals and the cycle of life, even when animals are slaughtered.
Since apparently they employ way more women than men they should balance that first. Simply fire enough women in each income bracket to end up with an equal number of men and women. Sure a lot of people lose their jobs for no reason but hey it makes some numbers look better to some people!
This is a nice looking and elegant solution to an artificially created problem that shouldn't be there in the first place.
Why not use an OS that doesn't treat it's users like crap?
Gas-Lubricated Vibration-Based Adhesion for Robotics [video]
> Jeff Bezos wants to pay the least for the most amount of work, and the workers want the most money for the least amount of work. It sounds like both parties should meet themselves half-way as opposed to living in what is effectively modern-day slavery.

The way it currently works is what you describe here. Amazon pays the least they can for the most amount of work, and workers work the least they can for the most amount of pay. They meet at the equilibrium where Amazon receives adequate labor, and the workers receive adequate pay.

There's nothing radical or communistic about that idea.
Those poor poor jerbs
I currently work at Amazon as an engineer(NA), joined around 1 year 5 months ago. My experience has been quite different than the one linked here and commonly talked about on the Blind community so I'm posting here to add a data point.

Maybe I'm just lucky but having first hand experience around my team and the 5 teams surrounding it, things are very manageable. Our oncall is a bit hectic but you're not oncall that frequently for it to bother me personally. I work on projects that have a lot of impact and challenge me technically. The key here is to manage expectations very clearly before the beginning of a new project, this sets you up for success for the next -2-3 months in implementation.

Overall, I feel like I don't overwork myself, my manager cares about me and my mental health and supports me in growing as a professional. The only time I've seen people work a ton of hours is if they slacked off , which then becomes a problem they brought onto themselves. If there is a crunch time that was a result of something out of our hands, my manager is empathetic to that and encourages us to take time off after the project is done.

I'm a happy person to be working at Amazon, under my current manager and I see no reason to change that in the near future for me. Amazon is not for everyone. While my manager cares about me, he also has certain standards in the quality and timely delivery of value from me. Working 9-5 is entirely possible at least in my org, and most people that I know do work 9-5, but those 9-5 hours are going to be busy and you have to prioritize well.

If you are a completely new in the field, want to coast or chill I think there are better places than Amazon to work.

Edit 1: grammar/spelling
> How could we increase our leverage?

A union and a strike.
>My daughter finished her CS degree about a year ago.

Interesting I thought CS was all software where computer with gate and low level programming were something of EE / Computer Engineering.
It’s hard to trust people who make a bold claim, only to back it up with “do the research”. Why don’t you link to some of these reputable Ivermectin studies?
It's fine, harms no one
Glassdoor is not reliable
> You think healthy gay or bi males who increasingly get told by trans-activists

Has this actually happened, or is it the same kind of thing as those child sex rings in pizzeria basements?
Nature is ongoing massacre.
I still think getting some jobs you really want to do boosts way more happiness and productivity. Problem is few gets to do what they want, and many people change what they "want" every few years :S
To be fair, 35 hours in qualified jobs is really rare and this limit is only working for jobs that are paid hourly (when your employer counts the number of hours you work to determine your pay).

The vast majority of those jobs are paid monthly and, even if legal maximums exists, they rarely matter since, by definition, in monthly paid jobs, hours are not counted.

But nevertheless, we probably are amongst the countries where you work the less (and it never had a negative impact on economy).
Why did you ask such a ridiculous question?
> NixOS people went to endlessly harass him on the home assistant forums.

That is just a lie and not what happened.
While I've also seen this comment before, it's very much on topic here.
What is the percentage of people who suffered any long term brain effects?

And did they do the same study against people who got the flu and other diseases?
Unless you're arguing that the attacker is a shareholder I don't see how paying out money to them wouldn't just be seen as a loss.
Because that's more steps. Everything you can do with the new "sqlite-utils memory" command is possible without it, but now you can get a ton of stuff done with a single tool in a one-line shell script (as opposed to several lines that tue together several different tools).
In my experience the whole VFIO subsystem is quite stable and at least Nvidia hardware can be detached and attached to a different driver without any difficulty. Intel GPUs have trouble being reattached to the host because of driver issues and AMD needs workarounds because of hardware level bugs. Also, if you have a laptop, or a desktop Intel, you already have a perfectly usable GPU that the host can use included in the CPU!

It's true that setting up everything can take some time to get it working, but it depends very much on the hardware. In most cases on a desktop system all you need to do is select the right PCI device in libvirt's GUI and it should work. On laptops you need to hack together a custom OVMF UEFI firmware imagine with the VBIOS included, but there are ways to auto-generate it [1].

Input can be handled in multiple ways, which makes most sense depends on if you want to use dedicated output, or if you want to stream the output back to the host using something like Looking Glass. I just have a virtual qxl GPU in the VM which lets me use the qemu window for input and that works fine.

For audio there is scream[2], which gives me super-low latency 7.1 audio. According to pulseaudio latency is under 2ms in addition to whatever latency Windows itself has. I use a -ck kernel with MuQSS scheduler, the default scheduler won't be able to go that low.

I mean it can be tricky to set up, but if the hardware is capable it shouldn't be more than a weekend project. Once set up it's rock solid stability wise and compatibility is the same as bare metal. Caveat is some online games consider running in a VM cheating, but that doesn't affect me. It's not for everyone, but neither is Linux as a desktop OS

Overall I consider this the holy grail for those that want to primarily run Linux but don't want to give up games or deal with wine/proton issues. Actual dual booting is completely obsolete with GPU passthrough in my opinion. YMMV, depending on what you play and your exact hardware.

[1]: https://github.com/bitthief/ovmf-with-vbios-patch
[2]: https://github.com/duncanthrax/scream
> Apple doesn’t owe you a computing device without a user experience any more than Mercedes owes you an engine without a carriage. They are designed together, and sold together.

Computing is relatively new in historical terms, and I think we're still figuring out what the legal boundaries should be around it.

One huge thing which separates networked computers from pretty much every other product which has ever existed is that it allows other actors to "do stuff" with with your property, with or without your consent. Google can install software remotely, and use my electricity, my network connection, and my CPU cycles to do something on my device. I think in the next few decades, we will see some regulations around "freedom from" certain types of actions like this on computer hardware that you own.

On the other side, hardware and software vendors have taken a place as gatekeepers about what you can and can't do with your computer hardware which you own. Smartphones are the main way most people access computing, and currently there are two companies which decide what you can and can't do with them. There has been a long history of regulations to prevent companies which hold this kind of advantaged position from using it to gain undue power over the market. For instance, the railroads cannot bias which customers have access to transportation, and the phone company cannot decide who can and cannot make calls. I think we will see similar regulation, establishing a "freedom to" do certain things with your own computer hardware.
Which glucose monitor do you recommend ?
“No breakfast,” he said. “Breakfast was unknown in early history, Rome, Byzantium, ancient Greece, breakfast wasn’t really a thing.”

Oh? In Robert Fitzgerald's translation of the Odyssey, Book XVI begins

But there were two men in the mountain hut--
Odysseus and the swineherd. At first light,
blowing their fire up, they cooked breakfast ...

Liddell and Scott say that "ariston", the Homeric term, slipped later in the day, ending up about 11 am; on the other hand, they say it was replaced by "akratisma".
Self-motivation – A guide for Product Managers
I would not recommend anyone An Elegant Puzzle. No disrespect to the author's writing ability and no discredit to his experience. I thought the book had no flow (it was a curated collection of his blog posts, or something like that). He described in detail the decisions he made or things he learned but since he didn't explain any context about the company at the time I could not figure out how any of it was relevant to me. And I've worked everywhere in companies of varying size between F500 and Series A.

I do agree The Manager's Path is a good one though.

Some other favorites are High Output Management by Andy Grove, Managing Transitions by William Bridges, The Toyota Production System by Taiichi Ohno, Measure What Matters by John Doerr, Peopleware by Tom DeMarco, The Innovator's Dilemma, etc.
One of the ways you can tell Paley's position is not worth deeper intellectual consideration is the number of outright contradictions in it.

"If it has a penis it's a man" but trans women who have had bottom surgery are also still men. Biology defines gender but also womanhood is in crisis because "our connection to ancient goddess worship is completely broken" and trans activism is "a continuation of the erasure of the Goddess." Transition is a form of colonization but also the Age of Reason produced the only coherent conception of gender. Trans activists are forcing queer cis men to get bottom surgery, but the problem with trans women is that they don't get enough surgery like they did in the good old days. The writing is to sexual freedom and gender studies what a Gish Gallop is to evolution.
Kind of a tangent, but I get frustrated when researchers publicly release results when one of their groups have a ridiculously small sample size. It’s irresponsible to release results based on 15 people
These would be great in large quantities for search and rescue of large areas, perhaps.
Not the average software engineer and definitely not at the entry level. I always had a feeling that "engineer shortage" articles are only made to push people into studying CS so employers can drive wages (even) lower.
That's fairly irrelevant considering it's true of any sample. Even excluding one single person has a "disparate impact" since it consists of 100% of one gender and 0% the other, etc. etc.

Since it's not targeted because of those categories not affecting exclusively those categories, it obviously wouldn't be covered.

(IANAL etc. but seems pretty clear.)

edit: more detailed explanation by fennecfoxen: https://news.ycombinator.com/item?id=27570439
I thought Ecuador heavily used ivermectin with no discernible benefit.
I read down the rest of the thread after commenting, and another commenter posted a link to a study showing teachers with education degrees perform no better than teachers without them.
For me the biggest productivity killer is watching a Slack conversation unfold in real-time -- and hovering over it waiting for each new sentence to appear. So the truth is that stepping away from Slack, and just coming back to it when the conversation has finished, saves a lot of time.

There's a lot of real gains that can be made if you limit the amount of time you spend on Slack.
> Open source contributors give away a lot of value, since if everyone had to re-create their work … there would be 1,000,000 times the demand for software engineers than there is today

This is a misconception. Imagine everyone had to write everything in FORTRAN. Would there be more or less work for SWEs? There would be less because each one would be far less productive and the value you could get out of hiring one would be small.

You’d never hire someone unless you can make more money off of their employment than you have to pay them. SWEs get paid a lot because they are able to generate a lot of marginal value. Without the tools that make us productive, we don’t have that value.
Yes it's a very bad argument - there are all sorts of regulations in place to prevent the types of monopoly powers which major software vendors currently enjoy.
Google's Adtech Business to Undergo Stringent EU Antitrust Probe
This is very attractive to me but I suspect nearly impossible to implement in my East Coast Fintech role. Assumption is everyone needs to be "on" 9-6 M-F because of markets being open.

The only day I could see plausibly doing this is Friday as there are few meetings and lots of senior people WFH/use remote offices then. Of course this also means taking the easiest day off!

How did you make this work, is it a consulting role? Individual contributor? What is the off day, Friday?
That’s 1/27th of Spot Mini. And probably only user programmable until manufacturer says but not you. My spine is frozen, don’t even feel the chill anymore.
> Never pay a single dollar of taxes on those dividends over the years.

The complicating issue here being that you’ll eventually pay income tax rates on those dividends instead of (usually) lower dividend tax rates. If your income is high when you retire, you might pay more in taxes this way with the deferral. And it’s hard to know in your 20s and 30s what your income will be when you retire. But as a form of insurance, you should still build that nest egg.
You can be more competent and prioritize your own projects instead of employer's