skysight-inc/HackerNews huggingface dataset:
Hard disagree. My dad was a UPS driver for 30 years. He's the hardest worker I've ever known, often times during the Holidays leaving at 6am not to return until 9pm. They are unionized and payed well, as opposed to FedEx which are contractors. He was incentivized to work hard because he made a good salary and he saw how it benefitted his family to put in his all. Work hard, get treated with respect as a valued employee with a good wage and benefits, earn a good living for you and your family. What more incentive do you need? Why does being an independent contractor incentivize you above this level?

Edit: I conflated employee with salaried. I believe he was hourly because he got overtime, but he was still an employee.
Thanks for the comment!
1. Predictions are based on the internal AI algorithms. Site is not responsible for users actual market activities. Intention is to provide analysis to users. But finally it is their decision how exactly to treat these predictions.
2. You are right in many cases it is correct. Especially because movements are sometimes dependent on the non technical signals. But for short term predictions technical analysis plays huge role. Projects algorithms are based on it's own AI model, mostly based on technical indicators.
In this case, it’s because I wrote it. Between you and me, I’m not that smart.
This title is inaccurate ... burning money implies it was spent on something. In this case, it implies that renaming the parent company is responsible for the stock price sinking from its August high. There are quantitative reasons for the stock slide that have nothing to do with this renaming - Facebook lost users for the first time in its history and the announcement that ATT would cost at least $10Bn.
The disconnect between planning and execution
I like that the mantra went from "move fast and break things" to (paraphrased) "move fast and don't break things".
What is ecological economics? (2010)
But can you run it without docker? I have some FreeBSD hosts, for example, making a dependency on docker a no-go.
The I in IDE is key. Modern Visual Studio, the IDE, will even provide a fully integrated development environment for open source stuff. Trying to do this with a code editor like VSCode is like trying to carry plywood on a VW Beetle. It can do it, but it looks kind of funny, and maybe you should have just rented the truck/IDE from the store...
> Bargatin envisions researchers one day releasing sensor-laden levitators in the mesosphere and letting them roam, like weather balloons or floating ocean sensors.

But how do you retrieve them to collect the sensory data? I don't expect it has the energy to transmit data.
I really like the idea of wordle-over-dns.

I wish all wordle authors would use words with 5 unique letters and singular nouns or infinitive verbs, though.
I'm a little disappointed in the lack of substantive discussion here! There are many interesting technical issues raised by this post ripe for discussion. For instance:

> As you can see from the source files, that required adding many specifications (around 400 preconditions and 500 postconditions) and ghost code (around 150 loop invariants, 400 assertions, 300 ghost entities), and the daily proof takes 1.5 hours on a Linux server with 36 cores.

So 40 units with only a few hundred pre/post conditions and invariants seems to take an enormous amount of compute time to verify.

I expect that the verifier has already been fairly well optimized since Spark has been around awhile. Is this the case?

For verification in general, is the expense of verification in this case because of the model needed to verify Ada? For instance, perhaps a language that makes different choices might have a model checker that could scale better.

This has important implications for scaling formal methods to more software.
> I wouldn't want the site to go away. But I would like to be sure it's not a net drag on productivity. What a disaster that would be, to attract thousands of smart people to a site that caused them to waste lots of time. I wish I could be 100% sure that's not a description of HN.
Presumably writing this blog post was the licence fee for one year of Splunk Enterprise.
You're right. Their stock was going to tank eventually because of increasing privacy regulations.
Jira and shortcut both have similar starter free tiers, and for small companies Jira is cheaper than shortcut ($7.50/user/month Vs 8.50/user/month)
Any one can add a licence file to anything, doesn’t mean it’s enforceable, right or moral
> None of the previous responsibilities were removed but we now became responsible also for setting up and running the (cloud) infrastructure and deploying our own software

On the flipside, in the olden days when one set of people were churning features and another set of people were given a black box to run and be responsible for keep it running, it was very hard to get the damn thing to work reliably and the only recourse you often had was to "just be more careful", which often meant release aversion and multi-year release cycles.

Hence, some companies explored alternatives, found ways to make them work, wrote about their success but a lot of people copied only half of the picture and then complained that it didn't work.
Because that would then create subtle incompatibilities with C++, stemming from the fact that C has no reference types.

http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2927.htm#ex...
there is a solution, distopian kind of surveillance, that is never used against child's interests(by child's definition) except very strict predefined set of rules, and there is an opportunity to give them a variable lesson: when they are old enough tell them about surveillance and how hard it was not to misuse it, about every case of your wrongful use of surveillance, and that this kind of technology cannot be used unless the powerful one loves the survailed one more than anything(which means it's unacceptable Ina general society)

that's a bold idea that should not be used by overly emotional not well disciplined people
> Also, I find the argument against "victim blaming" silly. Whether or not your the circumstances of your life are your fault, they are your repsonsibility. Who else should be responsible for your life?

This stands out to me too. I've always told my kids that they are responsible for everything that happens to them, including by chance.

I get downvotes for that view a lot. It baffles me.
This is going straight on my list: https://twitter.com/pgl/status/1405614755000295427
I don't feel you answered the questions fully. Telling someone to learn the language to get the rest of the answers isn't right and would put me off it because it suggests there aren't satisfactory reasons for the design.
I'm sure that's not the case but still.
Builder.ai and the Air India website: What’s going on?
> We run into very interesting problems due to scale (billions of requests per month for our main public apis) and the large amount of data we deal with.

So, if you are handling 10 billion requests per month, that would average out to about 4k per second.

Are these API calls data/compute intensive, or is this more pedestrian data like logging or telemetry?

Any time I see someone having a rough time with a distributed system, I ask myself if that system had to be distributed in the first place. There is usually a valuable lesson to be learned by probing this question.
Well look at the map. Look at neighbors. Look how many 9/11 culprits came from there. Look what is in the ground. US is more than happy to keep such dictators in place to get access and control over all this and more.

It really doesn't matter how many people they behead or cut to pieces in their embassies, if you are not US citizen you mean little to nothing and its explicitly stated in US laws. I guess common americans have no idea how much this pisses large parts of the world.
It absolutely would be. Labeling things as loopholes is politically motivated. It also absolves lawmakers of the responsibility to create functional laws when they can label people who follow them abusive.
I think a lot of people dehumanize nazis to cope with the brutalism, but we have to remember that we all have this capability… the same inner workings that lead to extreme cruelty. We can’t forget this or deny it, or we’re doomed to repeat it.
hmm, I've deleted a long reply elaborating the distinction between syntactic and semantic completeness (the terminology is a mess). Just wanted to add that your interesting point shines here:

https://math.stackexchange.com/a/117914/150078
Is this in any way related to the (no longer developed) Oden language [1] by Oskar Wickström?

[1] https://oden-lang.github.io/
> This is basically taking the tiered SAAS and trying to manifest that business model ability into hardware.

IBM did it for years with mainframe pricing, they had excess mips installed and allowed burstable performance setups for a fee, on hardware you “owned”. Amazon took this strategy over, albeit without the ownership sham. Now Intel wants a slice. It’s turtles (ie greedy MBAs) all the way down.
"the same way how the Nazis did" -- huh? How are these comparable? I didn't realize that Japanese-Americans were systematically murdered in the millions.

Yes, Americans were the "good guys" - but we weren't perfect.
I like the idea of using “fat” events as a means of data integration between systems.

Calling them RESTful events is a good term as I’ve pitched in much the same fashion. Every time a system responds to a create/update/execute request, drop an equivalent message into an event stream. Initially these can form the basis of a streaming ETL to whatever systems you use for analytics, but as new internal systems are brought online (e.g a new CRM system to help sales manage all the leads signing up for your successful product) the integration is already there, waiting. Just add a new consumer to the existing stream.

Overtime, you end up with a “data mesh”. If you look past the marketing of the term, it’s basically just means each application in your company should publish both sync (for real-time usage) and async (for data sharing between systems of record) interfaces.
Show HN: A solid-stone desk with built-in power and posture tracking
> You answered it yourself. They're against the spirit of the law.

This is not right. If the spirit of the law is obvious, write it down.

Otherwise you're just advocating for people having to know the letter of the law (even when paying more money is against the spirit of the law, that will not matter; only when it's about paying less money), and the spirit of the law, whatever that is.

If a state's only job in this regard is to write down some rules that let it get free money from workers, it should take responsibility for writing the rules down properly.
I'm not sure I understand your argument. There is sufficient time, with waves of colonisation to spread across the galaxy many times over. This can include pauses of thousands of years between colonisation waves. Some of those colonies could also build Dyson spheres. You would end up with them scattered all over the galaxy. Even if the colonies dies out subsequently, the spheres would still be detectable.
I've been following this series of posts on this job search (see https://news.ycombinator.com/item?id=30003106), and this post really resonated with me. I've experienced interviewing companies making unreasonable demands before, and generally, these are the companies to avoid. In my experience, they're also the companies that are most resistant to making any allowances to the interviewee's personal circumstances. As always, the interview is a two-way process, and it gives you a view of what working at a company could be like. When a company treats you badly as a candidadte, they don't suddenly improve when you become a full-time employee.
This is an often unappreciated killer feature in Nix. (perhaps not well explained or documented?)

copy runtime requirements:

nix copy --to s3://some-bucket ./result

copy full build description:

nix copy --to s3://some-bucket ./result --derivation

copy runtime of the buildtime:

nix path-info -r nixpkgs#hello --derivation | xargs -n1 nix path-info | nix copy --to s3://some-bucket

Then you set your substituter to s3://some-bucket either in nix.conf or in CLI with --substituters

Or if you don't like s3, point it to https, ssh, or a simple local file directory.
Depends. As others have said, you can be intentionally adversarial (looking for corner cases) when testing your system, in a way that real data isn't.
Unseenlabs reveals ships that vanished from conventional geolocation systems
Yep. It was not a serious suggestion. Without partitions, everything would be easy so it’s kinda silly to assume low latency.
Now it’s the responsibility of people to judge the spirit of sets of laws? It’s not enough to navigate the spaghetti of modern legislation, you have to rationalize the intent across several strands and ensure that you’re following it?

No, your lawmakers made overly complex, bad laws.
Conspiracy Theories and Secret Societies for Dummies
Yes, I switched banks when Chase started charging for OFX access.
The tortoise is faster than the hare—when the tortoise is in a Ferrari.
Wordle itself doesn’t use 5 unique letters though.

Some of the words I’ve picked are a bit tricky, it’s trickier than you think picking words!
Data augmentation is a big thing in applied machine learning. Deep learning practitioners use data augmentation because it works incredibly well. However, deep learning researchers tend to view data augmentation as some kind of dirty trick that wouldn't be necessary if you just had a bigger dataset.
I've used "big" Jira, notion, small Jira, Trello and linear - Jira is still my choice out of all of the above. Usually the problem with Jira is that an organisation enforces everyone to use one Jira instance, but teams in the org want to use different workflows. One wants story points, one wants t shirt sizes, both want them to be "requirements" and you end up with a badly configured Jira instance that requires you to fill in a bunch of fields. JQL is great, albeit slow on large instances but show me the equivalent filter on youtrack for "show me all of the tasks user X had completed that are still pending review in the last 12 months" in an instance with 100k+ issues that is any faster.
Sweet Dreams on a Hard Surface: The Ergonomics of Sleep (2006)
That's the thing, it might never happen. Windows itself is a moving target plus it's a multi tens of billions development effort.
> Do you live your life by the idea that anything not specifically illegal is acceptable for you to do?

This seems like deliberate silliness. Someone somewhere is writing down rules about how much money they get from you. If you don't obey the rules you get locked up. If you do obey the rules you don't. This isn't about doing things not specifically illegal; this is about how it's okay to obey the rules someone wrote down.
Charity Majors: Let's talk about OpenTelemetry
As a security guy I HATE the loss of visibility in going to the cloud. Can you duplicate it? Sure. Still not as easily as spanning a trunk and you still have to trust what you’re seeing to an extent.
I'm not the author of this post or the software, but as a general rule, if docker can run it, so can a host machine without docker (unless docker itself is a dependency which is rare and generally only done for Docker specific tooling).

Here you can see the the image is based on buster which is a Linux type host. So you can almost certainly get it working on FreeBSD

https://github.com/gristlabs/grist-core/blob/main/Dockerfile
Thank you for replying but it still doesn't explain this bizarre practice.
A criminal record in a database forever is a punishment that isn't talked about. When someone files bankruptcy, they are only punished for 7 years then the record is dropped.

Once you are labeled a criminal, you carry that mark for life. It's easy to see how that could cause resentment and anger and lashing out.

I think there should be time limits on criminal records just like there are time limits on jail time.
> Last time I checked, Nix didn't really have this. If you get the syntax wrong, it doesn't tell you "oh, you tried to get 'ripgrep', you probably meant 'nixpkgs.ripgrep'".

I get where you're coming from but as it stands there is no universal description of what "nixpkgs" means in this context. It's a channel, defined only in the context of your environment. Your nixpkgs isn't my nixpkgs. It's just a channel label.

Imagine you typed

curl "PoignardAzur"

compared with entering the same value into your browser's address bar. Would you expect to end up on your HN profile page in either case?
This is a great article and many of the steps can be generalized to other services. It's a good thing you don't need to click anywhere because that's the most annoying cursor ever!
I’m sure they’d claim they sell metadata or aggregates or something. But even if they’re selling more than they claim, I’ve accepted that as OK for my personal financial threat model.

To say the obvious, other people’s risk/reward tradeoffs will be different, and I know plenty of people who’d never consider using Plaid. But I don’t think that makes them an “evil nightmare product from security hell”.
I guess you can say C17 is a change if you want to be pedantic except it didn't actually introduce any new features; it just corrected some defects found in C11.

So we have C89, C99, C11, and C2X (C23?) as the only revisions introducing new stuff...
I hope someone at Apple’s financial team made the suggestion to trade derivatives on Meta to reap the benefits of their actions on Meta stock price.
We sold last year and got to say all these points are pretty on target.

the process is grueling and by the end you just want it over to return back to normal life. I agree fully that getting everything done before the LOI is the way to go.

Learned a ton in this process and hope to be able to use that experience to help others as they plan to go through it.
Clone culture and its continuous impact on indie developers
Old Lamplighter? Is that you?
because IC's almost always get paid more to work more - I was an IC for 90% of my life and loved it, when I worked more than 40 hours, I got paid for more than 40 hours.

Now I work for mega corp, I get paid the same wether I work 40 hours or 80 hours - and have been averaging 55-65 for months now. Like my job, so not complaining, but overall I preferred the control and extra pay being an IC gave me.

No everyone wants to be an IC, but for those that do, the option should exist - nobody forces you to be an employee or an IC - especially in this market. Let people decide for themselves.
Sounds like a terrible leader to work for anyways. Good riddance.
Still linearizable under the insane assumption that the db is always “low latency” which implies it never goes down. The write either happened or it didn’t.
I can justify this exhaustively. I will not do so in an argument on the internet. You may ask questions. I reserve the right to refuse.

This is how to protect your body if you have a strong impulse to argue, and you find yourself testing it on the internet.
I have worked remotely for almost 30 years. I know e feeling of net being able to leave work, but the solution for me was simple. At some point, I moved my office into its own room. Now I can leave work at the end of the day and close the door behind me.

It takes some conditioning to break a workaholic mindset. For me, I filled my time with playing music and then farming. Hobbies became a necessary distraction to maintain a work-life balance. But once the habit was formed, I couldn’t imagine going back.
I love building and developing software, and despite the fun and interesting challenges presented at my last job I quit because of the operations component. We adopted DevOps and it felt like "building" got replaced with "configuring" and managing complex configurations does not tickle my brain at all. Week-long on-call shifts are like being under house arrest 24/7.

I understand the value that developers bring to operational roles, and to some extent making developers feel the pain of their screwups is appropriate. But when DevOps is 80% Ops, you need a fundamentally different kind of developer.
No, the greenfield coding phase of Rust will always take longer than the same code in C: Rust will require you to think things through, while C by default accepts any morass of half-defined code.

The eventual rust code+debug+maintain speed will be higher than the equivalent C speed, for the same reason.

This means that rust is slower for vanity projects that won't be used in practice, or for low quality products with an attitude a la hack it- ship it - hide for customers - start next mess. The scary part: this is actually an existing corner of our market.
Does anyone think NY Magazine actually gives a shit about Meta's market cap, except as an excuse to crow when it goes down?

No doubt this article rubs shoulders with others that say GDP and stock prices don't mean anything, our societal obsession with them is absurd, and we should measure Gross Happiness Product instead.
The most important part of any system is how people feel about it.

If people feel it's just and good, and that good for others begets good for them, then they are more likely to be and do good.

No law, no tax, no specific policy, will ever have as much power over how well things are going for everyone as the zeitgeist itself does.

It's better for all of us if we believe people get rich because they deserve it, and if we don't believe it, we need to do what we need to do to get us back to feeling that way.
IBM also did it with their POWER AIX boxes. The big difference was those instances were Business To Business contracts and not consumers. I get the feeling the consumer market will react differently to Intel.
You can only observe whether the representation is 2s-complement or not if you can see what wrapping does.
Edit Text on Linux with KWrite and Kate
It would be great to reflow the document in single column mode, not to scroll back from the bottom of the left one to the top of the right one.

Actually, if these document are mostly consumed on screen, just write them single column, half of an A4 or Letter, or plain HTML. Do they keep creating PDFs because publishers sell paper journals?
You haven't answered the question?

Maybe because is there is no concernable difference between abstract machine models of both languages? You can't do anything more about instruction reordering or cache invalidation at the CPU level with assembly than you can with C.
I look to the worst situations in humanity for thinking about this. Stockdale is well known for becoming a POW and using stoicism to survive it. And to teach others and lead them using this mindset. Mindset is everything for a human. Encouraging a positive one is not wrong. It is also not a panacea or anything.
Well it could also be called “teaching tools and tactics that research had shown work for other people”

Usually it’s not entitlement, it’s an effort to help.

The effort might be misguided, but assuming that the cause is entitlement rather than a genuine desire to improve outcomes is uncharitable.
Quickest way to get me to close the tab to any site is to override the cursor look or movement.
Why do people get paid higher wages? Why does a software engineer make more than a janitor? Is it hereditary? Is it merely luck? Is it privilege? It is something encoded in the law?
Have a look at PureNix: https://functor.tokyo/blog/2022-01-03-purenix
I journal offline in a notebook. It's not "rewarding" in a monetary sense, but I still enjoy it and find it to enhance my life. A blog is similar in that it's like a journal except you can send it to people and get input in response.