skysight-inc/HackerNews huggingface dataset:
> I wonder about the reasons of Valve to the decision to support Linux (Vulkan) and Windows (Direct3D) with native ports of CS2.

Because of the Steam Deck
People devalue things that are free. Ever been to the Google cafeteria?
Code folding is phenomenal for understanding a codebase and I'm really surprised it wasn't utilized more.
> Most people can;t afford mortgage. In most places they'll rent you a $500/month place but won't let you take a mortgage for $500/month

Nit, but they can afford the mortgage fine, the problem is they're denied it.
Tell HN: T-Mobile Forced Plan Migration for Older Plans Unless You Opt Out
Sources: https://old.reddit.com/r/tmobile/comments/174uelk/megathread_forced_plan_migration_for_older_plans/

https://ibb.co/dJcyMNm

T-Mobile is planning to force customers on the following plans to newer plans unless you opt out:

(migration paths per plan in sources above)

Customers can opt out by contacting support after October 17th. Notifications will begin going out on that date via email and SMS.

The changes are set to take effect in November.

Free lines on your account will likely stay free. Free lines have migrated easily in the past and that is expected here as well. The only time free lines turn to paid lines is when migrating to Go5G Next (+$10 for each free line), which none of these forced migrations do.
These are all really obvious items. I sometimes wish people would put a bit of thought into things before engaging in conversation.
That would be Ancient Athenian sortition [1], but it wasn't a random sample - they were drawn from a self selected set of citizens. It was random-ish.

[1] https://en.wikipedia.org/wiki/Athenian_democracy#Selection_b...
Kind of a case in point. Your last sentence is arguably anti-American hate speech (pejorative) under the UN’s broad definition [1]:

> any kind of communication in speech, writing or behaviour, that attacks or uses pejorative or discriminatory language with reference to a person or a group on the basis of who they are, in other words, based on their religion, ethnicity, nationality, race, colour, descent, gender or other identity factor

which they note is broader than the typical American definition:

> While the above is not a legal definition and is broader than “incitement to discrimination, hostility or violence”

[1]: https://www.un.org/en/hate-speech/understanding-hate-speech/...
As far as I know, an author is allowed to share the preprint of their Nature submission, e.g. by posting it on their website or Arxiv, without paying an open access fee [1]. The difference between the submitted and final version of a paper is I think usually pretty minor, so this seems decent enough.

[1] https://www.nature.com/nature-portfolio/editorial-policies/p...
Everyone gets about 100 dollars.
I will say that for Google's Advanced Protection, I was convinced having a recovery phone added was okay.

I just have a hardware key on my key chain and one on a pretty fireproof safe (which I got for other reasons). But I still added a phone recovery just in case.

As I understand it, the recovery process will always wait multiple days while sending many emails to me that it's been initiated.
same, I would not have batted an eye at a “(2019)” in the title
Yea I also worry about this. At this moment Kagi feels like the best I can do for search.

Unfortunately these days I won't be surprised to hear of fuckery from them. It's happened too many times.
Having done this…

- don’t make your camera the highest thing around. My dome was showing scratches. Eventually I got a nice photo of the inside of a juvenile bald eagle’s talon. A bird’s gonna perch where a bird’s gonna perch. Sacrifice some sky and put a better perch next to it.

- the manual focus cameras seem to be temperature dependent. Maybe get something that can be auto focused or add a heater to control night time lows.

- for long exposure low light work, you may find you get much better pictures in very cold weather. This relates to charge leakage in the sensor. If you decide to try keeping your sensor cold, consider condensation. Maybe have something in there that is colder.

- also for long exposures, the noise in the image from leakage tends to be device pixel specific. You can make a dark view map at a given temperature and use it to denoise your images. You’ll need a shutter though, or do something clever with multiple frames as stars move around to get “darkest sample” or something
Yeah ageism wasn't always part of our profession. It was probably a side effect of rapid progress combined with the desire for wage suppression. It has let us move faster as old bad ideas lose their champions faster, but we then lose all the old good ideas too. Not every developer should turn into a manager. We don't need that many managers, and good managers are more rare than good developers in my experience. Having a stereotype that old developers that aren't rich yet must be bad developers comes and goes as the bubbles form and burst. If you develop in a domain where developers need lots of on the job expertise before being productive, or in embedded or game development where a big part of TC is job enjoyment, then that stereotype is already stale and career staff developers can regularly be geniuses.
Isn't buying a house with money you don't have just describing the institution of mortgages?

And yes, I would love to own a house. I just can't get the mortgage without meeting irrelevant and onerous criteria.
> Looking forward to the inevitable "Kagi sells user data" investigative report.

Who would they sell the data to? Google? Ohhhh noooooo...

More seriously, as long as it's paired with a "But their search results are still better than Google's trashfire", I'm not sure it would matter. Their tagline is "Fast, accurate, and ad-free", not "Fast, accurate, ad-free, and private."
Which countries specifically? Iceland? The USA has pretty much the oldest continuous government of any major country.
> Because Kubernetes without operators is not Kubernetes.

Alright, so, what is it, then? I've been unfortunate to work at firms that generally have a minimal level of competency with Kubernetes, but across several billion dollars worth of firms, not a one has used operators in any capacity, but they leverage Kubernetes substantially. Help me understand the gap, would you?
I'm reporting on what my son's psychiatrist told us at the same time as she wrote my son's final prescription as a minor. She knew about it because she was a child psychiatrist in a system where that policy change was made.

She also told us that, BECAUSE that policy change had been made, it was no longer automatic to have a childhood diagnosis follow you into adulthood. She then walked us through the documentation that we needed to get so that my son's long-standing diagnosis actually would transfer into adulthood.

I wound up having to fill that prescription twice. Both times I personally experienced the shortage.

You might be right that there are factors other than increased demand. But demand definitely has increased. And I have no reason to doubt the psychiatrist.
> As you know, the recent iPhones have special hardware modifications [...] with significantly higher transmit power [...]

I don't know that – do you, and if so, from where?

But what I do know is that it's possible for very small devices to directly talk to LEO and even geostationary satellites with transmit powers comparable to terrestrial applications.
Seems very difficult to moderate millions of people posting in real time about breaking news, let alone worry about the high-level issues of whether anything is comprehensible or pleasant. Nobody even agrees about what moderation should mean. It's a failed project because there's not even a clear goal.
>Ever been to the Google cafeteria

nope
If the person uses a password manager, same result. You have the phone unlocked, you have everything.
I am quite interested by Kagi's model, and would like to try it. One issue is that I do find it a little pricey (it's roughly £110/yr just for web search).

This seems like a shame. I'd love to understand more re: how they come up with those prices in the first place, if any information is available.

It would also be interesting to explore how many of the people praising it here and elsewhere are paying customers.
This looks like the end of the road for Swarm. They are a small cube sat company that provides occasionally connected data packet connectivity globally. Space X bought them in 2021. The cofounder is now one of the main leaders of direct to cell.
Who are these people who want a puppy but instead of getting one for $60 at a shelter just wait for the chance to pay $10k to take one from its owner?
Formal Methods An Appetizer is excellent and has a companion site with toy formal methods implemented in F#: http://www.formalmethods.dk. However, it does not cover proof assistants.

Alternatively you may enjoy these two. The latter is especially thorough, and begins with classical logic:

* Concrete Semantics (Isabelle): http://concrete-semantics.org

* Program = Proof (Agda): https://www.lix.polytechnique.fr/Labo/Samuel.Mimram/teaching...
Well, Twitter did start out as a (at least partially) text/SMS-based service, and it and Starlink do have the same owner now :)
You're giving traders way too much credit for rationality here.
Offered to help the owner (a friend of a friend of a friend) of an older racing sailboat move his boat from Florida to Maryland. It was planned to be us and 4-5 other crew, but (red flag the first) ended up being only me, my wife, and the owner.

There were lots of red flags before finding ourselves in squarely over our heads -- an overheating motor was explained away as having had an undersized thermostat installed. Plausible enough. The lack of a bimini in August in Florida was just forgotten, but led to pretty significant overheating to me. The autopilot not working we didn't realize until about 15 miles offshore. That the autopilot was draining all the other batteries we didn't realize until we lost navigation lights. Etc. Etc.

This was embarrassingly recent, but suffice to say a LOT of lessons were learned. The boat was foreign enough that I accepted too many "explanations" as comfort when they should have been a reason to abort. Failures compounded and voila, we're now 15 hours away from civilization flying a spinnaker through thunderstorms at night and positively hauling ass.

Eventually we got the owner to appreciate our discomfort enough and how over our heads we were to head to safety in Charleston (he'd still just been heading east, which was baffling -- but apparently it is not everyone's first instinct to go to safety when life-threatening failures crop up) but that brought its own perils -- coming into a crowded channel at night without navigation lights isn't advised. We were shining a flashlight onto the sails, but the flashlight would change modes if it wasn't held steadily enough. One of the storms we'd sailed through had killed the owner's phone as well as his phone charger, so the little bits of navigation we had were precious, but necessary coming into shallower coastal waters. A cargo ship coming out of harbor kicked us out of the channel just enough that we ended up grounded and stuck pretty squarely about a half mile away from restaurants, but late enough on a Sunday that there wasn't any other traffic we could hail down. (A radio would have been lovely in that case)

I was sunburnt and heat-stroked enough that despite guzzling water constantly, I hadn't urinated in 24 hours, and though we were in relative calm, the totality of circumstances, I used the last of the dwindling battery on the last usable phone among us to call the coast guard for evacuation. The owner of the boat stayed behind.

To paraphrase Cheryl Strayed -- If you'd asked me at any point in the journey, I was absolutely miserable, but on the whole it was miraculous. Gained a ton of skills. Learned a ton of red flags to look out for. Experienced a lot of firsts, not the least of which included a crash course in celestial navigation. And being 200 miles offshore and awake the whole night during the Perseid meteor shower was absolutely brilliant.
Scraping internet data is perfectly fine and legal. It may be subject to copyright or ToS (which are not the same) but as long as you don't redistribute copyrighted content, or affirmatively accept any ToS, you're doing nothing wrong. So the potential risk lies entirely with the seller, not the buyer, and could potentially be reduced or circumvented in various ways. Just saying
Obviously. But if you already have the electricity it's more efficient to use it directly.
Recently I discovered there's no more "Non-commercial" lens.

I'm still a happy Kagi user but I found that lens helpful for avoiding over-SEOd sites filled with affiliate links and was disappointed to see it gone.
I switched to Kagi earlier this year and I have found its search to be vastly better than Google's in almost every case. The only time I finding myself use Google over Kagi is for searching for local business numbers or Google Maps.

If you are on the fence on paying for a search engine give it a shot for a month and you might be as surprised as to how good Kagi is as I was.
You also need to pay for clothes and food. The land of the free is very expensive.
Seems more daoist than related to enumerating steps of an algorithm.
> Yeah it is. The fact that you feel you need to "announce" yourself real time is depressing. Can you not deal with being away from your loved one. Are you that clingy that you need to be in touch 24/7? Or is it trust issues?

These all sound more like L8 problems, to be honest.
Honestly, I rather use Bing and get paid for searching. As a student with no income, I rather use something free.
You're paying Kagi for privacy.
How the Apple ][ works! [video]
Not OP, but I would say yes. And I would argue that humans behave similarly, except that we have an innate sense to question the status quo. For some of us, this trait is more prominent, whereas somebody who is more comfortable with the status quo will usually be stamped a conservative.
> why? As I understand it 256 bit avx has been standard on x86 CPUs for generations.

The Atom-derived cores did not support AVX for quite a long time. Even the Tremont microarchitecture (i.e. Elkhart Lake launched in September 2020 and Jasper Lake launched January 2021) does not support AVX. Only from the Gracemont microarchitecture on (launched in November 2021), there exist Intel Atom processors that support AVX/AVX2.
What were those alien beings like? And the deity?
Well, that speaks for itself -- my comment was more in regards to how they come up with pricing tiers in the first place.
I had one pointed east at the horizon the show a lighthouse a mile away using an old spotting scope. Worked ok until the sun made its way around to rise in frame. Now everything is greenish. I think with sufficient magnification you can cook your color filters or maybe the sensor wells under the filters.
... for what?
I just started using it after not using it for about 5 years. I used to use HaxeFlixel for making small pixel art games but moved on to heaps.

I'd say it's better than ever! I'm not a big VSCode user but it has some really nice integrations that it convinced me to use VSCode.

Here's an article on a neat stack that Shiro games uses https://haxe.org/blog/shirogames-stack/
Yeah I really like that too! I thought it was well done. Like old-school maps, full of info
The only other language like this I can think of is Rust. You can write r#keyword to quote a keyword to be used as an identifier.

This solution was devised as a means to add keywords to new editions of the language without breaking code written in the old edition that named this stuff the same as the keyword (and with full interoperability between code from new editions and old editions)

So if some function in some Rust 2015 library was named async (a new keyword introduced in Rust 2018), you can call it like r#async() in newer versions
There was also a "server" model Mini but it was very short lived and was basically a regular Mini with the "Server" software pre-installed, something that you could just throw in via the App Store with one click anyway.
Reminds me of a recent HN "article" where a daughter was writing in length about how her dad's suicide destroyed her life.

"Desperate man commits suicide, daughter most affected."
lol, have an upvote!
> But then you didn't need one for emergencies before it was possible, so I'd argue you still don't need one.

No, people didn't have phones, satellite messengers etc. Nor did we have penicillin or water filters, and as a result, people sometimes died from (by today's measure) trivially preventable causes.

So that's not a very good argument for not bringing a phone or satellite beacon/messenger on a hike – permanently connected and livestreaming, turned off and at the bottom of your backpack, or anything in between. The choice is all yours!
That movie was a complete fabrication. Not even trying to be partisan here—the writer-director was accused of making stuff up and zero fact checking when it came out and his response was “well yeah, I was going for the feel of the era.”
> As a result, by default teenagers lose their diagnosis when they graduate.

I believe you misunderstood what happens and why the coaching was necessary. The laws governing children in K-12 schools are different from those governing adults.

Children are covered under the IDEA (Individuals with Disabilities Education Act).

Adults are under the ADA (Americans with Disabilities Act).

Lots of colleges document the differences. Bryn Mawr's page looks good. [1]

[1]: https://www.brynmawr.edu/inside/offices-services/access-serv...
As someone who also brought up the pricing situation[0], I also currently make use of a free search engine (DuckDuckGo). In these circumstances, it seems that socioeconomic disadvantage and privacy do not go hand-in-hand.

[0]: https://news.ycombinator.com/item?id=37852478
> The ONLY solution is to make 'sinning' an existential threat to the firm.

Since the userbase consists largely of people who pay them to not act like google, at least for now, it likely would be an existential threat to the firm. They couldn't get much worse in that regard than big free services, so I'll cross that bridge when I come to it. In the interim, I'm putting my money where my mouth is and paying out of pocket for a really good service. The results are consistently more useful than Google's and the tooling is much much better. So if they are invasively tracking me and selling my data, you can definitely say "i told you so" but maybe we should call off the firing squad until the verdict has been reached. We currently don't have a trial, charges, a crime, evidence, or even empirically-informed suspicion.
> they just dodged their taxes poorly.

Exactly.
Interestingly we still have some vestige of this in the jury selection process.
The original (apparently staged) FSD promo video featured a tagline which read, “The person in the driver's seat is only there for legal reasons. He is not doing anything. The car is driving itself.”

What a dangerous fraud.
Honestly I don't know why you're replying, it is not really addressing what I'm talking about and using a lot of the argument styles I'm complaining about.
I keep waiting to see labor organization and unionization efforts using linkedin. It seems like a great place to form alternative organizational structures and advocate for them.
Yes. but the article was almost entirely about being that seller. The premise was, "why don't more people scrape the web and sell it" -And if I was an IPR owner and detected a scraper, and then tracked back from their origin IP robot to their web service, I'd be sending my legals round.

Offering a brokering service to "share" access to the investment in scraping, has to be done carefully. If for example its brokering access to the page specific structure in some meta notation and you as a consumer scrape direct? thats actually quite cool. If its running a cache of the data re-presented in JSON form for you to consume, or monetising an Elastic Stack of the data and you read it from them? I think its getting iffy to be that seller.
And Tesla was even clearer about the intended capabilities of FSD in their 2016 promo video:

> "The person in the driver’s seat is only there for legal reasons. He is not doing anything. The car is driving itself."

No reasonable person would interpret that as coming with the implied caveat of "but that person might need to intervene at any moment".
Interesting, neat that you can run it inside a WPF app. I'll read up on that. I was a huge fan of monogame/xna back in the day.
At the risk of sounding like a kagi marketer/shill/peddler/whatever, if it helps at all, it's actually not just search. Sort of.

Kagi is slowly rolling out some AI-backed features, and will probably work in other areas too. Two of the flagship AI bits right now are Quick Answer and the Universal Summariser.

Quick Answer collates your search results and gives you a summary of them, with inline references included. This can be alternately useful or somewhat humorous, and sometimes not even a little bit useful. For example, I share a name with a researcher who happens to have worked at the same university I do. I am not an academic and my namesake died several years ago. Quick Answer lumps us into the same person, and I get to read my own obituary.

The other tool takes an article and summarises it. I used this on some blog posts of my own and it actually pretty much regurgitated my own thought process. I haven't used it for much else right now, but it's neat. It also has a beta chat feature which allows you to ask questions about an article, although I tried this with a Guardian article and it didn't pick out small details when asked.

And then I'm also finding the search experience to just be better than Google. So far. I don't know if I'll renew or switch to annual but so far so good, honestly.