skysight-inc/HackerNews huggingface dataset:
Yeah this is the case—-sorry, should have clarified that
"3rd party" browsers on iOS are just safari/webkit. They do not allow browsers that don't use safari/webkit.
Such a sad tale. I’d love to watch a documentary about this.
Code using AI;

For that I will try launching from idea to production a solo project.
What period in Tesla’s history are you identifying as “turned to shit”? Seems like they’ve been on a continuous upward trajectory and he’s been at the helm nearly the whole time. When he took over, they had no products, no sales, no manufacturing. He’s been in charge since then, during which they built several factories, launched several models, and sold several million cars.

He’s obviously not running the place day to day all the time, but I don’t see a period of decline where you could point and say “that’s when Elon came in and screwed it up.”
One would have to wonder why an emergency smoke extractor fan isn't default equipment - when pilots oxy is deployed a panel should blow outward and a high flow fan start.
Not all fiction is equivalent. When you are actively world building making explicit revisions is useful for those trying to follow along. If you'd prefer a different word you should say so.
What is so bad about Premiere? (I don't work in this industry. I am asking to learn something new.)
But only because of a pure fluke. If not for that extraordinary evidence, would they have been exonerated? I'm not saying justice is useless and broken (at least not in this way), but innocent people being found guilty on insufficient evidence does happen and far more often than people would think. It's a serious problem that needs to be addressed, but the people it happens to are usually the kind of people who others are already biased against and are unlikely to want to help, e.g the poor, drug addicts, and minorities.
Let’s not gatekeep our fun holiday light displays. Would be interesting to see both approaches side by side.
Apple is known to actively discourage general purpose computing. Better try a different vendor.
Recommend reranking. You basically get full resolution performance for a negligible latency hit. (Unless you need to make two network calls…)

MixedBread supports matryoshka embeddings too so that’s another option to explore on the latency-recall curve.
We don’t need extinction, but we could use a reduction in dominating the earth and extinct-ing other animals.
> Side note: one of Mullvad's Miami servers is blocked by HN, I have to switch nodes if I land on that one because "Sorry" message.

I frequently hit "Sorry" messages when opening a few HN links in quick succession through Mullvad too. I suppose the IPs have been flagged as potentially malicious.

Not sure what it takes for that to happen though; my server that archives every post made on HN has yet to get banned or heavily ratelimited, it just hits a 429 every once in a while.
Do you think you might be able to elaborate a little bit more about this?

I was skimming the "Proof-Oriented Programming" book, and it seems that the primary way to execute F* programs is by extraction or trusted compilation (same as Rocq and Lean, for example). Does F* have some special way to work directly with realistic source code that these other systems don't?
In-person Spanish teachers are pretty affordable in many Spanish-speaking countries — in my experience, often around 20 USD / hour. I was in Argentina for three months this year and got one-on-one lessons for two hours a day for $800/month.

One-on-one lessons are super fun because you can do whatever sounds interesting to you, and doing it in a Spanish-speaking country means it’s automatically in the target language. I would get ice cream with my teacher, go for walks, watch movies, read short stories, listen to music, browse meme pages, etc.

They can also go with you to turn errands like renting a car into learning experiences, or help you specifically prepare for an errand you need to run.

Not to mention all the other benefits of immersion, and it gives you an excuse to travel.
Most Cloudflare sites throw up captchas, switching to other Mullvad servers every hour does not help anymore. Reddit blocks completely. Many other YC funded startups block Mullvad VPN (I miss Paul Graham's influence, don't you?). Port forwarding was removed by Mulled company so less bittorrent peers. All magnet link search engines and 90% torrent sites block Mullvad, even though these sites advertise VPN.

Enshittification is nearly ubiquitous now [1].

[1] https://en.wikipedia.org/wiki/Enshittification
Show HN: SMS Reminders for Birthdays
I built a simple service that sends SMS reminders for birthdays.

Why? I kept missing birthdays, even with calendar apps. This single-purpose tool is simple and (so far) reliable. Since my texting inbox has a far better signal-to-noise ratio than email or calendar events, it ensures I never miss an important date. Facebook used to serve the same purpose, but it's a dying social graph for me.
> As long as the Bitcoin price goes up, that is a viable business.

Okay, let's assume Bitcoin's price is going up forever, Laura. Right now, 16 years after Bitcoin was invented, that's a completely reasonable assumption.

> How much it is worth depends on how many customers they will find in the future. It does NOT depend on their NAV. The premium to NAV simply reflects the market's valuation of their future business potential.

Hold it! You're saying that the premium is saying that rational buyers are calculating that there'll be more customers for $MSTR or Microstrategy's convertible bonds in the future? So it's a ponzi? But is it a good ponzi or a bad ponzi?

That is: where is value being created to be returned to investors who are ultimately left holding the bag?
JavaScript - is a jungle, cuz it was not born for normal typization. In big project it is critical.
Often an explorer looking for gold finds something else like copper or nickel. Oil however is generally found in a different environment. H2 is created through serpentinization in areas more prone to mineral discovery.
Thank goodness. Discovery was, in my mind, the show that Lower Decks was created to compensate for…
It only blocks VPN browsing if you're signed out; it's possible GP is logged in
This is not 100% true,
You can interpret it if you want like it was done to shit on Discovery or you can interpret the opposite, but based on the "facts" there is no proof either way.
I want to learn how to sleep well again. The difference in how I feel when sleep deprived versus fully rested is staggering.
Even less useful than google for couple of monikers I tried.
> "if you want a Chromium based browser'

There is also Vivaldi:

https://help.vivaldi.com
Again, I don't agree with it. I replied to this comment already. I'm just clearing up a lie, that this material is sourced from a white supremacist website. It's not. It's sourced from an Indian guy who makes his living understanding India for clients who wish to operate there.

I have actually lived in India. I experienced a lot of what the author talks about with regard to corruption, the culture of corruption, the dirtiness and how the cities are jam packed beyond imagination, there's a culture of degradation of those viewed as lesser than you. But in my experience it's not an honorless society devoid of all virtue and all that like the speaker said. Many people do have a sense of real justice there and do want those aspects of the society to be changed, I could tell you stories that would make you weep with joy. I think the speaker is overly cynical about the state of India socially.
It was of course not erased from anything. This is stupid clickbait that appeals to Trek haters.
MicroLED has been one year away for a few years now...

Wishing them the best of luck.
Alexa Google assistant and Siri were all significantly down sized in the last year or so (teams, product).

Turns out the top queries billions of dollars went into were to set timers or to play a song.

I would love to be proven wrong though.
I mean, I'm not Christian and I do animated Christmas lighting, and I love Christmas music. Also, you can do Hanukkah or Kwanza or just plain lights.
The lack of awareness of this post is incredible. Apple is leveraging intentional incompatibility to make people use social pressure on each other to switch to Apple. That is not a good thing. This is a great example of why interoperability is necessary - "become an Apple customer or be ostracized" is not something people should be constantly threatened with.
The website took some time to load. Here is a link to the video in the article:
https://www.youtube.com/watch?v=ZHpu7ngQxwE&t=39s

The conclusions - humans work best by themselves and the quality decreases as the number of people increases. For ants it's the opposite. Quite interesting!
Yes, there was a lot of factors, going back years before WWII, but I still believe that the aftermath of the Holocaust was major contributing factor to the creation of the State of Israel.

https://www.yadvashem.org/articles/academic/holocaust-factor...

The Holocaust created hundreds of thousands of European Jewish refugees and international sympathy which had an effect on the UN vote for statehood.
So overpaying vs NAV because in hope the next greater fool with overpay NAV by even more. Nice.
Without SIMD, that would probably the optimal way to implement it. And this bit vector idea really isn't doing SIMD at all, it's just (ab)using the vector registers to store 128 bits.

I think the Zig code would also compile to better output, and be a lot simpler, if it was using an array of u1, instead of doing the bit shifting manually.
When authors ignore established facts of the universe they're writing for (vulgo "the canon"), they're most likely either lazy or ignorant or arrogant. I read quotes about Star Wars lacking "strong female figures" before Disney (cough, Mon Mothma, cough Leia) and someone even mentioned that the Klingons got redesigned in STD because of their original skin color. (But why not just using some other colors is beside me.)

In all cases it's fraud. You claim to write a story inside a complex established universe but deliver something that just superficially uses some assets and then just does its own thing. Then just develop your own universe, ffs!

If you want to write Star Trek or Star Wars or whatever, adhere to the canon and stay within the established constraints. If you feel that the canon constrains your creativity too much, go find some other playground.
And here is the actual paper (linked from the article as well):
https://www.pnas.org/doi/10.1073/pnas.2414274121
Not to point any fingers, but shows that the previous commenter have not struggled with this :)

&: is very nice, but not enough.
> Google is deliberately doing this to break ad blocking for Google ads while still allowing ad blockers to work for non Google ads.

That's the best way to get antitrust breathing down your neck.

So, with talks of Google monopoly ramping up, either this is extremely shortsighted and reckless, or they will choose to not throw oil on the fire and will not go down that road.
I've heard good things, yeah :)

I've tend to have found Kotlin to be the direction I'm more happy going with. It speaks to my particular itches for me personally, more effectively. I can absolutely see how it's a very effective choice.
i like mullvad, especially that they just do 5 € a month, no “buy 3 years worth of VPN for a bit cheaper” nonsense
This is why I try to use the same name across websites. I want to be identified as the same person. Just resist the urge to post information you don't want others to have.
So far all the explanations are yada yada yada magic.

Buy bitcoin. Buy a bitcoin etf. But don’t buy a wrapper on bitcoin at a premium to the underlying bitcoin. Eventually this collapses on itself.
6. Everything else is a prediction but 6 is my secret wish for Santa. Not gonna happen is it? :)

7. I would love to see a world that develops into something like dwarf fortress that uses AI instead of hard coded rules. And make it accessible too. By AI I really mean something like RL not the hyped up LLM craze.
I’m very much unconvinced by the “hard times strong men good times weak men hard times” cycle. It seems like something people come up with to justify their bad behavior, or the bad behavior of people they admire. Do “great men” actually come from difficult backgrounds at above the background rate? Or do we just tend to notice the ones who do?
On the front page for much of yesterday, 317 points, 176 comments:

https://news.ycombinator.com/item?id=42500475
Alas, it crashes every time I try to import my Chrome profile.
I did not say anything about gold being used as a currency, just that it has always been recognized as valuable, divine, even.

I think your references to China probably backs me up: it was used in ceremony for a reason.

Using gold as a currency has many problems: chief among them is scarcity as you mentioned.

Yet we want to pretend it will be different with Bitcoin?
Apartments are a lot harder because you can't usually drill into the side. I've seen some balconies on apartments in my area with small animations, and one person has a matrix in the window.

But at the end of the day it's the same as house, you just have a much smaller canvas to work with.

You'll want to look up the ESPixelStick to get started if you're in an apartment, it can probably meet all your needs, since you won't be able to do too many lights.

[0] https://forkineye.com/product/espixelstick-v3/
Yeah it makes more sense to not have feces plumbing on the ship.
Bitcoin exposure without the hassle of wallets can be solved with a bitcoin etf. No need to punt on some NAV premium infinite money ponzi.
Must be age dependent.

I have a 4-year old, it’s 100% whoever my kids friends = my friends.
> "I don’t think there is anything Trump can do at this point to horrify or even just dissuade his base, for example."

Pretty sure it's pretty close to true at this point that he actually could get away with literal cold-blooded murder in public at this point and his cult would fold themselves in half backwards tryin' to justify it somehow. [0]

[0]: https://www.snopes.com/fact-check/donald-trump-fifth-avenue-...
> Marketing. I'm hopeless at it, and I need to be at least OK at it in order for my project (https://nuenki.app) to succeed.

This project looks great and the homepage does a great job at explaining what it does. Especially the slider. And it supports Firefox which is a rarity in this space. I think you should take pride in what you have accomplished from a communication perspective.
I think those are factors as well!

This is all apocrypha, so take it with a grain of salt. But my understanding is that this would be a case where marit ayin would not be a significant concern, since the Chinese dishes in question were not visually identifiable as e.g. pork.

Or another framing: if you were a semi-secular family (like mine) that tried to keep a semi-kosher home, it would be easier to eat a dish that contained finely minced pork or shellfish or similar. American Chinese food fits those parameters while also being available on Christmas, etc.
Why did early CD-ROM drives rely on awkward plastic caddies?
Overpaying because you expect less savvy people to overpay you more when you exit is not a sound investment thesis.
but it's the same sort of prediction. the reason is different this time, but the prediction is the same.
Memex is the tool I use for a similar purpose, but I still cannot find a link that I know I saved. I think this problem is not solved yet.
Secure Connection Failed

An error occurred during a connection to mullvad.net. SSL received a record that exceeded the maximum permissible length.

Error code: SSL_ERROR_RX_RECORD_TOO_LONG

The page you are trying to view cannot be shown because the authenticity of the received data could not be verified.
Please contact the website owners to inform them of this problem.
There are dozens of bitcoin etfs now so the second leg is gone
good news: prices have plunged 50% . home are more affordable now!

bad news: after prices went up 10x...
Ask HN: CO2 compensation options that actually work?
As covered multiple times on HN before, many, if not most, companies selling CO^2 compensation/offset services are either directly fraudulent or achieving a lot less than they promise. Consequently, the HN crowd has been extremely negative on that topic, and whenever it comes up, the consensus seems to be: 'CO2 compensation does not currently work and can never work; do not bother with it; focus on something else (like reducing emissions) instead'.

However, I don't think just because many options in that space are junk it means that all of them are 100% useless and that CO^2 compensation cannot possibly have any positive impact.

If I'd want to compensate my past and future CO^2 impact, what would the best services in that area be? How would you rate their effectiveness? Are there valid resources out there ranking and evaluating the available options (based on scientific and not dogmatic criteria)?
Why do I need to get my ya-yas off gambling any part of my retirement? There is zero coherent nor compelling reason to tie your enjoyment of gambling to the size of your portfolio.

To be clear I’m not opposed to gambling. I enjoy occasionally going to the local poker room and have an established bankroll. I have plenty of fun at $1/$2 tables even though the buyin is a fraction of a fraction of my net worth. I am mildly profitable in the long run, but nobody sane would suggest I’d be better off at the $100/$200 tables even though my Vanguard balance could easily support it.

All of this advice to keep it at 10% also ignores what happens when you lose most of that. Do you restart with a new 10%? Ideally no, but that’s really unsatisfying to somebody who’s enjoying their new day trading hobby.

Honestly just save yourself the headache. Put your nest egg into index funds and find some other way to make your life exciting. Gamble with pocket change from your entertainment budget. Or maybe even just don’t.
EVs have a mode that start regen as soon as you lay off the pedal, so that’s what I mean by one pedal driving. You still have an explicit brake to slam, you just don’t need to use it very often. BMW has auto H for ICEs, but it’s really not the same.

We have steep hills where I live, and yes you can learn, but your clutch shelf always then have to remember how to stop and restart on a hill.
There's no mandatory price hike required. Thunderbolt is royalty-free as of several years ago, and at this point USB4 pretty much _is_, at minimum, Thunderbolt 3. For example USB4 hubs are, per spec, required to be TB3 compatible, so I don't know why we would bother marketing them as "USB4 v1.0 / USB4 SuperSpeed++ / USB4 20 Gbps / USB 3.1 Gen2x2" when instead they can just be marketed as Thunderbolt 3 or 4.
F* is a research project thats almost 15 years old! Its not part of the recent wave of languages
Some people do combine those with their individual pixels. They will also use projection mapping. All three techniques look different and add to the show in different ways.
> The dose makes the poison
All true but most people in the world are worried about putting food on the table and taking care of their kids. Fix social justice and you get on the road to fixing the costs of unfettered capitalism.
Where does the 270 gbit/s networking figure come from? Is it the aggregate bandwidth from the pcie slots on the mac pro, which could support nics at that speeds (and above according to my quick maths#), but there is not really any driver support for modern Intel or Mellanox/Nvidia NICs as far as I can tell.

My use case would be hooking up a device which spews out sensor data at 100 gbit/s over qsfp28 ethernet as directly to a GPU as possible. The new mac mini has the GPU power, but there's no way to get the data into it.

# 2x Gen4x16 + 4x Gen3x8 = 2 * 31.508 GB/s + 4 * 7.877 GB/s ≈ 90 GB/s = 720 gbit/s
I’ve been to those industry ML conferences and they are often just dressed up product pitches. Most talks are 5 mins of methods followed by 15 mins of sales.
Since I cant comment on the article directly, some corrections:

391 South San Antonio Road should be 391 San Antonio Road. The former is in a different city. You can see some diode sculptures outside the correct address (now a much larger building).

Similarly, "844 South Charleston Road" doesn't even exist - I suspect the author meant 844 East Charleston Road, which is near the Shockley Lab building.
Sometimes, it's Adobe's legal sheanigans (like this one: https://old.reddit.com/r/AdobeIllustrator/comments/1cwryan/a..., since rescinded)

Sometimes, it's this: https://youtu.be/DL9FXjJPqbE
I was wondering how those work in hostels. I have taken mine with me and gotten one of the eight bunk rooms or so next to an outlet
> and Mozilla gave up on Servo

They didn't "give up" on Servo. Servo was always intended as a test-bed for Firefox engine technologies. It was just some weird false hope in the OSS community that it would be some new "super browser".

They integrated what they were looking for into Quantum and then the community took the browser portion and forked it off+continued development (albeit, without Mozilla sponsorship).
https://arxiv.org/abs/2407.12854
I didn't say I'm surprised the world of topology could be practical. I said that _I_ wouldn't have been able to explain the concepts in the video so clearly and tie them to a practical problem.
...and that looks like someone is swearing.
Hamburg is also one of the most expensive cities in Germany
Tell HN: 2FA code for Google account gone after Google Authenticator update
After recent update, where Google added accounts support to yet another of their apps, I am no longer getting 2FA code for my Google Account. Only dashes are displayed and clicking on it shows very terse error message: "Could not generate code for this account. Try removing it from Authenticator and setting it up...". Of course I opted out of using account in Authenticator, as my phone is connected to different Google account. So without any initial warning I am "locked out" of my Google account. Sure, I still can do whole dance with backup codes, SMS verification or "other options", but such breaking behaviour should not be happening in application of this high importance. And especially during holidays. Good job everyone.
After you finish the Silo series, if you're wishing for more, there are some short stories in the same universe in an anthology Hugh Howey edited:

https://en.m.wikipedia.org/wiki/The_Apocalypse_Triptych

I generally prefer long-form fiction, but very much enjoyed most of the stories in the Triptych books, and they led me to other, similar authors whose work I also enjoy.
I adapted this to a retroarch slang shader really quick, and I'm seeing some pretty persistent banding on 120hz to 60hz. It shows up obviously when scrolling the same direction as the fake beam scanout. If you take the shadertoy version and edit the scanout direction to left-to-right and fullscreen it, you can see it there, too. The perpendicular scanout and scrolling the demo uses by default disguises it pretty well.

I guess you probably need a higher ratio for this to work really well.
Maybe work with difficult high performers? Talented people who are difficult because they're brash rather than untalented people who are difficult because they're messy.
It sounds like you don't take fiction seriously, and are showing contempt for people that do.

The issue of canon really occurs when different groups of people work on a singular fictional world over a long period of time. The people who work on these worlds have to take fiction seriously, and need a way to communicate with the fans which other works they are going to building on. It is a bit tiresome and over played, but is a natural consequence of large corporations handling these fictional universes.
At one point that was true, but product lines have started to meaningfully diverge.
Fwiw, this sounds like a take on the novel and subsequent franchise 1632. This sci-fi/historical fiction has a quarterly fan fiction compilation that has continued even after the original author’s death.