skysight-inc/HackerNews huggingface dataset:
C++ has the loudest reactionaries to syntax changes of any language community out there. Something as simple as this has 10 complainers. Imagine if someone actually proposed something radical like rust's lifetime syntax? People would be rioting in the streets.

But also part of me thinks the people making these complaints don't actually write it (C++). Because if you do then you don't really care (you just pick it up eventually without thinking about it).
Does that make it any better even if it is true? (And I don’t think that it is as true as you make it out to be, e.g. it’s not true for my medium-sized organization)

Just because it’s good for “career optimization” does not make it less of a strange mindset to view your colleagues as predators. The article also puts all of the blame on the so-called “predators”, when it should be blaming the organization’s culture and leadership if helping others is viewed in this way.
How much do you like or want not being at war? Because si vis pacem, para bellum.
This is pretty cool; however this account has been repeatedly posting this same story since 2023 and never anything else... weird

https://news.ycombinator.com/submitted?id=nomad86
With the previous 100-day record set in June 2023, I think the new record won't last for too many years. He even seems to be encouraging new record attempts:

> "It was a great adventure and now it's over there's almost a sense of regret actually. I enjoyed my time here very much," Mr Koch told AFP after leaving the capsule 11m under the sea.

> "It is beautiful when things calm down and it gets dark and the sea is glowing," he said of the view through the portholes.

> "It is impossible to describe, you have to experience that yourself," he added.
I do this for any inbound call, unless the caller id is someone in my contacts it can go to voicemail. If it's important they either leave a voicemail or keep trying, for repeated calls I will answer but with skepticism.

If they are in my contacts I will recognise their voice.
> As for lighting, I use "Circadian Lighting" which _does_ allow light groups, so I just specify the groups in yaml and it takes care of the group as a whole. I think it's probably lacking some functionality of the Adaptive Lighting plugin, but I haven't had to worry about differences in bulb types, I have a mix of Hue (80% of my bulbs) and IKEA (white only and colour).

Author here. Interesting. I wasn't able to make the groups work either with Flux or with Adaptive Lighting. Not sure why, but I didn't spend too many cycles on it tbh.

Also, good ideas on the heating. Will look at that.
> The market does not agree with this assessment. The entire market capitalization of Bally’s (NYSE: BALY) is, as of this writing, ~$1.5 billion. What’s the difference between the $50 million average imputed value of the other casinos and the $750 million imputed value of the Chicago casino? The $750 million is made up, that’s what.

> This is somewhat elementary and handwavy napkin analysis of a complicated business which, like most casinos and hotels, is heavily levered with a complex capital stack. But the investment case gets smothered by a napkin.

This analysis is not OK and Patrick should know better.

A quick Google [0] says Bally's has $5 billion in outstanding debt. That brings the market value of its assets to $6.5 billion and the question becomes "What's the difference between the $400m imputed value of the other casinos and the $750m value of this one?" And that's the kind of difference which gets explained by things like, it has 2x the average square footage, or it's more modern, or how about, it's in a city where it will have a monopoly on casino gambling, not in Las Vegas where there are dozens of competitors.

"A complex capital stack" isn't a good explanation for this analysis. It's a complex capital stack with one line item 3x the size of the only one considered.

I don't disagree with the conclusion that this is not a good deal. A fairer way to do this would be a parallel offering of class B shares to sophisticated investors, with the same economic rights and full transferability, then give the black churchgoers a 20% discount when they buy the class A. But the fundamental analysis is bad enough to make the article untrustworthy.

[0] https://companiesmarketcap.com/ballys-corp/total-debt/
I recently tried yazi after trying a few other cli file explorers and after I settle my current dot file redo I’m gonna dig into it some more
If you are still looking for a job -> ping me
They solved a lot of our problems we didn't find good solutions for!

(/s)
The title is quite misleading. This is a tutorial on reading a Lean verification script so the title should be like "Anatomy of a Lean verification script". As it is it suggests that all formal proofs look like this which they typically don't.
Trump Bets It All on OpenAI
A lot of advice shown here isn't really actionable, and is a more sophisticated version of "get born in a developed country, don't be unattractive". Of course I'd like to have a job I love, the problem is that such jobs are extremely difficult to find. Of course I'd like to focus on building relationships with people, the problem is, I'm an outcast and my personality is compatible with very few. Of course I'd like to focus on important things in life, the problem is, life is inherently pointless, so there's no objective way of telling what is important and what is not.
Actually, I’d have them come on to at the same time the cleaner is due. Or the dog walker. I DO intend on a smart lock for the front door.
They're not actually "assigned branches" of the police, they're private police. The US/Canadian railway police are not government employees, they're employees of the Class I railways and deputized with general law enforcement powers. They're spiritual successors to the old timey Pinkertons.

Two of the biggest are Canadian National Police and Canadian Pacific Kansas City Police -- and those two are deputized, in both Canada and the US, with Federal, State and Provincial police powers. Despite being railway employees they can cite you for, e.g. speeding if they catch you doing so. Either on or off railway property.
It's not a loophole. Strict necessity is well defined, and per the opinion quoted in the fine article:

> While [cookie-based analytics] are often considered as a ‘strictly necessary’ tool for website operators, they are not strictly necessary to provide a functionality explicitly requested by the user […]. As a consequence, these cookies do not fall under the [exemption].

Companies can still do it illegally of course, and many do, but there is no law that can stop people from doing illegal things.
A mouse living an extra 15 minutes does not seem like an amazing result. However the problem space is relivant as there are estimates of 58,000 people dying from snake bit in India every year. If you bump that up to 100,000 to cover the rest of the world and that moves this research into something that could be really useful , IF it opened up new therapeutics that were easier to manufacture, transport and store.

https://www.smithsonianmag.com/science-nature/an-inside-look...
The README explicitly says it's not good for crops, and from the algorithm description it can't be. Or is there another thing called dhash with a different algorithm? https://github.com/benhoyt/dhash. https://github.com/Rayraegah/dhash is similar but horizontal only.
Let's be real, legalese wasn't invented "to convey a false sense of authority" but to settle disputes as objectively as possible while leaving no room for misinterpretation. i.e. by formally specifying the constraints that define a law's applicability using unambiguous language.

The article you posted is a secondary effect. It's like saying that writing in math lingo "conveys a false sense of intelligence". Sure but that's not the point and it's mostly a projection of the listener's insecurity and lack of familiarity with the language anyway.
If you have an Android TV just install SmartTube. It’s a better YouTube in all regards: no ads, no sponsored segments, better UI (you can rearrange the categories), you can block Shorts…

SmartTube is amazing.
Social networks should be about socialising and not a minority of professional content creators enriched by doomscroll-fueled advertisements.

Once people get feedback and good experiences things are evened out much better. Look at Tumblr or even Reddit, that despite being popular, never had influencer culture.
Care to elaborate what perspective the author has been missing and why these lessons or words are ignorant?
The current model of “democracy” in the US —and indeed in most countries— is very arm’s length.

In countries with a model closer to direct democracy, Switzerland being the best example I know of, it might be possible to hold a vote about a specific policy (e.g. we don’t want our army to develop/use autonomous AI hunter-killer drones) but micromanagement of multiple policy decisions is probably both difficult and maybe unwise. Defence topics might be especially challenging given the background knowledge required to make a rational decision may often be classified and/or otherwise unavailable to the general public.
This strange reliance on Discord as some sort
of "escape from web3.0" is silly to anyone who
knows what Discord is(modern AOL) and how centralized it is.
Its just the same corporate walled garden
with more echochambery isolation.
MartijnHols is talking about using javascript, not cookies (or similar mechanisms). It is possible to use JS without cookies. If they're not using cookies, nor fingerprinting, nor storing PII, or anything else that breaks the spirit of the laws then it doesn't need a cookie banner, but under some jurisdictions you need disclosure about the potential data aggregation (even if it's just "increment a counter") to be in your privacy policy.

Collecting non-personalized aggregate data without any tracking mechanisms (cookies, fingerprinting, PII storage) is mostly fine in jurisdictions that implement GDPR and ePrivacy, as long as the usage also aligns with that (example: you also can't cheat and use AI or whatever to break privacy post-facto).

"Everything needs cookie banners" is a take as bad as "Nothing needs cookie banners".
Author here. Yeah that's what I'm doing too. Except i use the IKEA hub rather than USB Zigbee.
My impression of the two demographics this targets (ie people that use TikTok and people that want to use decentralised social media) is that the set intersection of the two won’t be anywhere near the critical mass necessary to get a TikTok like algorithm working
Pumped water is nice, but it would be a large infrastructure project. Current government system is mostly not very good at large infrastructure projects. So more feasible alternative is batteries. Preferably European made redox flow batteries.
Agreed. What is needed is a way for instance owners to monetize.

So for example I own an instance and I will provide free video hosting. In exchange I will serve you ads and collect some data to target those. If you don't like that you could go to an instance that charges a monthly fee. Or you can run your own.

If I can monetize my instance I can also pay people on my server to provide content.
Companies literally keep a big list of all the people who have shares and how many, in case they want to send out a dividend or something. If they think it is important to check it is easy to do once they have a name. Realistically the cost of checking is probably higher than just dealing with the issue at hand so they won't.

Though it is impolite to lie.
The only prototype of the MingKwai Chinese typewriter had been discovered
All 8 of their submissions are versions of it: https://news.ycombinator.com/submitted?id=nomad86
The user agent string by itself is not PII. The user agent string in context can be PII.

Here's an example you might be familiar with from a business setting: sometimes you can't disclose the identity of certain customers but you really want to talk about them as a reference when selling your product. So instead of "Microsoft" you might say "a big company from Redmond". You're not identifying which company you are talking about but you're providing enough context clues to narrow it down to the point where the most likely company you might be referring to is Microsoft. If you then go on to say something about "the big company from Redmond", that information will clearly be tied to Microsoft (or a very small group of companies where Microsoft is the most likely one) and you might be violating the non-disclosure agreement without ever having explicitly named the customer.

Back in the day, a user agent string would only tell you the OS and browser, with version numbers often only narrowing it down to maybe a year or so. But with browser and OS releases becoming so frequent, the exact version numbers alone will already often vary even between users using "the same" browser and OS and additionally it may sometimes contain information about plugins and other installed software. Alone this is unlikely to narrow it down enough to qualify as "personally identifiable" but that depends entirely on what else you store alongside it (and things like timestamps are definitely additional important context clues).
Not a primary source but a relevant HN thread: https://news.ycombinator.com/item?id=41703759
The __LINE__ macro defaults to "int". That then gets handed to the debugger.
Bro fold expressions are great and all but Jesus Christ the name spacing in that file. Like have you ever heard of this hidden C++ feature called `using namespace`?
Servers operate on top of tcp/ip not to serve information, rather to serve information plus something else, usually ads. This is usually implemented with websites and captchas n stuff.

That's a problem of misaligned economic incentives. If there is a blockchain which enables micro-transactions of 0.000001 cent per request, and in the order of a million tps or a billion tps, then servers have no reason not to accept money in exchange for information, instead of using ads to extract some eyeball attention.

There is no reason that i cannot invoke a command line program: `$fetch_social_media_posts -n 1000` and get the last thousand posts right there in the console, as long as i provide some valid transactions to the server.

Websites and ads are the wrong solution to the problem of gaining something while serving information, and headless browsers and scraping are the wrong solution to the first wrong solution and the problems it creates.
Smart people often have blind spots. The confidence you get from knowing one subject really well can leave you vulnerable in other areas.

This is one of the reasons scammers like to target doctors.
They mention space and medical and quantum computing equipment as the target uses, where all of the processing is done @ cryogenic temperatures.One of the biggest benifits they have found is that increased density in chips is possible.The researchers behind this paper are only working with aproximate numbers, and as mentioned are useing the numbers for liquid nitrogen, but space based cryo pumps use helium, so the actual performance would improve.
https://hackaday.com/2022/05/05/about-as-cold-as-it-gets-the...
In French (it is from Le Grand Continent, from the "Groupe d'Études Géopolitiques" - Fra/Esp/Ita languages for all articles. No English):

# La Chine a développé une IA aussi performante que ChatGPT pour 7 % du coût

https://legrandcontinent.eu/fr/2025/01/25/la-chine-a-develop...
I think that with C++ there’s a much bigger culture of one big library that does many things.

It’s been a few years but most projects I worked on in C++ pulled in Boost which is more akin to 50 libraries all together in one.
Note the part of the article that says "Lawyers tended to prefer plain English versions of documents, and they rated those versions to be just as enforceable as traditional legal documents."
Lightpanda co-author here.

Thanks for opening the issue in the repo.
To be clear here, the crash seems relative with a socket disconnection issue in our CDP server.

> info(events): event handler error try catch: TypeError: Cannot read properties of undefined (reading 'length')

This message relates to the execution of gt-ie9-ce3fe8e88d.js.
It's not the origin of the crash.

I have to dig in, but it could be due to a missing web API.
You lose the open windows/tabs. Apart from trivial one-off scripts I basically never have only a single tab open.
There's several things like that you can accidentally re-invent. I re-invented the Trie, and Markov Chaining whilst at University. What I didn't do is give them a thorough and rigorous description in any kind of publication.

That's quite a big part of the difference, I think.
Writing a NES Emulator
Ahoi! Participated to the development of a simulation tool for that purpose. Many factors need to be taken into account:

- The gradients of the track

- How agressively you want to drive at different time of the day

- How many trains

- The timing of the trains.
When one train brakes, it can power another one that accelerates at the same moment

- The efficiency of the power chain

- The resistance model of the train

With so many parameters the results can be quite volatile.
However, rule of the thumb in the business is that 30% saving can be achieved with good energy management. Hope this clarifies a little.

Update: bullet points
have you tried cursor?
I didn’t even know that existed until now.
OK, now I have to ask if it's deliberate that you mention that both the unionized strip club and the IPO strip club "went bust"!
From a few minutes of clicking around, most of these "office chairs" look entirely unsuitable for longer periods of work. I've also never seen a hotel room without at least a basic "school chair" and those are far more comfortable than a lot of the plastic slab or designer clamshell things I see in these photos.
also RAG implementation, and the apply code feature of cursor..
They did it on their own computer. https://github.com/ultralytics/ultralytics
I thought it was everywhere in Europe, I can guarantee that at least in Portugal, Spain and Germany I have seen them at plenty of electronic stores during Christmas.
It references DEIA because some DEI programs did a sneaky rebranding effort, using disabled people as a political shield. Where in the EO does it reference eliminating services for disabled people?
Had the exact same thing, first virtualbox, then bhyve. VBOX made FreeBSD a bit "unstable" kernel crashes about every 3 months after heavy VBOX use. With bhyve 0 problems, and when I need VBOX, Hyper-V or VMware, I have a Windows-bhyve-vm installed with it.

Next for me is the Podman/Docker thing (or netgraph(4)?....hmmm), though I have no real use for it (because of jails and or vm's), but hey, why not ;)

BTW: I love your blog posts, there is always something to learn.
It's only because they know how to translate from English to a rigid, formal language that they already know.

Just like you can map English to the language you use at work. You had to learn the language first, or you wouldn't have internalized its grammar and semantics.

I'd rather get a complex spec in English than in pseudocode. But I'm still going to write the code in C# or whatever.
Hmm, my naive summary of AGPL is "If you run AGPL code in your web backend you are obliged to offer the backend source to everyone using a web client". No wonder it's explicitly forbidden at Google.

What does that mean for a linker? If you ship a binary linked with an AGPL linker you need to offer the source of the linker? Or of the program being linked?
Love your point.

> (Good) meetings are deep work

Sadly not enough managers think that either. I've seen a hierarchy where managers only pay attention when their superiors are around. Day-to-day engineering meetings were not their moment to shine, so they took those meetings from the car driving in. The other option, railroading meetings with a strict slide deck, is also not the way to get engineers' minds to engage.

Good meetings are deep work, but there are two sides to it, and it must be lived in the culture.
EBay refuses these addresses for new accounts.
> How could this possibly be known without a review in your opinion?

By all means, have planning applications and a system to process them. Things don't have to be so binary.
This is not a loop hole. Claiming that something is legitimate interest while it isn't is just good old breaking the law.

Just because computer is able to do something, doesn't make it legal.

Also: just because me or a lawyer says it's legal or illegal, doesn't automatically make it. This sort of thing needs to go to court.
CN and CPKC police are deputized in both the US and Canada, at the Federal, Provincial and State levels. Transnational private police.
The interviewers would've been a lot happier if they'd just prescribed a language up front.
Does it make TikTok better that we're seeing paid endorsements?
Deep Seek is so underreported.

I even made a submission years ago trying to get some discussion going.

https://news.ycombinator.com/item?id=38505986

Nothing.
His take on insecure people not giving others enough space is also an interesting observation and well phrased. It's the inverse situation, and the symmetry works in a fascinating way.
Can the word "competitor" really be used to describe something that can't compete?

It's an alternative, one which the world would be way better off adopting, but far from being a competitor, unfortunately.
If you're collecting the data for fraud prevention, that would be covered by "legitimate interest" which does not require consent.

The problem with ads is that they don't want to only do fraud prevention, they also want to do deep behavioral analytics and targeting. You can't do that with data you collected for the purpose of fraud prevention because it's a different purpose altogether.

> The sad thing with analytics is that the dreadful banner makes it look like my site that only sets a cookie to know what is an unique visitor looks the same than other site that collects hundreds of data variables and then sell the data to hundreds of third parts, making the data sharing a business in itself.

If your cookie only exists to identify visitors across requests for purposes that meet the definition of legitimate interest or any other legal basis for a mechanism than consent, you do not need a "banner" (really: consent form). You don't even need a notice, just a privacy policy explaining it. An example for this are session cookies for logins - cookies for things like dark mode are slightly different but you don't have to frontload the consent request for that.

We don't shove a consent form in people's faces when we first talk to them just because of all the things we might need their consent for later in the day. I'm not sure why so many of us think we need to do this for websites that don't immediately require that consent to do something with it. Especially when consent can be withdrawn (or given) at any time.
In practice I think it's pretty much equivalent to the GPL for a linker. But I can understand why people in commercial settings are wary of this license.
If there's no cap on computation time processing extraneous data is free.
I really don't care for controlling lights or whatever, but I find it very nice as a common place to monitor all the different things we have in the home: heat pump, evse, humidity in rooms, power consumption, state of lawn mower bot, etc.