skysight-inc/HackerNews huggingface dataset:
Empower Your Wellness" is a blog dedicated to providing readers with valuable insights and tips on how to improve their overall health and well-being.
That's why i called it a "multi party ponzi". They had to know their largest borrowers were not above board. FTX promised large no risk returns for deposits in turn. Except FTX didn't even have the plausible excuse of lending money. One of the stablecoins promised an infinite money making circle of lending->profit. 3AC's trading model was to borrow at these high IRs and gamble it (i don't for a second believe they had a risk based trading strat) and hope it paid off and skim off the top. See my 3 possibilities above.

The company founders even had a flight plan to non extradition treaty countries. Where they now reside
Hell yeah even I would gladly take such a job. 120 rupees an hour is a good deal in such tough times where it's almost impossible to find a work from home job that isn't an outright scam. Last week I sat for 4 hours solving a crazy competitive programming question just to get an interview call. It's rough out there. If Anybody knows where to apply for these data labelling jobs please tell me.
> that is no longer true, the standard treatment protocol is multiple doses now, and it's the exact same treatment for chlamydia which is very common

Incorrect. The standard treatment protocol for uncomplicated gonorrhea is a single IM ceftriaxone shot. The standard treatment protocol for chlamydia is a one-week oral doxycycline regimen. They are completely different treatments.

Treatment adherence is an potential issue for the chlamydia course, but not for gonorrhea, because it is administered as a single shot.

> and would lead to the same "spillover" development of resistant strains of both.

On the contrary, the treatment protocols were specifically constructed to avoid this.

> if you are re-exposing yourself with varying half-lives of the antibiotics in your body, you are conducting experiments.

That's technically true, but thankfully not particularly relevant, as most people aren't re-exposing themselves to gonorrhea within a few hours after being treated for it.
This was also an interesting and relevant analysis if you want to read more on the subject: https://cleantechnica.com/2023/01/18/the-nuclear-fallacy-why...

Like I said, I do hope that SMRs succeed, and I want them to succeed cost effectively, not just by subsidization.
I was totally fine with tipping for 30 years of my life until I recently encountered a gas station checkout with a tip prompt. I heard Captain Picard in my head telling me the line must be drawn here. Now I only tip at dine in restaurants where I eat often and generally the bare minimum because of the inflation of base menu prices. I am not paying anyone $25 to bring me food and drinks.

Incidentally I've known plenty of people over the years who have worked in food service who never seemed to be lacking in cash for drugs, big car payments, expensive clothes. If just one sucker is willing to tip you 15% once per hour you're doing fine. If you're going home with hundreds of easily tax evadible dollars in your pocket at the end of the day stop complaining to me.
The wiki page originally cited some sources that were since removed. I think they're more interesting than the wiki.

https://www.rollrightstones.co.uk/articles/category/folklore...

https://hedgerowmobile.com/elder.html

http://www.whitedragon.org.uk/articles/respect.htm
> the logic itself can be produced automatically via the filling of type holes

Does that work in anything but boilerplate code? Like, hole filling won't be able to decide between then and else clauses in a conditional, for instance, because both clauses return the same type. And conditionals are one of the most basic data flow structures.
For context : restaurant and bars in many ( most ? ) countries function without tips. Function=do not go belly up too much.

More context : the state take over some employers responsibilities by providing healthcare, unemployment, and retirement insurances. ( none of that is free, it’s been pay by both employers and employees )

More context : prices are fair, in the sense that middle class folks in those place can afford to go get intoxicated in bars and eat food in restaurant.

Now the question, dear American friends : what type of exceptions make those things unreal in your place?

It’s not a trick question, I live among you since a while. I don’t see tips going away like I don’t see firearms disappear.

But I’m merely an experienced watched of your society, so maybe you can explain me why tips are still a thing.
;D is perfectly legal syntax too.

Btw I think I'll name this operator duck ,D=

Maybe the pipe syntax extension will be introduced if we threaten to make duck operator a thing?
Almost certainly not uniquely American. I don't remember any behavioral economics research on this particular topic but it seems to be a pretty fundamental cognitive bias. (Of course, if someone is really just looking for the lowest price it's reasonable to expect that they'll mostly ignore the fact that they're going to be riding in the luggage compartment.)
> If you don't like to tip, there are plenty of restaurants where tipping isn't expected; specifically those where you carry the food yourself from the counter to your table.

Generally such restaurants serve significantly different kinds of food, and are typically lower quality. You can't expect these kinds of restaurants (typically fast food, food trucks, buffet food, etc.) to out-compete restaurants that they are hardly even competing with in the first place (e.g. fancier sit-down restaurants).
„If you’re unsure whether to quit your job or break up, you probably should“

https://news.ycombinator.com/item?id=17840275
Tipping forms a special relationship between the restaurant and specific customers. Sure, regulars get better service, but it is more common for big tipping regulars to get these benefits and more (get seated quickly, food comes out quickly, staff comes by to chat, here's a free drink, etc). In this ideal scenario everyone is happier assuming the big tipper isn't strapped for cash.
Is the experience here much different from Idris? The latter was more a language that can also be used for proofs, whereas Lean came out of a proof assistant. Does that lead to much difference in use, or do the approaches essentially converge?

Looking briefly at the example code, it seems pretty similar.
Neither of these is an important variable.

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.

Initial investment dominates the equation. It mostly does not make sense to ramp nuclear power up and down, because of economical reasons. Gas costs are mostly dominatd by the fuel, so there ramping up and down makes sense. Nuclear costs are dominated by the initial investment.

But even without ramping up and down, still nuclear power helps integrate variable renewables, since it is providing valuable inertia to keep the grid stable.
It becomes an issue for waitresses who consistently cannot get tips; the law says their employer has to make up the difference, but in practice such people don't last long in the business. If a waitress is consistently unable to get enough tips to clear minimum wage, there's probably a good reason for it and they're just not cut out for the job.

Consider that single 20% tip on a $40 order once an hour is enough to clear the federal minimum wage. It doesn't take much, if you can't make that much in tips then either the restaurant is dead or you're consistently fucking up orders.
"Customers looked at the higher prices ($25 for the chicken instead of $21, $17 cocktails instead of $14) and ordered fewer and less-expensive items, even though they were paying exactly the same amount for them by tacking 20% onto the check at meal’s end. It’s just economic reality: lower posted prices with added fees will encourage people to spend more money because the posted price is what gets stuck in their heads."

Okay, so make all added fees, including tips, illegal. All prices everywhere include sales tax. All meal prices include gratuity, or everyone in the restaurant is paid a tipless wage. Let people get over the sticker shock.

Increasingly, everything in this country has three prices: the sticker price, the price with sales tax, and a third price which depending on the industry is either the price with gratuity, the price with fees, or the subscription price.
Einstein and Racism
The 1978 DEC10 Prolog user guide mentions PROG.PL as an example of a Prolog file with an extension. See 3.2 in https://userweb.fct.unl.pt/~lmp/publications/online-papers/U...

Maybe the 1975 Prolog I manual has more to say...
Same here. org-mode is the best todo and time tracker system I've personally used. Nothing I've come across has been more pleasant and smooth. I always forget to use todos and time trackers over time. But not with org-mode.
When you look at the flickering pattern a laser pointer makes on a rough surface, that flickering pattern is similar in nature to the double slit interference, and you are seeing it with your eyes.

Don't forget that the interference pattern is a statistical one, you need to average over a number of photons to "see" it emerge.
> Also Svn doesn't have branches per se. You just use subdirectories. It does have facilities for merging directories and managing these "branches", but it feels real weird to be switching branches with 'cd'.

Also, this means that it's possible to do some horrifying things with branches and tags, like making a merge commit which is isolated to a single directory, or checking out a tag and making a commit to it.

Hopefully no one is actually depending on these workflows being possible, because they make project history extremely hard to follow.
10/10 chance google gets a new ceo in the next 1-2 years.
Show HN: Minimal Bitcoin Client
I made a minimal bitcoin client, which can generate a new wallet or use an existing wallet (imported via private key) to check balance and send a transaction. I made it as simple and minimalistic as possible.

Open source, code available on GitHub: https://github.com/IvanLudvig/minimal-btc-client/
Agreed. It feels great to chain stuff or nest function calls, but then I hate myself when it comes to debugging.
> Like, how good of a signal can companies really be getting if it's too different from real world systems?

There are "layers" to the signal you can get from system design interviews:

1. Are they aware of "big concepts", indexing, sharding, queues, scheduling, etc.

2. Are they comfortable actually using and manipulating these abstractions in an academic sense? e.g. new college grads may have never used an index, but can walk me through how we might use one to solve a given problem.

3. Do they have experience operationalizing these concepts? e.g. in DB design questions I love it when candidates are able to walk through a zero downtime migration plan from before and after we add a feature.

4. Related to 3, How do they weight tradeoffs in the system? Do they drill down into product requirements to help inform these tradeoffs?

A system design interview often lets me say: "They're not experienced enough at our scale for me to want to hire them at level X, but I'd hire them at level X-1"

All this said, I do think more companies should try to draw design interview questions directly from their own company experience e.g. imagine we didn't have feature X, how would you add it to the product?
Most of the signalling on the religious right for the HPV vaccine was explicitly that if you let your daughter take it to protect her from an annoying and harmful cancer, she will become a sexual deviant and a whore.
Hidden fees are a strategy as old as time - what's uniquely American is the lack of regulation regarding them.

Look at something as simple as sales tax - in the US, that's not included in the price on the shelf, but in most of the developed world it is. It's not like there's some centuries old custom at work there - it's regulation.
It won't be forever. I remember Musk saying awhile back that they were going to flush inactive accounts at some point. I agree with this. Why should a username remain reserved if it hasn't been logged into for years?
> cost increases are mainly due to the rise in construction material prices as well as financing costs; nothing inherent to nuclear power or the novel technology itself.

I would argue that construction is inherent to nuclear power, and is in fact the biggest draw back about nuclear power.

SMRs were the attempt to mitigate most of the disadvantages of a constructed product, versus a manufactured product.

There's still significant work needed to convert nuclear into a technology that has a learning curve. I think this work has some of the best insights about which technologies do or do not experience learning curves with price drops:

https://www.volts.wtf/p/learning-curves-will-lead-to-extreme...
Well qualified != useful for the role.
Neo Store is an alternative F-Droid client that supports that API.
Squad servers are operated by the community, mostly by gaming clans and similar organizations. But Squad uses a "server license" system where server owners must meet certain criteria (for example a minimum level of moderation) in order to be allowed to operate a server. Supporting the DLC is sure to be a requirement.

This system existed in Project Reality too, I believe in that game it outright prohibited you from even having access to the server executable without a license while in Squad it only applies to being listed in the client's server browser.
Companies don't write magical blank cheques to someone who ticks off the right boxes without having them do any actual work. They are hired with the expectation of delivering value to the company by performing real work adequate to their qualifications. The term "diversity hire" is meaningless and frankly derogatory without evaluating actual individual performance. Companies have pipelines to handle underperforming employees and there are no signs any of them are being spared due to ticking off the right boxes despite that right-wing conspiratory trolls allege.
What it takes to build Alaska’s highways of ice
Both my parents worked for unions and they would be paid based on seniority and established credentials all negotiated by the union. They had a pension, retirement medical benefits, things most people would kill for right now. They also had bargaining power which only the "superstar" employees have today. The majority are exploited all the way down to the gig worker.

The union system seems more transparent than random hot shot new graduates making triple the salary of a productive senior worker that has dedicated many years to the firm. Nobody really knows how much these people are compensated or why. Every day there is a new "it" thing (microservices last month, crypto last week, generative predictive transformers this week). It is only okay, because the silicon valley entrepreneurs and venture capitalists tells us so.

All I hear about on this forum is how there is a lack of transparency with hiring, firing, and promotion. Complaints about diversity hires, nepotism, old and young workers, interview requirements, credentials, mass layoffs, etc., etc. The system we have now is completely broken.
The idea of tipping before the service is given is ridiculous. At sit-down restaurants you get to taste the food, see the care put into it, the presentation, service, etc. But at your local sandwich shop or with UberEats, you pay and tip before receiving the wrong order or bad quality food. Tips are supposed to be the incentive to provide a good service/product, not a custom which renders you the asshole when ignored.
Worth noting that the us dept of labor only changed their rules recently to make it clear that back of house staff _can_ participate in tip pools.

Prior to that the only way to equitably pay them alongside front of house was to pay them a higher wage out of the food costs. Those increased food costs put the restaurant at a disadvantage in the market even if the total take (food plus tip) was the same.
Well a bribe is normally an inducement to do something unethical. If it's not unethical, we call that a transaction.
The Mystery of the Radeon RX 6000 Mass Extinction Event May Have Been Solved
Even if you don’t care about public safety, worker safety is going to be expensive. You can’t pay someone enough to handle fresh from the core fuel rods by hands because it will quickly kill them.

Similarly, you need a design that’s likely to last long enough to pay back construction costs.

Finally there’s logistic issues in locating power plants in the middle of nowhere. You need massive quantities of water and large massive workforce plus dedicated power transmission to someone in need of power etc.
> I wish folks with this attitude got docked some of their pay when their co-workers or boss decide they weren't happy with their work.

That's unnecessarily hostile. I worked customer service up to a year ago, and I never felt obligated to tips. I did my job and got my money. Every once in a while, a customer would tip me for good service, but it was never required. Tips were on top of my wages, not part of them.

> I just consider tipping the surcharge for not having to do service / restaurant work myself any longer. Been there, done that, don't want to do it again.

Then what am I paying for? If $6 is a more appropriate price (for the item) to cover wages than $5 is, then the business should charge $6, not $5 plus a "hidden" fee.
I am using it for Sciter development.

For my case: one|two developers + hundreds of read-only observers + a number of patch senders
it is a perfect tool that far.

TortoiseSVN (Windows) and analogous tools (MacOS and Linux) are really unbeatable.

I am also using Git time to time but that is really far usability wise.

Five commands: commit, update, revert, merge and switch combined with FS explorer visualization are perfectly enough. Rarely: shelve(create patch) and unshelve(apply patch).
But the company leadership either has to be able to convince shareholders to stay the course (as Amazon famously did for years without generating profits as it grew), or has to have enough power to ward off the investors (bearing in mind that most investors are institutional not retail) because of the way the company is structured that he's not in danger of being ousted if the board (which represents the shareholders, not the company) doesn't like the company's performance.
People should be exposed to this, so they can make informed decisions.

I still eat meat, and definitely know what's involved. If nothing else I don't take it for granted.

I think our ancestors whose spiritual practices included things like taking a moment to give thanks to the spirit of the animal before consuming it were on to something. It doesn't necessarily have to be spiritual, but feel like internal acknowledgement is a positive thing for the development of empathy.
Gave me chills remembering this haha, what a great short story
Not in my opinion lol
While it looks wasteful, the exec's travel costs for Davos were likely higher. I wonder why shareholders pay for MS execs to attend the Davos holiday week.
lol, no. It means I switch between the two depending on occasion and mood. The Casio is my daily driver to the office and the Timex is my outdoor/workout watch.
this is a gorgeous landing page. thank you John for always being so generous in sharing your automations.
If by 30% tax credit you mean they are being handed enough money to pay for 3x the net capacity in renewables and then having their energy price subsidized by an amount higher than the total cost of unsubsidized renewables on top of that, and that rate payers must pay however much they spend on it no matter how far over budget it goes, then yes.
34 here, spent a decade as a Project Manager in manufacturing. Quit without an idea of what I wanted to do, 3 months later decided to learn web development. After a year out of work I was hired at a FAANG company. I'm only three months in and the recent layoffs may mean I get kicked out, but I've been enjoying the work so far and everyone I work with is giving me positive feedback.

You need to create some way to keep yourself accountable and to make an effort everyday, no matter how small, toward you're goal. It takes work and a lot of time, but you can do it!
If you would be very successful in that role... but the company says no... that is a poor fit and is a reflection of their ability to hire qualified candidates to meet their real needs.

I'm confused why this is funny ha ha to you...Care to expound?
> Comparing renewables without storage with a non-intermittent source is comparing apples to oranges.

Absolutely correct. There are a lot of magical hand-wavy arguments and false stats used when comparing solar to nuclear.

My 13kW array went down to 600 W (yes, six hundred Watts) peak, not constant, during the last few weeks of rains in Los Angeles. I cannot possibly imagine an entire city relying on this for energy.

At some point we have to get real. Solar isn’t the solution. Nuclear is. Solar can help, yet it is very far from being a reliable solution.

I’ll post power output graphs when I get a moment.
Stated more realistically, what will those people do in the mean time while we all wait for the economic structure of the world to reorient itself towards profit sharing? How long are they expected to wait?
Could include a default 15-20% gratuity that gets tacked onto the bill at the end? I’ve been to places outside of the US that do this. It’s ‘opt-out’ tipping.
I feel the same when I consider some of the people in my life that aren’t originally from the US. The general sentiment there is that once you graduated or trained for something once then, well, that’s it. You’re done and shouldn’t try to break into anything new, you’re just not cut out for it. That feeling seems to spill over into our interpersonal relationships when I mention things like “oh, it might be interesting to one day try <X>” with their response being “you’ll never be <X>”.

> IMO and IME, If you want to do something, and you have drive, desire and believe you can and you want to, go for it, don't let age, disabilities, gender, or other people stop you.

100% agree
This is incredibly common. I hate running interviews - we do the leetcode whiteboard pressure cooker crap - it's a policy I have no say in unfortunately. I've had candidates with strong backgrounds go to pieces right in front of me - it's awful to watch and I hate that I had anything to do with making someone experience that.

More people than you might imagine take Xanax to get through interviews.
The thought experiment i would suggest is that if you were unemployed for over a year, could you still afford not just the mortgage but also the upkeep, insurance, taxes, etc etc.

Houses can be illiquid money pits and will suck you down to the bottom if you are not prepared. If you are prepared, on the other hand, they provide a degree of mental and financial stability that is hard to beat.

Where people sometimes go wrong is to underestimate the cost and necessity of major repairs. One rough winter could mean a new roof, heating system, replaced flooring: all kinds of things can and commonly do go wrong. They cannot be left unattended. Now imagine that when you are unemployed.
It's like a person who won the lottery more than a decade ago finally having their directionless identity crisis unravel in full force.
Big difference between taxed and taxable.

I know people who have explained how being a cabbie etc was only lucrative because of cash tips.

But yea, electronic POS is now more common.