skysight-inc/HackerNews huggingface dataset:
It does not set the mono flag, so I had to try it with GTK2 gvim to even load the font:

% ttfmono MonaspaceArgon-Regular.otf
monospaced flag = 0
(0 = variable-width, otherwise = monospaced)

Sadly I think that because of that flag it does not enable ligatures.

I was able to see ligatures and text healing in vim running in a patched st* though. I really like it thanks! The text healing only moves the line subtly as I type and when I cursor over there are no droppings from the widened 'm' for example. It's well thought-out for code.

If I could ask for a feature it would be to select some variants, like angular 0 with reverse slash or to leave the ! in the != ligature. To see what I mean: https://github.com/be5invis/Iosevka/blob/main/doc/stylistic-...

* https://st.suckless.org/patches/ligatures/
We don't tip here. The customer pays the employer. The employer pays the employee.
Everyone on here is complaining about the tips, but I don’t see a way to break tipping culture. Are we going to keep ratcheting up tip percentages forever or is there a solution?
The problem is that they are using Macbooks. They should be using real computers instead!
I give 20% no matter what.
Apparently line height is to tight on Alacritty and Kitty, I would like to have line height variant like width variant.
Yet another; with more to follow
One of the things about going to Japan, was the service there is phenomenal. Like way above-average.

They won't accept tips.

In fact, if you leave money on the table, they will chase after you, to give it back.

If they did accept tips, I'd make it 50%.

I'm pretty sure the reason is that the employees are paid a living wage.

A nice side-effect, is that your table doesn't have an "assigned waitstaff." You can ask anyone walking by, for assistance.
Eh most workers prefer tipping as they can usually make more with tipping then they can with an increased wage.

The real problem is where tipping is now demanded when no customer service is given or before.
It just doesn't scale, there's only a few passenger seats available, and if we used the whole cargo ship to transport people it wouldn't be low carbon anymore.
I think you got stuck in a strange cul-de-sac. That was apparently more common in early versions of the game -- you can end up on a procedurally generated planet that sucks. I'm at something like 10-20 hours, and it has been a steady ramp of cool stuff and rapidly learning different corners of the game the entire time.

I've started to figure out the language, karma and trade subsystems (and crafting), and have mostly mastered mining, long term survival in hostile environments and interplanetary travel. I ignored the personal and spacecraft combat stuff, because I haven't needed yet (running away has worked so far).

Anyway, I just got teleportation and interstellar travel, and suspect a lot more stuff is going to open up soon.

This is all in the initial mission, which I think is a tutorial.
Well, for starters, Fennel is designed to not introduce a runtime over Lua. That means things like lists only exist at compile-time (mostly for macros manipulating code, and partly because linked lists dont make sense in Lua, and partly because technomancy thinks lists should never be used as a data structure).

Moreover, Fennel aims to be a fusion of Clojure and technomancy's own thoughts on what Clojure should have (e.g. pattern matching in the core language).

If LCL is meant to be a Common Lisp implementation, then it will necessarily have a runtime in order to implement conditions, CLOS, etc. So really, your question boils down to "How does Common Lisp compare to a Clojure dialect?" The answer is: they are worlds apart.
Why the heck did this get downvoted to -4?

It was an earnest question. I'm trying to figure it out for my own startup.

Perhaps a tangent too far?
Tipping is a significant negative experience that probably causes me to eat out less often. It's increasingly manipulative, extortionate, and most of all pointless. You have no idea what service you paid for or if the person who rendered it actually received the money.
The thing is that the food price (e.g: menu item) already includes that - so there shouldn't be a tip to begin with.

IMHO they should add a mandatory 20% service charge _after_ they discount all of the menu items by 20% - or simply get rid of the tip entirely.
I’m curious, what platforms do you use for practice and what strategies/exercises do you do to improve your speed ?
Our present system’s degrading of the term “tip” is part of the enshitification of everything.
I'm sorry these statements are simply not congruent. A private website that had quite a ubiquitous reputation (factual or not, consistent or not) for sexual web-cam encounters is not "most places." And you're being disingenuous by pretending it counts as such.

Going to Omegle is voluntary. Watching people's web cams is voluntary. Interacting with strangers from your own personal device on a site is voluntary.

There is not a reasonable expectation of having any kind of pristine interaction on such mediums.

This is in juxtaposition to private websites that effectively serve as social spaces such as Twitter, Facebook, etc because they are advertised and designed as such, they are distributed as such by major companies (Apple, etc) so it would be REASONABLE to assume you won't get some weirdo pervert on cam or some racist parading around in a KKK outfit.

Omegle was never that. Not from the start. Not during its prime time. And not obviously not towards the end.

I cannot believe I have to "fuzzy peaches" this topic since it's normally an absolutely bonkers claim designed to absolve people of responsibility and consequences. Ironically, in this case, the opposite is true.

You are responsible for going to a private site, with a known reputation, with no guarantees about what kind of interaction you have with complete total strangers from all over the world from various different backgrounds and social climates.

If you have concerns about you or your loved ones visiting that site: every single ISP on the planet will now help you setup filters over the phone or via chat. And so will vendors like Apple support.

People's choices and actions are _not your concern_ when they don't actively affect you and when you have to go out of your way to have them even be remotely relevant to your day to day life.

And if you chose to fumble your way into such a medium, the "X" button is one click away. But it was still your choice and so you are ultimately responsible for being there in the first place.
but the fear of them spitting in the food will always still be there
mailing lists are democratic/agnostic
For me typing is muscle memory. My fingers just do the thing necessary to produce words. I slow down to a crawl typing random strings of characters or new words/names because I don't actually know how to touch type I think. I just know what finger movements produce a word. It's kind of like how you don't think about how to ride a bike. It's just something you do in the same way that you don't manually breath although you could.

Typing correctly when someone is watching us more about not not letting someone's possible judgment distract you. When you are manually typing, it's just not as fast.
Agreed 100%. Our (informal) manual for consultants used to say something like

"The cupcakes in the break room are not for you. Most people will not care if you take a cupcake, but somebody will, and we will hear about it. We give you money instead, and we will certainly bring you a cupcake if you want one."
So is that a bad thing? It says it recovered but I imagine during the meantime having less myelin would affect brain function.
I love it when there’s a blogpost I’ve been meaning to write for years, and someone else comes along and does a good job writing up the same point, and with better framing.
I only tip in restaurants with servers and at the barber, nowhere else. But I always make sure to tip with card. If it's not possible then tough luck.

I pay my taxes, I don't see why the restaurant industry should not. If the tips aren't distributed to the staff that's not my problem, I'm not responsible for their compensation.
Layoffs at Block and PayPal, but retail spending should still be strong?
So what is this actually? Any more info
The same thing everyone else in the civilized world uses: a chat app like Messenger, WeChat, LINE, or WhatsApp.
Renewables R&D has been also subsidized
> I'm pretty sure the reason is that the employees are paid a living wage.

The reason is cultural. They take pride in their work, regardless of any additional donations. I would even say it is insulting to be left a tip since the assumption, then, is that the worker would not have done the job to the best of their ability without the prospect of a donation.
I tip wait staff, hotel staff, uber drivers, barbers, and that's it.

We seem to have entered this era of everyone asking for tips, in addition to the online buy-me-a-coffee micro donations culture but sorry, I can't tip everybody.

Throw away the tip jars and demand higher wages from your bosses.
True; but one of the entries is Sunshine.

I’d love to talk to one of the developers of that game. It’s so… strange; undercooked; odd.
You can often override that to be 8-bit on compilers for 8-bit microcontrollers, on which C's integer promotion rules to 16 bits can be costly.
I'd think that while a good compiler should be able to optimise those away, even a good programmer might not always write code that provides the compiler with the hints to do that.
And yet, getting frisky (with yourself or others) on a nude beach is typically illegal.

Topfreedom, in places where that is legal, is also seen quite differently than full nudity. Going to a nude beach is an opt-in experience; consent to view fully nude people is implicit in going there. Where nude beaches are uncommon, they are typically very well marked as such.

And, to pick a nit, because I live in a locale where toplessness is equal-opportunity: we enjoy this freedom due to the lack of a law restricting it.
In New Zealand pre-covid the restaurant industry were subtly trying to introduce tipping especially in places American tourists visited.

I remember seeing an 85+ year old kiwi shaken down by a very pushy waiter.

When tourism ended during covid it seemed to be rolled back. But once again cruise ships are rolling into our ports I expect to see it pushed again.

Kiwis are quite resistant to the idea. When staff are friendly, and they usually are even at somewhere like McDonalds, they are being genuine and have nothing to gain.
You're looking at it backwards. The actual question is, how do you know what "red" and "blue" are to begin with? And the answer is, you learn what the colors of things you see are called. You learn that stop signs are red and the sky is blue. And that's how you calibrate your own experiences of color. Whatever you experience when you see a stop sign, that's what you call "red", and whatever you experience when you see the sky, that's what you call "blue".
I worked at a full service gas station in high school and community college. In 4 years of pumping gas, checking oil, checking tires, washing windows, I had exactly one customer that would tip. People did not tip at full service because they were paying extra for the service. We did not expect tips, pay was slightly better than minimum wage.

I'd rather pay more than tip. People need to be paid reasonable and calculable wages.
I genuinely enjoy tipping at places that provide a service over an extended period of time. I've had a golf lesson where the guy stayed 15 minutes over to show me some pointers, I've gotten haircuts where the dude takes his time to do it right and is a pleasure to hang out with. Tipping in those scenarios feels like I'm rewarding awesome services.

95% of tipping scenarios aren't that, and it's gotten out of control.
I'm guessing they mean that's how it went from optional to obligatory.
Yea, just price it in to the goddamn food or service. There is no difference between a $10 burger plus $2 obligatory tip and a $12 burger with no tipping. EDIT: It's not the customer's job to pay a company's payroll.
The first time I saw a tablet asking for a tip, I automatically gave one. Afterwards I thought about it and realized that was stupid. I've always declined the tips ever since. Nobody has batted an eye at my declining to tip and half the time the person at the register just says, "It's going to ask you for a tip, just decline it." Even they know it is stupid. But, it had the side effect of making me mad about tipping. I had increased my tips to 20% over the years, but now I've gone back to the old 15%.
It'll flop everywhere, not just while walking. Boom boom.

But yeah I've been thinking that too. "Oh, put my coat on - better spend 30 seconds messing around with my pin" [...] "Ahhh back in the office. There goes another thirty seconds moving the pin so it can film me looking at a screen for four hours"

And yeah, I feel like the weight would definitely pull my jumper or t-shirt out of shape, and make things like my collar/neckline look out of whack. Maybe they'll bring out a range of clothes suitable for it, or suggest you wear a coat indoors like the woman in the video is doing.
and one of the papers got a special prize.
The real problem is that minimum wages are too low. If you make more in tips than with your wage - there is something conceptually wrong.

I understand this is the norm in the States, but in Europe this is definitely not the case (as far as I know).
yea, I don't get how people complain about Valve. Google, Apple, Sony, Nintendo, Microsoft all take roughly the same.

The difference is people actually like using Steam. They actually want to be locked in. I'd rather by a game on Steam vs Gog. Consider that. DRM free, but people prefer the lock-in. That's because Valve is nailing it.

Imagine people saying the same about Microsoft, Epic, EA etc.. Nope.
> It's part of the business model of a VC fund -- Y Combinator

It's part of YC but I can confidently say only around 4-5 people are working on it including moderation. I can also say confidently that more resources are spent by YC on Bookface and their own internal BI tools than HN.
I understand the sentiment, but more does not equal better.

I think we over regulate nuclear plants/nuclear plant construction/design in the United States. We should absolutely have robust regulatory controls and review in place, but those controls need to serve a purpose and reduce a specific risk(s). Controls for controls sake just add to cost and possibly sub-optimal operations.

Case in point, across the US many coal fire power stations are being decommissioned, on the face these would be great candidates to convert to Nuclear power stations. They already have a lot of the expensive infrastructure in place on site (i.e. massive transmission lines, electric substation, probably a reliable water source, etc). Great opportunity to reduce cost and accelerate a project.

But because of the way the nuclear regulations are structured, and the fact that coal ash is radioactive it's unlikely a site like this would be to become compliant.

We should have tough regulations on the nuclear industry, but they should be smart regulations.
It took me a few months to get over not tipping but my new rule is unless it's a sit down and food is brought, no tip.
> If the song I want to listen to isn't available on whatever music service this product is partnered with, could I transfer music files from my computer to this device?

What a weird example. They say they've partnered with Tidal, which would have 999 out of 1000 songs people look for, maybe more.
>> ...spending an average of 1.2 seconds on each case...

> How are these guys allowed to stay in business?

Afaik, that's exactly how the ACA was written -- there's a ceiling to non-care expenses that insurance companies can include in premiums.

One consequence of this is pushing insurers to be hyper-efficient. One consequence of that is the average case needing to take 1.2 seconds.

Granted, that likely includes a huge amount of happy path cases that flow through automated rules engines, which effectively take no time.

So really, it's more like (most cases take 0 time) + (a low number of cases take non-zero time) = 1.2 seconds on average.
You're welcome. I'm a physical design engineer. This is what I do

https://en.wikipedia.org/wiki/Physical_design_(electronics)

This is the program I use everyday. It has a list price of over $1 million for a single license. My company has about 800 licenses but we probably get discounts of 60%

https://www.cadence.com/en_US/home/tools/digital-design-and-...

https://www.youtube.com/watch?app=desktop&v=TDvq1hVXzRc
Why Is Coed Cherry Shutting Down?
I guess I don't understand what's happening here.

I get the meme, minecraft in minecraft. But is it just piping through another minecraft process to a flat object in the world?

I find displays and processors built from redstone to be much more interesting. https://www.youtube.com/watch?v=ti75U2Y913E

Still cool either way though!
I'm at the point where I tip at certain experience-style dining outings, some bars, or at my local coffee shop where I know the workers and they're chill to me. Beyond these two experiences it's just gotten absurd.

I partly want to blame the processors since they no doubt make more money when the overall charges are higher with tips.
HN allows links, yet I haven't seen any X-rated or X-rating adjacent links on here. It's a nontrivial moderation problem.
OK you will need to buy a dictionary first before using term you have no idea of. Also this is not a US word to begin with. Read some history.

BTW, I oppose solving this problem through taxation. It just makes you mad since other people prefer different changes, and makes you seeking help from commie vocabularies.
The problem is that they sell a 12$ burger and the 2$ doesn't go to the waiter - instead they ask you to pay 14$ to compensate for this
> In economics, a market is a composition of systems, institutions, procedures, social relations or infrastructures whereby parties engage in exchange.

- https://en.m.wikipedia.org/wiki/Market_(economics)

> A market is a place where parties can gather to facilitate the exchange of goods and services.

- https://www.investopedia.com/terms/m/market.asp
The name format is "Monaspace <variant>", and to use weight in Sublime Text "Monaspace <variant> <weight>".
Minecraft also teaches the next generation to think in the Metric system.

“How big is one meter?”

“It’s one Minecraft block wide.”

“Oh, that’s easy to remember.”
Mostly [3], I think. There are a few different levels of plaid speed for the ship's engines. If you want to walk on the ground, it rapidly turns into "this will take days or weeks". Similarly, different levels of implausibly fast mode in the ship remove multiple orders of magnitude from travel time.

They may have also used [1] for NMS. I don't think it really matters, given the game play, to be honest.
Choose to go somewhere else that doesn’t do that to you; if you vote with your feet, they will get the message
Mining and Refining: Graphite
I think of something and codeium fills in 10 lines of exactly what I wanted.
As an Australian I can confidently say that I know exactly how much to tip.
So everything just _asks_ for more money now, and people just do that? Crazy.
I had the lady at PetChain ask me if I wanted to donate to starving dogs (as I hold a bag of food, to feed MY starving dog). I ignored her, anyway, then i go to pay and theres another question on some digital pad asking if I want to donate to X shelter. I just ignored it and played dumb. It was enjoyable to watch her say 'its asking you a questsion' and me just tapping my card repetitively like a boomer.

I refuse to engage in your bullshit!
The elderly example is actually an extremely good/thought provoking idea. I can imagine my Grandparents getting huge use out of this, including with smart home functionality, if it got to where it needs to get to.
It's insane that we live in fear of retaliation for not giving a vendor more money while getting nothing in return.
Apollo 8 was the greatest of all the Apollo missions. The greatest leap into the unknown with the greatest number of unknowns!

For me, Borman and his crewmates never quite got the kudos they deserved.

A true loss.
Unless the head unit refuses to operate unless you share those
> The notion that olive oil is one of the healthier fat options has abundant coverage in science and health media as well as peer reviewed research. This is widely know to people who are interested in healthy diet and lifestyle stuff.

OK.

> The claim that it's all propaganda requires a stronger burden of proof IMO.

Why? If it's so well known, then it should be trivial for you to prove!

The burden of proof is on the claimant, because that's the person who has proof to begin with!

---

> If someone shouts "1+1=2 is propaganda!", the burden of proof should be on them even though almost everyone they meet will not have gone through the mathematical proof that 1+1=2 themselves

The words "is propaganda" are carrying your entire point. The tricky bit is that there are two distinct things begging for evidence in your example:

1. The claim that 1+1=2

2. The claim that claim #1 is propaganda.

Each claim has (or lacks) a separate body of evidence. The burden of proof for each claim is whoever made that claim.

Importantly, propaganda itself does not require falsehood. Both the claim that 1+1=2 and the claim that mathematics are propaganda could be correct regardless of the other.

Because of that, any evidence that MeImCounting would be able to provide that "[olive oil diet] 'health reasons' are mostly propaganda" would fail to answer the pertinent question, "Are there valid health reasons for an olive oil diet?"
I concur, strongly.

I read this biography and another one about Sr - and I found both of them to be compelling books
Thanks for the mention. That was an interesting read!
I used to tip 50%. $2 beer? $1 tip. Now the same beer is $5 and I dont feel like tipping anymore.
I agree, but only if it truly is voluntary and for someone going above and beyond. Right now there isn't much difference in tip between an okay and a great experience.
It's crazier that Dennis Richie passed right around the same time as Jobs, and didn't get any of the fanfare, despite having far more meaningful contributions to the field (to say the least), while being a humble, decent, human being.
Yeah, it is because AFAIK Iosevka is a free interpretation of PragmataPro! So you are definitely correct :D
I get tipping where it is an established tradition (like the restaurants or when traveling). But in these new paradigms you mention, you don't have to tip!

E.g. food delivery (at larger scale) came to my country during COVID. Since there is no tradition or expectation, I never tip the app. AFAIK, my friends don't either. And it's fine that way.
Tipping basically increases pay for busier shifts or higher end restaurants.

I don't love it, but I'm not going to be the one stiffing my waiter.
There’s something about the images here that makes me feel a more direct human association with the time–the silly doodle of a cat dressed as a monk, the drawing of a cat waiting expectantly for scraps from a dining table. I’ve always liked learning about the distant past, but often it can feel a little abstract, hard to comprehend just how different life was, but I love little details like this that make it feel like I can relate to people from hundreds of years ago at some basic level.
Not unlikely. 15ms is about the threshold humans can detect latency. This takes you from 33ms to 25ms which is much closer to that boundary.

Also depends on context a lot - on a 7" screen it might be hard to notice the difference, but you can easily tell apart 120hz on a large monitor or in VR.
Is this the best tool for that?

https://github.com/m4dEngi/RemotePlayWhatever
Yes, that's "exceptional" for me. If someone really goes an extra mile without expecting anything in return - they deserve to be tipped.

The key word here is deserving it - if it becomes almost mandatory then it's not exceptional anymore