skysight-inc/HackerNews huggingface dataset:
How to make pay go up is quite mysterious though, people seem to struggle with that.

China has seen living standards double and double and double again because they worked hard and invested in capital. India too. Africa following the same path. I keep an eye on per-capita energy stats which suggest the average person living in China is locking in to a better living standard than the average person living in the UK.

Seems likely that restaurant workers will be worse payed by the time I'm old.

I fully acknowledge that it is easier to get a doubling in living standards in China than the US. But the strategies they are using are wildly different and most of the things China they are doing to achieve amazing outcomes have been made illegal in the US. Indeed, one of the strategies a lot of countries have used to get ahead is ... allow people to hire workers at low wages and keep local costs low enough that their people can save money. This has moved a lot of wealth from the West to other places. Indeed, stories of big lifestyle improvements from a minimum wage are practically non-existent. Big wins come from owning capital, saving hard, education and upskilling where success stories are common.

The framing in this article isn't pushing people to think in those terms, it is pushing them to pick a fight with their employer. That is a strategy for people who are about to lose at economics. For example if restaurant workers want sustainable improvements they should be lobbying for mechanisms to get part-ownership of the business or educational bonuses - both of which are easier fights to win and would lead to better long term outcomes than raw wage increases.
Space Union?
Mhm. The nature of the task itself was to use several different command line tools to do various build steps.

Makefile was the only tool that felt "good enough" compared to those shell scripts.
As for "works for me" problems, i directly packed up my ubuntu 14.04 rootfs for chroot and told my colleagues this was / will be the only supported build environment for this task. (docker wasn't that widespread there back then).

> I think you can use Makefiles robustly - if you only use it for handling the build DAG, but apparently the temptation to use it as a general scripting system is too great for basically everyone.

This is very true. it starts off with "Oh i can just use bash eval for this simple math" and ends with "Okay this makefile is too ugly.. might as well use a python script to handle this step". I kinda wanted to write a make tool that integrated better scripting language then. and variable checking.

Error messages were typically manageable when you sprinkle enough :"|| (echo "Error: You didn't do the right thing; exit -1)"
As you progress though your accent becomes more English and less your first language. If they're learning in the American sphere, you don't notice the second accent, if they're not...

I really like running across a person developing an American Southern accent with their English learning.
BBC usually does a “stories which sound like april 1st jokes, but are actually true” compilation on that day. I always found it funnier than the real april 1st jokes. Also it kinda shows of their fact checking and news gathering muscles, that they are able to pull the crazy-but-true out of the sea of general crazyness.
I actually bought a bunch of light gels from B&H to do this on the lights on my stoop. I wish I could do it to the street lights and the outdoor lights mounted on the sides of our building!
Trust is hard to earn and easy to lose. This was likely the last straw after years of worsening API restrictions. They might have hoped things would improve under Elon. This is evidence things will only get worse.
The only possible redeeming feature of the round trip plan is that, when the government inevitably finds out about it, at least you have a slightly easier time explaining that you’d planned on coming back. I mean it is the thinnest probably-electroplated silver lining in the sense that they probably won’t believe you but at least there’s some minuscule evidence in your favor.
Good stuff!

(I wish the FediActivityPub people had spec'd up an API to avoid this kind of multi-implementation-who-supports-what shambles.)

EDIT: Amusingly, I fixed the "cannot login to Pleroma" problem for `madon` this week - Pleroma/Akkoma require form data in the body, not the URL, for POST requests (which is fair since the HTML spec suggests this is the Right Way.)
That sounds like one developer being in the middle of an edit breaks the project immediately for everyone?
> It's a waste of energy and a blight.

They are fine as long as they are pointed down and not up or sideways (which creates glare):

* https://www.zgsm-china.com/blog/light-distribution-of-outdoo...
> This is a result of a strange pricing algorithm mistakes, right? Surely this doesn't maximize profit

They tend to tier things so business travelers will pay more, so there may be fare rules that increase the cost dramatically the closer you get to departure date, or charge more if you do not stay a certain number of days (I've heard one week as well as requiring a 'Saturday stayover')

Of course business travelers are the ones most likely to research and plan out how to get around these, so they might book overlapping tickets pointing opposite directions and interleave them. Airlines get upset about this, but they also know that if they try to crack down that these travelers will just take their (substantial) business elsewhere.
> But if you live in a battery powered world, your entire game lies around navigating between sleep and wake states on the chip.

Is this true of every chip, or are there eco-systems where it's documented better, or less of an issue for other reasons?
From earlier: "Google to reduce workforce by 12k" (https://news.ycombinator.com/item?id=34451051)
I've known several people in your employer's situation -- they're not so rare -- and it seems like what they want more than anything, after having made their zillions, is social validation that they didn't just get lucky. The validation-seeking behavior includes lengthy one-sided chats with their old acquaintances about their latest ideas.

I think, unless you'll starve otherwise, life is too short to waste your limited time and attention on people who do not respect you, and who treat you purely as an instrument in their own plans.
[video] Gruber EV Battery and Drive Train Lift System
>Why would you be inclined to give a convicted fraudster the benefit of the doubt?

Lol, thanks for that!

I'm currently going through some sort of anxiety moment after I realized my whole life I had to defend myself over things I would never do. I built and sell a SaaS offering and there's always this element of "I have to convince the other party this is not a con" because after all you're a salesman to them and you're always going to be biased towards your product.

I then contrast that with people who are blatantly lying and I feel like I live in two different worlds, one for myself, one for those others. Bankman-Fried, ESG, Holmes of course, not only they steal but even afterwards they still get to have the "benefit of the doubt" and other people make excuses for them about their behavior etc ... where the explanation is quite simple and doesn't need 20/20 vision "they are fraudsters, they steal money through lies and their schemes". Clown world.
Oh, wow, I’ve been thinking for a while about implementing something similar for myself to be used with GCC/clang on Linux.

I suspected that someone might have done it before, but didn’t know of any implementation. I’ll take a closer look at Visual C++ (used it in the last millennium for work) before deciding how mine should work.
Laugh if you like, but remember the snail telegraph

https://en.m.wikipedia.org/wiki/Pasilalinic-sympathetic_comp...

This is all quaint and dated.

The joke is on you, thought control is real and you’re already mixed up in it.
> This is a result of a strange pricing algorithm mistakes, right? Surely this doesn't maximize profit.

The Saturday night stay rule is alive and well in certain markets. Business travellers like to be safely back home before the weekend, and their [employer's] pockets are deeper than leisure travellers.
Maybe we could send up a few dozen telescope micro- or mini-satellites and let citizen astronomers share time on them.
That depends on how hard it is to replace the library despite it being statically linked.

But if they are violating LGPL, that doesn't mean LGPL applies to their code. It just means they're violating LGPL.
Related:

The future of interactive theorem proving? - https://news.ycombinator.com/item?id=32489099 - Aug 2022 (16 comments)

The Lean Theorem Prover - https://news.ycombinator.com/item?id=30752610 - March 2022 (1 comment)

Propositional logic exercises with the lean theorem prover - https://news.ycombinator.com/item?id=28951457 - Oct 2021 (8 comments)

The Natural Number Game - https://news.ycombinator.com/item?id=27504877 - June 2021 (2 comments)

A Review of the Lean Theorem Prover - https://news.ycombinator.com/item?id=25550240 - Dec 2020 (11 comments)

Lean is better for proper maths than all the other theorem provers - https://news.ycombinator.com/item?id=22802490 - April 2020 (1 comment)

Natural number game - https://news.ycombinator.com/item?id=22801607 - April 2020 (14 comments)

Lean Book: The Hitchhiker's Guide to Logical Verification [pdf] - https://news.ycombinator.com/item?id=22794533 - April 2020 (19 comments)

Doing a math assignment with the Lean theorem prover - https://news.ycombinator.com/item?id=22789953 - April 2020 (29 comments)

Coq is a Lean Typechecker - https://news.ycombinator.com/item?id=22171305 - Jan 2020 (31 comments)

Theorem Proving in Lean [pdf] - https://news.ycombinator.com/item?id=21108357 - Sept 2019 (22 comments)

Theorem Proving in Lean - https://news.ycombinator.com/item?id=17171101 - May 2018 (30 comments)

Theorem Proving in Lean - https://news.ycombinator.com/item?id=9424507 - April 2015 (1 comment)

Tutorial: Theorem Proving in Lean - https://news.ycombinator.com/item?id=9288135 - March 2015 (2 comments)

Also related and interesting:

https://news.ycombinator.com/threads?id=kevinbuzzard

Mathematicians welcome computer-assisted proof in ‘grand unification’ theory - https://news.ycombinator.com/item?id=27559917 - June 2021 (136 comments)

Formalising Mathematics: An Introduction - https://news.ycombinator.com/item?id=26214593 - Feb 2021 (116 comments)

A mathematical formalisation challenge by Peter Scholze - https://news.ycombinator.com/item?id=25322551 - Dec 2020 (24 comments)

At the International Mathematical Olympiad, computers prepare to go for the gold - https://news.ycombinator.com/item?id=24544607 - Sept 2020 (64 comments)

Division by zero in type theory: a FAQ - https://news.ycombinator.com/item?id=23745532 - July 2020 (82 comments)

Where is the fashionable mathematics? - https://news.ycombinator.com/item?id=22390486 - Feb 2020 (64 comments)
Alternatively, a good chunk of my twitter feed would call this the bottom emoji, without attempting to give it a pronunciation. I don't think any particular pronunciation has consensus, but various groups of people imbue it different meanings.
Ask HN: Are you switching to Google Analytics 4 or an alternative?
Have used Google Analytics for over a decade. It was free, simple, unlimited history and had good predefined reports.

Just looked into universal analytics. It has a limited history, and must be used with a separate program to make sense of the data, and has no pre defined reports. If I'm understanding correctly.

For a solo business it doesn't seem ideal. Want to know if people here will switch to it, or if they're using another alternative and what the costs are like.
Not quite the same thing. Watts are power. Watt-hours per hour (or jules per hour) are average energy consumption during one hour.
> a friendly reminder that violent and property crimes in the US have been on an overall downward trend for half a century

This is a generic argument against progress. Imagine if we shrugged off vaccines because "the pathogen-derived death rate is trending down over the last 200 years" or if we rebutted #metoo with "a friendly reminder that women's rights are trending up over the last 100 years". Just because something was worse 50 years ago doesn't mean we should content ourselves with a worsening trend now.

> Also, people generally do crime because of lack of opportunity or options, which is why many countries treat the criminal justice system as an opportunity to rehabilitate people.

If the premise were true, crime should have gone down in the face of the red-hot labor market we had been experiencing over the last few years. Even still, if you can find a way to reliably rehabilitate violent offenders, I doubt you'd face any serious objection. In the meanwhile though, the soft-on-crime approach to violent crime (both with respect to reducing the amount of discretionary policing and catch-and-release approach to prosecution) appears to be (predictably) devastating communities and (predictably) further perpetuating the cycle of violent crime.
What do you mean? Where does he need to be and why does he need to be there?
These aren’t the kind of injuries you can hide.
lol, assume this is sarcasm. I'll have to sprout those wings myself. I'm just wondering what kinds of people to bring in for help and at what stage of progress.
Without evidence?
The Hamilton Road: A highway to a Kurdish paradise
Right now I sell to founders, but to build a viable business I need to sell to HR (HR SaaS). I don't know much about HR. I've built a team, I've contemplated then written a ton of policies, I've dealt with HR related issues, but I've only done it in one company, and I didn't hire any experienced HR people to help. Here is how I am approaching the problem.

1 - I joined all of the relevant Facebook and Reddit communities, and spend about 30 minutes per day just reading HR problems/solutions/discussions.

2 - Every time I talk to an HR person during sales / customer success, I ask them where they learn from, what their career path has looked/looks like, how purchasing decisions are made, etc.

3 - I've begun searching and listening to the podcasts my competitor's founders appear on.

4 - I'm going to start a local meetup, hopefully expand it into a regional conference.

TL;DR: Join communities and consume content created by your target audience.
> Nuclear waste is in general mostly a solved problem. A bunch of barrels less or more over the lifecycle of the plant in the storage site does not move a needle much, economically or otherwise.

Storage of nuclear waste was one of several issues that led residents around the Indian Point nuclear plant to push hard for its shutdown, at which they eventually succeeded.

Other issues included ecological harm to the adjacent Hudson River due to discharge of unnaturally warm water, and (probably the biggest one) the risk of widespread death and injury in the event of an accident or terrorist attack.

Indian Point is in relatively densely populated area with relatively low-capacity highways, and there was a pervasive sense that the official evacuation plans would be insufficient in case of a disaster.

If the plan here is to make more, smaller, cheaper nuclear plants in or near more cities and towns, this means you are going to have even more towns putting up the same local resistance on those same issues. Advocates of nuclear will need to have answers.
Soon a startup will start selling radio jammers to slaughterhouses?
Yeah, makes sense. I'm fortunate that my use-case doesn't have to worry about that

In general, coming from TypeScript I'd like to see a lot more "duck" types in Rust that describe shapes the compiler already knows how to deal with, just placing additional constraints on what the user can do with them. Individual enum variants, but also subsets of a given enum (where the representation can still just be the same as the full enum)

Along similar lines, I'd really really like "anonymous structs" (basically tuples with named members). That seems especially low-hanging since tuples already exist; it's almost just sugar

I think there's a lot you could do here that would fit really neatly into Rust's existing type system, but like in the RFC above I assume it's just a matter of devs not having time to implement it all
It’s a balance. I actually support the addition of the F# proposal, minus the await parts.
3D Printed Fish-Gutting Machine Contains Secret of Less-Globalized Economy
I challenge you to find a roundtrip ticket from anywhere to anywhere that is cheaper than the one way.
Manchester.
A single-way ticket.

Nah.
Spontaneous behaviour is structured by reinforcement without explicit reward
Pro Pro tip: Don't buy anything, America as a landmass can be crossed from the Southern tip to Alaska with a simple car (however a LandCruiser or a Jeep would be better to face the offroad and/or the snow)
I think your "building" and "tearing down" analogy is actually spot on.

We have a whole group of people who are so concerned with what's already built and building more and more onto it, that any attempt to point out where they went wrong in the foundation is met with criticisms like "all you people want to do is tear things down" and "well if your foundation is so good then why haven't you built as much as us".

Look at the whole phenomenon of critical theories, especially critical race theory. People were so enraged by the prospect of having the foundations questioned that the actual criticisms were less important.
There's a lot of pressure on the industry to emphasize that the designs are "new" and not like ones that failed. Innovation is good, I think, but the reason nuclear is even in the conversation now is because it already has been done, mostly safely, and could be scaled with existing tech. This makes it a decent player for a transition energy source. High cost shoot-the-moon future designs hopefully will never be necessary.

I say this as an absolutely fervently pro-nuclear person. Comparing France and Germany is really all the information you need for this kind of case.

But I don't understand this push for small reactors outside of niche military applications etc.
> when nobody is really facing that issue anymore

heh heh heh, yeah nobody
This tool canonically has no pronunciation and any attempt to give it one is non-canon. It is a child of the Internet.
Gentle drone collects loose DNA from swaying tree branches
Maybe it’s all a conspiracy so that we can’t see all the alien spacecraft flying around at night?
Airlines aren't your parents.
The effects of repetition frequency on the illusory truth effect (2021)
Your friend is crazy, or rather it seems they fell victim to the scam. Businesses want you to tip for counter service because you're helping to pay for their labor expenses and they get to pocket the difference. The person behind the counter hopes that you'll tip because they were told when they were hired that tipping would help make up for their low wages.

They want to push the perception that society thinks you should tip for counter service, but it's not real (at least not yet). I don't tip for carry out or for retail transactions. Tips are reserved for people who perform a service (waiting on my table, cutting my hair, etc) and not for every employee I interact with who handles food.

There was an exception made at the height of the pandemic for restaurants that had few if any indoor diners. We tipped them for carry out because it's money they would have been getting if it were safe to eat inside like we wanted to. Now that most people are back to their old habits (safe or not) I think it's fine to stop tipping for carry out orders.
I get it, but (1) we don't have to choose and (2) if we don't prosecute white collar crime you will eventually lose money to it.
I think you are using the word "exploit" in a different way than it is usually used, leading most people to misunderstand you. Or as a sibling comment suggests, the word has two meanings, and your argument uses equivocation (two different meanings in two different places) to achieve an apparently thick, substantial conclusion out of nothing.
My bet is that databricks will end up like MapR.
I read the whole article and most of the comments and I could not see any mention of whose bail money she was presumably willing to set on fire. I’m picturing mummy and daddy being turfed out of a palatial home by the sherif, all while stoically defending their daughter, but some actual facts would be nice.
The evolution of language by sexual selection
Not too smart huh. All tickets are tracked and recorded.
Millions of children have worse realities, but without the money or connections or whatever Holmes might still have.

We don’t like hearing about the children whose parents probably loved them but loved heroin more.
I have a free video series here:

https://www.jamesshore.com/v2/projects/lunch-and-learn

In contrast to a lot of material out there, this spends comparatively little time on questions like "how do I test a function" and more time on real-world questions like "how do I test a network call."

PS: The correct term is "Test-Driven Development," unless I've misunderstood you, and if you search for that term you'll find countless articles and resources. But I still like mine. ;-)
I don't think it's impossible to get rid of tipping. If you make the wage high enough people will stop tipping, but some will continue. If the credit card companies stop allowing a gratuities line on receipts, or a way to add a gratuite, then tips may go to cash; or run another transaction.

The issue I have with tipping is that it's everywhere. From the person who takes your order at a coffee shop, dining, ridesharing, and it's become ridiculous. Ban the solicitation of gratuities in drink and eating establishments; conversely you could make no-tipping a contingent for a restaurant license.

If people want to tip, fine, but enough with the asking.
I could tell their hiring standards are much lower when I finally passed the interview bar last year. But then, hiring freeze, and now layoffs.
So what do you think it was then? Just randomized?
pro-tip 2:

don't fly. everything is recorded

pro-tip 3: book flight before federal investigation
It would also be a huge regression for humanity IMO.
The same way it does now: as a pathetic ploy to secure a lighter sentence.
Apple appeals UK probe, but is it just buying time?
> I wonder who'll be the ones to put old Google to sleep..

Hopefully soon, I make a concerted effort to avoid using Google services wherever possible. Even in cases where the alternatives are inferior.
hugo was recently acquired by pedidosYa / delivery hero. they rolled up all the operations into a single app (pedidosYa) and absorbed a part of the hugo team. this move will allow pedidosYa to consolidate the market.

it would be weird and inefficient for pedidosYa to maintain a separate app (hugo's) w/ an entirely different codebase.
https://skepticalscience.com/understanding-adjustments-to-te...
He dwells in the past
I had a family trip where it was suddenly required I show up two hours earlier, and the original airline didn't have a flight that would get me there.

I booked a one way ticket on another to make it work, then was surprised when I tried to return home that I no longer had a valid ticket for the first.

Of course, they'll helpfully offer to let you buy a one-way ticket at the counter, 90 minutes before departure, at maximal pricing.
Met a guy who had to fly Munich→Frankfurt→Munich→New York City, because it was considerably cheaper than just Munich→New York City.

He would have gladly skipped the first 2 legs of the trip.
Never used axum, what does it bring out of the box? Interesting, maybe I've been out of tune from Rust for too long, I don't get paid to work with it so it is easy to fall behind!

I'm really into things like Django and ASP .NET these days, and last I looked (months ago?) Rust doesn't offer anything fully batteries included yet (relative to those two frameworks), heck even Phoenix is really good in this regard.