skysight-inc/HackerNews huggingface dataset:
So it's a price issue? Well then the prices of tyres will go up, I don't see a fundamental problem here. This will also create a natural incentive to drive in a way that minimises wear on the tyres.

If it's a dandelion plantation it can be done in central Europe, for example.
although, as schoen and jlokier have patiently explained, you're mistaken about the halting problem, it's a productive and interesting mistake, and others have taken your line of thinking a great deal further than you have even begun to imagine! you may be interested in reading about their work: https://en.wikipedia.org/wiki/Intuitionistic_logic
I think there would be a good chance of getting caught if you did that. The police would be involved at this point and would definitely consider that as something to investigate before concluding the case.
I've never regretted spending time up-front on architecture and design. Of course you aren't going to write the entire program from scratch in your head. But iterating through stages of written descriptions, diagrams, actual code, and unit tests tends to produce a much higher quality result in the end than just banging out and implementation from start to finish. It takes more time at the beginning, but it takes so much less time to clean things up later that the additional time cost at the beginning is usually worth it.

Writing prose is similar. it might seem like you don't want to waste time outlining and sketching out ideas, but it's usually easier to assemble something useful from an outline than it is to try to work with a disjointed stream of consciousness.

You might get to a point of familiarity and/or mastery where you can do a lot of that work in your head. But that's very different from not doing that work at all.
https://old.reddit.com/r/ufo/comments/1ajdm6c/a_reporters_jo... (old.reddit.com/r/ufo/comments/1ajdm6c/a_reporters_journey_into_how_the_us_funded_the/kp0bsrc/)
If you wanna go higher then you'd purchase an umbrella policy. They are affordable though and pretty much a no brainier for anyone who has any sort of assets they'd like to protect.

I have a two million dollar umbrella policy.
Having kids is the hardest thing anyone can ever do — I am thinking of counterpoints while writing, but none comes to mind. However, I recommend having children.

It is, contrary to some commenters, not a selfish thing to do, but a completely selfless act. You can see it for yourself when you watch the children around you: The pure joy of being alive! The full range of emotions! The good, the bad and the ugly…

You could argue that the children are thrown into the world and are now stuck with it, and you rather would prefer nonexistence to existence. If you can answer the question, is life worth living, positively, then you can argue, that existence is better than nonexistence and consequently being thrown into this world is better than to pass on the experience. It would, however, be selfish to keep this experience all to yourself and not allow potential offsprings to take part in this experience.

> You need to be very sure it's what you want. It will be expensive, it will limit what you can do in all sorts of ways, because it is relentless in a way which exposure to it as an aunt or uncle or friend simply won't communicate adequately

This is right! Having kids is total; It will dominate your life. Every second of your day for at least 4 to 5 years. If you are not willing or able to endure, then you should not have kids. And again: You cannot fathom what it means to have someone who is so dependent on you and the life and future depends on you. No, not even the clingy partner you had.

The hardship is soon forgotten — this is why the uncles and aunts and friends — don't communicate it adequately. These corny moments are real: Memories that will stick with you forever, even the bad parts, that somehow and with time get twisted into fond memories. (My son was crying every night for 8 months when he was falling asleep. I carried him on my arm until he was so exhausted that he slept. I sang songs for him for hours. Then he would sleep from 11 pm to 4 am. So at 4 I went to the living room with him, and we tried to catch some sleep on the couch. It got better after thees 8 months, but what a ride — now I like to think back and miss these nights when he slept in my arm).

You might be in these first years, or I am having a short respite, but it gets easier after the first years. But you don't have kids for yourself, but for your kids.
"I have worked with this person before and I want them on the team now" - true for a handful of people that were in my team, over the span of 20 years.

"I was in the same company as this person at the same time, we either talked about work stuff or I heard good things by other people I trust" - true for many more, but does that really help?
I don’t think smartphones are your problem.
“We choose to [have kids] and [have a career] not because they are easy, but because they are hard. Because that goal will serve to organise and measure the best of our energies and skills,”
That only works for companies that are small enough not to have stringent security requirements, and that aren’t covered by any regulations about things like data residency.

Here’s a rule of thumb: if the saas company is much bigger than your company, chances are you can easily use them, because they’ll have all the necessary compliance boxes checked, documented, and certified. If they’re much smaller than your company, it may be a different story.
Part time freelancing is underrated. More people should try it. That frees up a lot of time for indie hacking
Are there good step-by-step guides? I am on the fence but researching this seems exhausting so far.
Even if we give it a bit of slack and make it a third-power-law for taxation purposes, it would still mean a large increase in tax for heavy vehicles.

Or IOW, currently heavy vehicles are free-riding, with lighter vehicles providing much of the tax revenue to fix the damage the heavies are causing.
How dare you to be so exactly right. Those corp data-driven pms are destroying monopolies from inside with one-fits billion features, which is a perfect illustration of evolutionary self-regulation.
Protocols are the future of internet competition, not really products as knew it..
Is anyone a user of Deno KV? What's your experience been like?
> The world is off ICEs now

How is it off ICE? It's slowly moving in the right direction, but very slowly indeed. New ICE will be produced and sold even in Europe for another 10 years and afterwards they have a long lifetime.
I've been a self-employed Ops-Engineer/Sysadmin for hire/Sysadmin-as-a-service for 14 years now, after doing the same as an employee for a consulting company for the 10 years before that.
Also Black Hat brings a lot of more-corporate, less-hacker types, who are probably likely to have much higher spend, possibly more gambling, and certainly dining expenses covered.
Dutch and Danish share heritage via Frysian and Saxon (English) heritage. IIRC the Frysian lived among the whole coast of North Sea from Holland till North-West Germany, and then enclaves in Denmark, too.
Transparent democratic government is non negotiable, but even from a consequentialist viewpoin it's not clear at all. We had a leaky sieve to documents of all SCI types for president for four full years and the nation hasn't collapsed. Clearly the downsides of unaccountable government are worse.
The linq bar turned into a 24hr party after the bomb threat last year
Well I am not sure you're even disagreeing with what I actually said: I didn't say they did the same thing every day. Just that they had to work hard day in day out. And I am pretty sure that's the case, even if what they did a lot of the time is what you call the "in-betweens". Remember that most people would've lived under a local chief which surely would find lots and lots of things for them to do, like build monuments, train for war (which is a constant in every human society ever - ours may be the most peaceful society in all of human history actually), even compete in sports which could be a matter of life and death in those times. Women had to be really hard workers in those times as I'm sure taking care of kids/cooking/cleaning before electricity was discovered would've required much more time than they actually had.
NL is so far ahead of other countries that it's kind of ridiculous. I wish there was a way for average citizens from other places to get a sense of what is possible.
You'd think that the country which invented the 2CV and went for full-nuclear electricity generation to save oil imports would have plenty of good small EV options.
OTOH, perhaps 95% don't care either way. Setting a minimum turn-out is a way to kill all referendums. It's only a "good" idea when you're in power.
As someone who rarely watch movies/series, I was paying ~100$/month worth of subscriptions until I cancelled most recently. Why? Content fragmentation is mentioned by everyone, but to me, the main problem was that I could never get a proper watching experience even after finding what I wanted:

1- English subtitles only available with CC: I want subtitles because as a non-native English speaker I cannot understand some of the accents. I hate it when the subtitle says: "glooming musinca playing"

2- Quality issues: I'm watching on a 4k OLED TV. Watching the matrix reloaded for the 10th time, and seeing the actors appear in two places because of some weird compression artifact pulled the plug for me.

3- Quality issues: I used to buy Crave's 4k subscription. It limits content to 720p on my Linux machine. Let's imagine a world in which I'm OK with it, IT DOES NOT GET PROPERLY FULL SCREEN ON ANY OF MY MONITORS/TV. I paid for a 65" TV, I want to see a video fill at least one of the dimensions.

4- UX issues: Sometimes I pause because I want to check something in this scene. Do not dim the scene, I'm not interested in all the details you are spitting to the screen.

5- UX issues: I'm not OK with you showing me ads before I start watching my show

6- UX issues: Sluggish apps on some TVS/streaming devices

7- On my Chromecast, made by Google, I want my guest to use a guest session on YouTube premium, to not mess up my recommendations, ads start playing. This is the same device, I've not even signed out, just using a guest session.

8- I can keep going on

I understand that license holders play content availability, but the problems above could easily be solved if any of the streaming services cared about their customer satisfaction. I canceled because even when I found something to watch, I never enjoyed the experience. Now I'm an inch away from canceling YouTube premium, and then Spotify.
Why problems at a Boeing supplier may help explain the company's 737 MAX 9 mess
I use Deno as a Javascript/Typescript-REPL. It has syntax-highlighting built-in.
Me. CTO Coach. ~4years now.
No one is being punished here. Where did anyone talk about prison or criminal charges?

Company profits are not the top priority, if it stuffers so that actually important values are preserved, there's no problem with that at all.
I was using a similar workflow before switching to Zellij.

The benefit is that you can only use one window for every project instead of 2 or more.

What I usually do is have Vim take up the entire window and use floating terminals for background stuff which can be brought in and out of view with a hot key.

The floating terminals are stacked by default, but they can also be arranged side by side if needed.

I won't claim it to be a huge game-changer for productivity, but its definitely a nicer workflow for me.
> If people were to use proper arguments to select technology, we wouldn't be in this mess in the first place.

The ultimate killer argument is always "does it improve my CV?"

CV driven development is usually the reason for questionable technology choices
Yandex Mail is part of the Russian business that is getting divested based on the press release.

Yandex is basically splitting it's Russian assets (Search, Mail) from it's EU assets (a couple moonshots and a DC).

It looks more like a Russian company divesting from the EU than the other way around tbh.

"The Purchaser consortium, led by members of the senior management team of our Russian businesses"

"YNV will retain a portfolio of international businesses and other non-Russian assets, including four early-stage technology businesses and other assets:

- Nebius AI, an AI cloud platform that is one of the largest providers of GPU capacity in Europe;

- Toloka AI, a data solutions partner for GenAI and Large Language Model development;

- Avride, one of the leading developers of self-driving technologies;

- TripleTen, an EdTech service that equips people with in-demand tech skills;

- our data center located in Finland;

and
minority investments in other technology businesses."

[0]

[0] - https://ir.yandex/press-releases?year=2024&id=05-02-2024
Alacritty is faster.
The current system makes it possible for a very small portion of the population to change things for everyone. I'm not sure that's better.
Would love this, but built around [Rockbox](https://www.rockbox.org/).
> Everyone else saw Netflix making a lot of money

At the time Netflix was literally making a cash loss despite paying less than the cost of production for most of it's output.
Or maybe they're right and that's why piracy is growing rapidly. I share most of their complaints and it's a big part of why I quit paying for subscriptions.
Good point. I assumed the synology was already set up as a NAS.

That takes a while.

Setting up the rss is just minutes.
> the umbrella can ONLY be added after you maximize coverage on home and auto.

This isn't universally true - I have an umbrella policy with USAA. They require me to have a minimum of coverage on my home and auto to have the umbrella policy, but it's not the maximum they offer. It's a couple tiers down.

Of course, the price for the umbrella policy might depend on your home/auto coverage.
How does this work? I see sysadmin as having a large day to day component. Do they call you in to setup processes or are you the emergency call?
It is more a matter of trust than effort, eg being less exposed to supply chain attacks.
I just watched the: http://railscasts.com/episodes/115-model-caching-revised

and still got some value out of it. Rails + Railscasts was truly a exceptional combination
I'm self employed for around 10 years now. Before that I was employed as frontend developer for around 7 years.

I started self employment as software consultant, which worked pretty well despite not having any connections from my previous employment. I only needed one or two projects a year to sustain my lifestyle. Getting two companies a year to accept your application isn't hard. If you write at least 5 applications a month, you need a success rate of less than 5%.

I changed to technical writing later, because text is less of a struggle than code, and educational articles that explain how to use software (e.g., services, tools, SDKs, frameworks, etc.) are paid pretty well, especially compared to the non-technical writing tasks. Regular software consulting projects take months and can haunt you for years. An article takes a few days and after that you can do other things you find interesting.

Via technical writing, I got into other kinds of text related jobs the software industry offers, like social media management (e.g., Twitter/X, newsletters, blogs) for companies with developer audiences.

Usually I work less than 20h a week and I can do it from everywhere, which allows me to travel often and having enough time off to enjoy it.
Depends on the movie I guess. Planet Earth 2 is a jaw-dropping experience on even an average UHD-1 tv (and it's not ALL about the HDR, I've tried turning it off). Distinctly more impressive than Planet Earth 1 (FullHD only).

It's a real shame that the same store that sold Blu-Ray players didn't have it and I had to pirate it (and also skip buying the player).
Do you have any tips for starting out trying freelancing gigs? I think the main issue would be visibility for me, I still need to build a protifolio that speaks for my skillset, because right now I don't think I have much demonstrable skills outside of a traditional hiring interview pipeline.
Conspiracy theorists or cynics might claim it's not just about pollution and parking spots. Such initiatives could coincidentally align with the interests of French automotive industry.

As of now, France is importing more cars than it is exporting, and its traditional main rival - Germany - happens to be doing particularly well in the SUV sector.

Just a few months ago a French MEP called for introducing a special driver license for SUVs; German MEPs would want nothing of it, even the German Green Party opposed, dismissing the initiative as "nonsense".

So when "citing a 60% increase in SUV ownership over the last four years, Parisian officials say SUVs are ridiculous, dangerous, and needlessly polluting", it would be interesting to break down where these ridiculous SUVs are coming from, in order to dispel such suspicions.
The "riffle shuffle" (dovetail) is presumably taken to be deterministic? I take the shuffling of a card-deck to be non-deterministic; but what do I know, I don't hang around in casinos or with card-sharps.
Would living on investment income be considered as self employed. I quit my management job of Tech department of my company.

Saved enough money to generate 80 percent of my last drawn salary from my investments.

Now focusing on creating my own fintech web app, with generative ai integration.

I like the feeling of working independently and years of corporate job had taken taken toll on mental health.

Currently building skills in fullstack web development and generative ai.
Would take freelance job for some extra cash
It saves my org thousands of dollars a week. If that's a toy then take me to the toy store.
Content hiding has become a really popular technique. Recently I reviewd Google's app of 2023 called Imprint and it purposefully hides all content counts to the point where some courses end abruptly with "get notified when next chapter is released". I emailed the team for content counts and got a firm no on that.

Just like with Netflix you can't browse the entire lists of content. All you have a is a search bar and some curated lists which give an illusion of content breadth. Not a fan of these dark patterns to say the least.
> I remember the talk show interviews in which he gave the "never order fish on a Monday" thing, as if the fish at most people's grocery stores was even remotely as fresh as the fish at a Manhattan restaurant on Monday.

In the article at least though, his argument actually isn't that it's not a fresh catch (which is the advice I've heard before, not attributed to him) but rather that it's spent a few days in the kitchen (because there won't have been a delivery) and so it's seen too much temperature fluctuation & co-mingled with various meats.

I don't know if it is or was an issue or not, or as commonly true as he claimed, but the point doesn't seem to be about taste, so how old what we 'freshly buy' from a supermarket is isn't really relevant.
Same here, I use tilix as my new favourite, it has panes & tabs that are just there without having me to remember a complex combo...
If I'm remote well I do it the old school way with gnu screen!

I tried a few times to see if I could get any advantage using tmux but always revert back to none at all. To me the scrollback that works 'as expected' without having to remember key combos, and also work with the mouse are a key feature!
> What about my robo vacuum cleaner?

Those aren't lightbulbs, which is what we were talking about.
Spotify loses money (which is why they keep trying to do things that are not music to keep the company afloat), and while Apple doesn't split out Music it's fairly unlikely that is a profitable business either.

Music is literally a textbook example of why it doesn't work.
It's not that simple. There are SUV-like cars in all sizes now, starting with small cars like Suzuki Jimny, and you can find a model within each 5cm band up to 5m+. Where do you draw a line? Each of these could be called a SUV by a typical voter, with increased height and ground clearance, larger wheels, in many cases 4x4. There are also sedans and station wagons with increased height and some offroad protection and styling.

My point is it's very hard nowadays to say what's a SUV. According to the article, French authorities decided purely on weight, which is only semi-related to SUV-ness of a vehicle and might include non-SUV cars, especially with heavy diesel engines, but exclude my petrol Honda CR-V 3rd gen. Why didn't they call it "triple cost for heavier vehicles" instead?
In the EU current short-term trends don't matter that much as long as the scheduled fleet emmision rules will come into force as is the current regulation.

That means from 1.1.2025, for passenger cars 93,6 g CO2/km average (which is impossible with ICE-only cars of current sizes and technology) and the manufacturer pays a fine for anything above that. But that can be relaxed if they sell at least 25% EVs (0 g CO2/km), and higher percentage of those means higher permissible average emmisions. So the manufacturers will be highly motivated to sell more EVs and we can expect all the big manufacturers will hit the 25% quite soon.

Then from 1.1.2030 this goes down to 49,5 g CO2/km and at that point ICEs are goint to be increasingly niche. From 1.1.2035 the limit is 0 g CO2/km.
From my perspective South of the North sea coast is South ;) I'll agree it's not precise, but both links on the disambiguation page to my eye justifies my use of it, at least in this context.

I'm certainly willing to accept that there may well be significant aspects of standard German that incorporates more central and Northern dialects and deviates from the southern Hochdeutsch dialects in ways I have no idea about. I'm sure you know far better than me about that.

But the most relevant differences in the context of my comment was the High German consonant shift, the effects of which is one (of several, sure) big change separating Standard German from the other Germanic languages, and which was mostly firmly happening further South than Plattdeutsch/Niederdeutsch/Low German.

In that respect at least, standard German orthography is closer to that of South/Hochdeutsch, and it has separated German further from the rest of the Germanic languages.

E.g. compare:

* Day: dag (Scandinavian, Dutch), Dag (low German languages), Tag Standard and High German.

* Ship: skip (Norwegian, Swedish) , skib (Danish), Skip/Schip/Schipp/Schepp (various lower German variants, Frisian), Schiff (Standard and High German)

* Apple: eple, Appel, vs. Apfel

* two: to (Norwegian, Danish, två (Swedish, Norwegian dialects), twee (Dutch, lower German), zwei (Standard and High German)
Relying on third parties, whether TLS certification authorities, or using own Google / Microsoft / Github/… account is NOT an improvement. No serious independent research exists that these are improvement over TOFU. Only a wishful thinking of these corporations who crave to own your identity.
It's a dual-use lean back and lean forwards device. Lean back technologies like the TV and reddit are the problem. Your smartphone use is lean-forwards. For others it's lean back. Phones have accelerometers in them, maybe they could determine if you're leaning back and enforce a time limit if you are leaning too far back.
I don't think the translator necessarily missed the joke, but had to fit the phrase in the available space (which is an issue when subtitling and an even bigger issue when dubbing)
It depends entirely on what you're actually writing!

In some jobs, I always have multiple tmux terminals running. I was about to claim that I have none running right now, but shamefully I have a Mastodon bot that I never productionized running in a tmux on my server.

If you're exclusively a front-end JS developer, it's hard to see how you'd use tmux at all.
That’s true, but I do much of my work on remote boxes so it’s a less relevant comparison for me.