skysight-inc/HackerNews huggingface dataset:
"The new memo, by NLRB general counsel Jennifer Abruzzo, explains that workers have the right, under the labor law, to speak publicly about working conditions — and that could include talking to former colleagues or the media about safety issues or discrimination."

That sounds sane.
> don't cave in

That's dangerous advice, if you have anything to lose, and the C&D isn't obviously complete nonsense. Your adversary's lawyer may have causes of action that he chooses not to disclose just now.
I was CTO of a YC agricultural company in the Midwest. I have a lot of experience hanging out with farmers.
Not exactly "the five" but a different set of five gaits.
Good. America has over-invested in cars and car infrastructure, to the detriment of many other more deserving investments. We're upside down on our priorities when it costs a few bucks to park on land worth a few million dollars and when skilled laborers are living off of insurance payouts to fix superficial dings and dents (instead of, say, fixing failing bridges).
Although paychecks seem to go less far today, America currently the strongest economy globally, with somewhat affordable housing compared to much of the developed world (although some have us beat).

Also its easy to forget the pathway in life afforded by living in a highly developed nation. Access to capital (mortgages etc)., preferred trading status (for example import goods are much more expensive in Brazil - accounting for foreign exchange), robust job market with competitive wages, strong regulatory environment (low corruption, enforced business/ financial laws) allowing business transactions to be fairly dependable, competitive offers for cell coverage and airlines and other infrastructure, (relative) certainty of safety, and access to a shared culture (for those from western countries).

Of course there are many low cost of living expats who remain attached to American institutions (such as banking), but en masse out migration to low cost of living nations? I think unlikely.
Russia has reasonably affordable real estate as well as quite peculiar job market.

A lot of real estate is being built and most of it is "low cost" economy class, which in the end lets a lot of people who want that, own an apartment and have children. Home ownership statistics are also great.

The pay is meager but at least jobs are there, meaning that if you own an apartment or a house (often inherited from your ancestors in some form) and is employed, and can fall back to Babushkas' safety nest, you can have children and that will not ruin you. Also, actual child care benefits are fine. Long parental leave et all.

Russia also actually saw a lot of economic growth since both 1999 and 1991. Perhaps the most of all ex-USSR countries, save for Baltic states, but in case of Baltics there's a serious job crunch as far as I know. The pay is nice but securing it becomes a headache. In the end it's easier to move westwards.

I'm not sure why you would assume Russian outlook is particularly bad, especially if we're talking before the 2022. After 2022, too early to say.
Granted, the person who wrote in to the Washington Post is well meaning and all and I know her write in was edited down for brevity, but it seems like this lady is bringing on alot of the problems herself and not seeing that.

Also, is there an underlying problem with retention, re this comment:

>Developing a rapport with “Bob” could help me anticipate when the lack of promotion opportunity is about to make him jump so we can line up potential replacements.

In the vacuum that is reading the article, this reads like there are problems at the organization with people getting promotions and the person writing in is willing to let them leave and replace them than work out how to keep them.

Something about the write in doesn't sit well with me more generally, but I can't put my finger on it.
Yeah, we definitely only intend Helios to run on either the Oxide rack or in service of software engineering work surrounding the rack (that's what we use the ISO installers and virtual machine images for).

If you're interested in a distribution targeting end user use of illumos on servers, I would absolutely recommend looking at OmniOS! Helios is very closely based on OmniOS r151046 LTS, and we use that LTS of OmniOS release directly for non-Oxide-rack infrastructure systems inside Oxide as well.
The US is urbanized...if you want it. There are plenty of places where people that enjoy living in urban areas can do so. However, to me, that sounds like an unenjoyable hellscape. Been there, done that. The beauty of the US is that people have choices, and aren't pigeonholed into someone else's idea of "enjoyable".
Landing is also way harder than docking in orbit
Not when it comes to ADA requirements...
My anecdata says it's true. Where before I didn't get a single rejection (so applying was sending out four applications and getting four interviews) in this round suddenly some even did not invite me for interviews, they just declined. Strange experience! And I only applied to more positions this month because a position that seemed a safe bet did not materialize at the end of last year, the project evaporated when the (one would think unrelated) automotive market catered, the linked agency instead scrambled to find projects for their existing devs.

So yeah, definitely got harder I'd say.
unless they have a purpose in mind for said property, a lot of cities are hesitant to do that. because it takes the property off the tax roll when the city accepts it.
cough dotcom boom cough
The issue is that the expected results are often unrealistic, demanding significant amounts of effort & time to meet.
One of the examples they gave was an HTTP client, which would be a surprisingly non-toy example, so I looked at what they actually did in the code (https://github.com/FreeRTOS/coreHTTP/tree/main/test/cbmc).

Not that I'm an expert in processing what exactly is being tested, but it basically looks only able to prove that an individual function doesn't overrun buffers. If you tell it to assume that integer overflows can't happen (!). So I'm not impressed.
Let's see if that's not just a regression to the mean... The birth rate was not much higher in the last decade of the Soviet Union, and times have changed since then.
The longer I think about it, the more it bothers me.

I once had a psych explain to me that the main reason many people treat ADHD, is not for themselves, but because of how others treat them.

No where I go there I am, and I will always piss people off.
This is the stated justification but it doesn't really correspond with reality. The specific values chosen for parking requirements are based on nothing at all, literally just copypasted from other cities or made up out of thin air. They are overestimates in almost all cases.

Besides, even if you mandate parking, it's an absurdity to mandate free parking.
I don't think I see it mentioned in the paper but what would happen if you used the poisoned images to train the text encoder? Would that make the text encoder itself resistant to at least the previously poisoned images?

The images will still be titled and whatnot correctly, so unless someone is also attempting to trick scrapers, the actual captions will be correct. If this is the case can't you just compare the image classifier's and the actual caption to tell if it was poisoned.
I take it as a badge of honour for being flamed by Theo de Raadt.
If you are being flamed it means that you are doing something worth engaging with. Take it with a grain of salt and cut through the negativity to find valid criticisms which help you grow.
So, then, protein folding is likely also possible to make Turing complete, no?
Yes, I think South/Central America technology is coming in big. Personally I am learning Spanish finally.

It comes with a fraction of the confusion from offshoring to APAC wrt timezones, business culture, language barriers, and so on.
Frama-C is also very cool. Also Coq VST and however seL4 does it. I think out of all of these, CBMC requires the least expertise / has highest automation. I also don't see how it can scale beyond the unit test level, or patch together verification conditions into global properties. Perhaps this could be done by some meta framework plugging together calls to CBMC. Given the level of penetration of formal methods generally, I think the relatively low ambition of CBMC compared to these higher ceiling techniques is good.
Most places where pot's legalized are getting more tax revenue, and liquor tax revenue is often declining. Seems some folks don't yet know that a) it was originally criminalized for political, not safety reasons, and b) LOTs of people enjoy it.

One interesting book is "The Emperor Wears No Clothes", where they have a well-researched bibliography showing that the invention of the "Hemp Jennie" was the root cause, as it would have dramatically cut into cotton profits. It was the Cotton Lobby that fought hardest for criminalization.
Land vs water/barge transport costs for bulk cargo may increase that by magnitude. Article suggest there will be 5x increase in demand and 5x increase in price at current stagnating availability. So that seems maybe doable.
This sounds like interesting research - could you share a link to your results?
> What happens if I dont comply?
>You get marked as spam? And that's probably the best case scenario. Your email may not get delivered.

My best friend works at a large ISP specifically on their email transport system. They discard 97% of the emails they receive. That's straight into the bit bucket, not to your Junk Mail folder.
Grafana and Prometheus Fundamentals
Weird that this treats uninitialized variables as unknown values. For example in ex3.c, the program

int main(){
int x;
if (x <= 42){
assert(x != 12345);
}
}

is of course UB in C, even though under a "uninitialized is random" model the program is valid and does not assert (as the model checker concludes).

(even in O1 clang gets rid of the whole function, including even the ret instruction, I'm surprised it does not at least leave an ud2 for an empty function to help debugging since it would not cost anything https://godbolt.org/z/eK8cz3EPe )
We did this for a long time in the US and called it "homesteading".
Well yeah GIT command line is insufferable interface it should be much simpler /s
Awesome!! We'll send you an email shortly :)
Cities are hot. Cities with lots of mature trees providing shade on the sidewalks make it a lot more bearable.
It is actually not low. There are numerous studies on how cutting out gluten has positive health outcomes for schizophrenia, epilepsy, and autism. [1,2,3] Not to mention numerous anecdotes from diabetics about how going on keto got them to reduce or stop using insulin.

As someone who has allergies and a ton of symptoms that were alleviated by cutting out foods, it is really tiresome to hear that it is placebo or it is psychosomatic. Before I knew it was allergies and had the test in hand, I just had to grin and nod along when someone said my chronic sinus headaches were essentially make believe. Now I have a piece of paper that confirmed just about every food I had cut out or naturally avoided.

You are clearly not familiar with the research in this area. People dealing with mystery symptoms that are cleared up by cutting out certain foods will generally be. Maybe hold off on telling them it is placebo?

1. https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6606425/

2. https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6586915/

3. https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3747763/
If the trees are native to the area, sure. But a tree monoculture doesn't seem to do a lot of good.
Ask HN: How to stop an Android phone to accidently call 911 112 from lock sceen?
After the new update the phone keeps dialing it at least once per week from my pocket.

The whole internet is full of people complaining about this future - that is supposed to help because it is "easy" to call 911 from someone else's phone (stolen phone or what?). In reality I think I called 112 already like 30 times after the update. So no, it does not help me in case of an emergency, it just blocks the emergency line with useless calls. Also due to the sheer number of useless calls the 911 operators become used to ignoring "empty" calls - and probably people who need help will not get it.

Why cannot Samsung / Android make a feature that requires unlocking the screen by sliding or tapping in special places before a call?
Did Samsung and Google just use cheapest bidders to make software?
Because this all feels like a perversy - they made some law that phones need to be able to call the emergency number when locked, but then the phones unlock so easy that the internet is full of people who seem to have called the emergency line hundreds of times. Without any real information how to disable this perverse feature - because it seems you cant?
Three ways we can fight deepfake porn
Yes if you go outside the major population centers there is still affordable housing, land, or rental housing availble. The problem is there aren't a lot of high-paying jobs in those areas, or other ammenities that a lot of people like such as entertainment, gourmet restaurants, nightlife.
Amazing, testing this out tomorrow !
Yeah, I don't think "mirroring" is quite the right term. It's effectively a 4K monitor for the laptop, with the laptop screen going black. Most (all?) Mac laptops don't have a 4K screen, so you have more screen real estate than "mirroring" would make you think.

But this is sufficient for many use cases (or at least, mine). I pre-ordered one with the idea that my main work will be on the 4K monitor, with most of my superfluous apps floating around as native visionOS apps. That's mail, a web browser, and zoom, which all have apps now, and Slack, which I could just use Safari for but may have a native app in the future.
Another big aspect of professional gambling is actually being able to place bets once you have an edge. This is obviously not an issue in poker but is in most other games:

The casino will ban you if you count cards in blackjack.

The sportsbooks will limit your action or ban you if the figure out you have an edge (or just see that you're winning or betting in certain patterns).
Eastern Europe has 1st world infrastructure and excellent health care for at 50% cost of living. I moved my family 3 years ago after the C19 tyrany.
I don't know about those narratives, but I do remember rent increase moratoriums in some places during the pandemic. The fact is, this (literal) rent seeking behavior will continue if unchecked. Two simple ways (probably among others) to check it: legally (this worked short term over the pandemic), increase supply (has better benefits long term). The best time to build housing was yesterday, the next best is today.

More complex ways, combining many approaches to address these issues, work better still.
Moving to Florida from NYC was a revelation for me. With more people it manages to properly return services to its citizens despite zero income tax.

Think about the state and city tax you pay as a New Yorker and just how miserable of an experience you get in return.

NYC is drowning in pension obligations and just plain mismanagement. For nearly two years post-COVID lockdown you still couldn't get any kind of interaction with any city services. The city courts are still backed up for years and years.

The city's infrastructure is collapsing, budget cuts are everywhere and every politician in the city is still crawling over each other trying to save their pet pork projects rather than do what matters for most of the people who live there.

GET OUT!
You think you can just get out of prison and use the money? They will be watching you and anything you buy with it or any cash you convert it to will be seized again. Might as well give it up for reduced sentence.
> The rules in my area are two spots per bedroom - mandatory

Wait am I reading this right that a 3-bedroom family home would come with space for six cars? How many families have 6 cars that's insane O.O

Sounds like a regulation someone long ago thought would for sure prevent anyone from building anything. No way they actually wanted that much residential parking ...
The asylum laws are worsening now under Biden:

President Joe Biden’s new border plan focused on deterrence will almost certainly lead to a rise in the already record number of migrants dying at the United States southern border, enrich criminal cartels, and return refugees to likely harm, Human Rights Watch said today.

Biden’s “asylum ban,” announced in a rule in the Federal Register on May 10, 2023 is set to replace the abusive Title 42 summary border expulsion policy originally created by the administration of President Donald Trump under the false premise of protecting public health.

“Despite having more than two years to plan for the end of Title 42 and campaigning on promises to create a humane border, Biden has recycled one Trump policy after another, leading to countless abuses of mostly Black and Brown migrants,” said Ari Sawyer, US border researcher at Human Rights Watch. “His latest plan replaces Title 42 with a policy that continues to rely on failed and deadly deterrence and would bar people from applying for asylum.”

Biden’s new plan combines elements from Trump policies, including Title 42; a hyper-expedited deportation program that after due process abuses was scrapped when the expulsion policy took effect; and the asylum “third country transit ban,” found unlawful by two federal courts under the Trump administration.

The revamped asylum ban will block asylum seekers at the border from entering the United States for five years unless they obtain an appointment through the cellphone application “CBP One.” Appointments are extremely limited and usually book up within minutes, meaning that asylum seekers wait for months, trying each day to secure a spot. The result is electronic “metering” – forcing asylum seekers to wait in dangerous conditions at the border for an indeterminate amount of time.

Mexican President Andrés Manuel López Obrador has agreed to accept non-Mexican asylum seekers who are rapidly removed by the United States. Since the implementation of the ‘Remain in Mexico’ policy in 2019 and Title 42 in 2020, asylum seekers sent to Mexico have experienced kidnapping, rape, extortion, and other abuses by organized crime and Mexican officials.

By continuing these rapid removals, albeit with a new legal justification, Biden and López Obrador are knowingly continuing to put asylum seekers at risk, Human Rights Watch said. When the United States sends migrants to Mexico, criminal cartels are enriched by kidnapping them and then extorting money from their US-based family members to secure their release.
I think urbanizing core metro areas is actually key to protecting rural areas.

I was sitting in a coffee shop in a small town and I overheard a conversation next to me. Two elderly men were talking, and one of them made a comment to the effect of, "I like a rural town, so I try to vote to keep it that way." Two or three decades ago, this town really was a small farming town, but the population is growing and the town is changing. It's not becoming a city, though, not by any means! As the city (somewhat) nearby is becoming more expensive, the suburban sprawl is, well sprawling. The small rural town is transforming into a suburb of the city.

I would agree that this is a negative change for the small town, and I would argue that the solution is to urbanize the nearby city. There should be much more housing, and it should be much more affordable to live in the city. As it stands, many people want to live in that city, but find the housing prices unaffordable. So these people make a compromise between how much they are willing to pay on housing vs how long they are willing to travel (almost always by car) into the city. I count myself in this group.

Urban areas and rural areas complement one another, and there's pros and cons to living in either kind of place. However, post-WWII styled suburbs are, in my opinion, a net negative.
Eh if your jobs management and is taking a few inputs and making a decision on them. Probably get back on the tools mate.

It's really easy to replace or reduce the need via automation just about every function management performs.

Easy as to consult an AI instead of a manager for most of the stuff a manager can do. Real hard to get an ai (or anyone else really) on the tools for a 10 hour shift.
"You know Thomas Friedman, you are bad at writing and nobody likes you"

Edit: it's one of the best scenes in Barry.
Exactly. There isn't a place that's simultaneously nice for drivers and nice for everyone else. A space for cars necessarily reduces value, safety, and comfort for humans outside cars.
Discontent over this implementation detail shows users are fully sold on the basic idea. Like, if the main complaint about the first Fords was the colour range.
It's hard to predict the future. All I can say is that these are forces pushing in various directions, creating tendencies. Personally, I would say ZIRP is a factor in income inequality, but not the only one. There are others:

- monetary policy

- trade policy

- labor policy

- patent and copyright policy

- even foreign policy
> The issue with ADHD is that you cannot muster the strength to do the meaningful stuff you want to do.

Even medication doesn't help with this for me. I am basically nonfunctional without external motivation and/or fear of consequences.
"Hold up, let me take my face off real quick."
On the NANAE newsgroup, law firms would often pop up threatening legal action against blocklist maintainers or mailadmins; the standard response was "Where is your writ?".
I like opinionated boilerplates. I can adapt to working in different ways. Having someone else decide a reasonable architecture is something I don't mind at all.
Cinema Treasures: Guide to past and present movie theaters
I was digging around for some information on some movie theaters from my childhood that are no longer around and came across this great site that catalogs not only all of the current movie theaters, but also the old ones that have been closed and or demolished. Now I need to dig through my photos to see if I have any to add!
My folks keep talking about Costa Rica (as many retirees may have), but never committed.
How hard is nowadays getting some code merged in the kernel?
Cooking sounds like a nice application, but as soon as the headset steams up/get condensation on the glass it will be quite annoying. I can't imagine cooking in ski goggles.
Reference: https://xkcd.com/538/
South Korea's birth rate has become a national emergency
I think even if it were good enough to place some static instructions over a non-disruptive part of your field of vision, with a pleasant way to display embedded images or video, and a hands free control mechanism, I would find that incredibly useful for DIY projects and stuff.
>A car centric life is not sustainable for the planet.

How so? If we waved a magic wand and all cars became EVs powered by renewable energy, what would be unsustainable?
Watching sports in 3D with spatial audio.

> According to an exclusive report from The New York Post, NBA Commissioner Adam Silver “said the league is working with Apple to bring a tech-enhanced viewing experience” to its upcoming headset.

When asked about it, he told the outlet: “We’re working very closely with Apple.”

https://www.tomsguide.com/news/nba-games-could-be-apple-visi...

If there is one group that has a track record for laying down piles of money for hardware like giant televisions and expensive streaming services, it's sports aficionados.
Yes. Homelessness in San Francisco tended to diverge from the national average over this period. So did San Francisco housing prices. This was the period of many unprofitable Bay Area and San Francisco unicorns.

Now, I shared my beliefs. Let's hear yours. What do you think happens when one group of people like tech workers in a city is handed large salaries that are not constrained by market forces like profitability? How does that help someone in that city who is not a tech worker?