skysight-inc/HackerNews huggingface dataset:
Less likely, but it certainly can. The problem isn't the garbage collector; it's the overall approach to threading. Rust has a different culture that makes problems like this probably less of an issue, but nothing stops you implementing a memory leak.

In fact, since it doesn't have a GC, you can trivially create a memory leak by creating a reference loop... though the ownership checker makes that in itself really difficult, and so it's again less likely to happen than it otherwise would be. At the cost of loops being hard to make even if you want them.
> apps with in-app webviews can roll out a custom engine, but otherwise it uses WebKit regardless of default browser. It should obviously use the webview facility provided by the default browser, if it offers one.

This has massive potential to break an unbelievable number of things, first-party and third-party alike. WebKit is used in all sorts of places people wouldn’t expect, for example at one point UILabel (the native control responsible for displaying non-scrolling text and labels) used WebKit under the hood for rendering attributed strings.
aditionally, I'd like to get one free favicon, as to ensure I actually get a favicon, properly formated .ico file (which are way more different from .png files than just the .ico extention)
https://blogs.embarcadero.com/what-is-modern-c-in-2023/
CTF is waived for nonprofits, which is how a lot of FOSS projects are structured.
If he was known or reasonably believed to the Japanese to be married, yes, there was a legal issue.
Are there bigger latency wins supporting HTTP/2 or HTTP/3?

Is HTTP/2 or HTTP/3 even useful behind a service mesh (istio/envoy etc.)?
Funny enough, I'm reading this while connected to hotel Wi-Fi, fresh from navigating through the login page of their website. In my situation, it required inputting my room number along with the last name. Does anyone happen to possess a functional script akin to the one mentioned in this post, or perhaps a comparable script that I could just plug in and use?
New OutSystems data fabric unifies data across the enterprise
How to get #1 on Product Hunt – a step-by-step playbook
I'm impressed that .livemd is markdown; will we finally have literate programming once no one explicitly notices that they've adopted it?

eg https://www.thestackcanary.com/serving-spam-detection-with-x...
Don't go chasing trending topics, please stick to the innovation you're used to
I've been and to me it looked more weird than beautiful. Like something from the set of Farscape. The quasi-organic forms are almost disturbing. I was surprised the clergy of the time agreed to it.

Impressive sure, but in the way of "Wow, there is a lot of work in this weird thing"
"We picked this model for skill, which is used because it has some nice properties where you can treat a group of opponents as many games against a single opponent with their average rating, and then... [complicated simulation...]amazingly... it turns out the order you face the opponents in doesn't matter!"

I think the missing piece from the analysis is whether this model is actually a good fit for SSB matchups.
Any example?

Also high trust != absolutely no crime ever

It's the difference between getting your bike stolen because of a random asshole and knowing your bike will be stolen by someone (also arguably an asshole).
It's truly a bummer. I posted about this in a Meta alumni group, and here's a couple different responses that I received:

> Same exact situation. Millions in spend. Jumped over to TikTok.

> Nearly every time I interact with the ads products, I hit multiple bugs ...
The list order is random, so if that were the cause the other browsers should be seeing a similar increase. Are they?
I don't know much about chess. But my understanding is that Magnus has been so far ahead of everyone else for such a long time, that being beaten by a 10 year old is a big deal. I wonder if others better informed could add to the conversation.
Having done muay thai for several years - this is why muay thai doesn’t do well in less regulated environments, like MMA or actual street fights.

Because muay thai has a very structured set of rules and an environment which constrains it so that is the case. much less so than western boxing obviously, but the issue is even more obvious there.

generally still way better than no training of course.

BJJ folks consistently beat Muay Thai competitors in MMA for this reason.

being able to do both, plus some krav maga strikes? even better! though most krav maga if done with full earnestness would get you thrown in jail outside of a legit self defense scenario.
That's exactly why I don't really on that for Ubuntu though. It's a single point of failure, when I can just use `asdf` to install Python and easily switch between it, automatically if setup correctly on projects.
You wrote that the bad reputation isn't from the drives themselves, but I consider any drive that turns voltage dips into corruption to be a problem. Especially on the time scale of milliseconds or larger, I expect it to self-monitor and either regulate the voltage or cancel the write attempt.
Yeah, I expected a large ServerHello, but then I would expect the server to send Seq=[LargeNumber] packets. Often you'd get an ACK for the ClientHello, then a missed packet or several, then the final packet of the ServerHello which is often small. Or at least an ack from the resend of ClientHello with a large sequence number.

I guess I've seen pmtud issues way too often in my life, and I just jumped ahead. :D
Thanks for the great links! Love the aesthetics of noixer.

True about the frameworks though. I've tried react, svelte and vue because why not, but they keep changing, annoyingly. Runes...ffs xD
How are the fish supposed to find it?
Why do you name Lean here as opposed to the other provers? Lean is "the new shiny thing" but my impression is that the community sees its focus in math, not so much software verification.

Quite a few design decisions (e.g. focus on classical reasoning support, focus of existing libraries) suggest that software verification of Lean programs isn't seen as a major application. (Of course you can always define a framework and prove stuff about C programs, like the "software foundations" book illustrates in Coq. But that's not really something new and again would need a lot of foundational work and tooling, essentially duplicating what people do with Coq, for no obvious benefit).
And this is a significant political issue for what you claim is the “left”? Well hidden from mainstream media-stream media (why?) i find it a bit hard to follow
No offense but why do you care what the law says when you're by yourself in the middle of the wilderness?
I have not heard of this. I'll try and play with it tonight or tomorrow, cuz it looks pretty neat.
> For example, if I say Tom bakes up to 14 muffins on Sunday, then the reasonable interpretation is that Tom will bake 0-14 muffins on Sunday.

I don't have a stake in this muffin game, but that's indeed how I interpreted the instructions when reading them.

Had it said "and so on up tp 14 on Sunday" I would assume he baked each day.
Ah, forgot about reddit. Will check that one out!
Ah this is Super Smash crew battle. Not BOTY (breakdancing) crew battle. Which makes a whole lot more sense.
Are there suggestions on any guides or what I could read to understand chips and graphics?

I've never worked electronics or electrical engineering for that matter but have always been curious how an enlarged lego block with metal spikes can hold graphics; produce sound.

What's inside the casing of one, I know its something to do with transistors but what are those and what's inside them.

All cool, none the less.
Subtropolis: Business Beneath the Ground
Ask HN: Rentable cloud GPU provider with credit API?
Hey

I am looking for a provider that sells cloud GPU power and allows me to top up or even control my credit/balance via API.

I checked

- vast.ai - they don't have that
- runpod.io - they don't have that
- fly.io - they don't have that
- pythonanywhere.com - didn't check it, people don't talk good
- render.com - more a hoster not a CloudComputing provider
- vercel - same same
- paperspace - same same

Well, I could go for GCP I guess, but I want this flexible way of using remote GPU power like the three above offer them.

Also I could use AWS. While I have the experience there, I don't want to spent that much effort. The idea was to use e.g. render.com for hosting the web app and the question in service to do the computing.

If I could choose I'd take runpod.io, it seems easy to deploy machines.
Did I oversee a service here? Is there anything out there that helps me achieve that?

Again: The only thing I am missing is: An API that allows me to see remaining credit and top it up.

tia
Because MS does not prevent me from anything like different stores or installing anything I want.
* One prisoner breaks free, however, and makes his way to the surface of the Earth, where he beholds the sun and the real world.

Culture is the shade tree of reality.
DONT EAT THE POOP.

and you won't get that disease.

Problem solved.

And dont let your kids eat any animal poop
Like what Michael said, there are a number of companies willing to act as an adapter for your SSO needs. My employer, FusionAuth, is another.

Agreed that every SP is slightly different. There's a reason the SAML spec is 800+ pages, it covers a lot of variations. Since it has not been substantially updated since, there are some legacy choices (hello XML).

We also maintain an open source java SAML library:
https://github.com/FusionAuth/fusionauth-samlv2

SSO is simple on the surface and complex once you peel it back!
https://www.lambdanative.org/#apps off the top of my head

a bit of googling also came up with https://www.quora.com/How-has-Scheme-been-used-in-real-world...
Velox could be competitor of datafusion. It is more focus on execution engine and could be great to integrate to other high performance databases.

Database will be split into pieces and rebuild!
I’ve found most of the 60’s and 70’s building in the U.S. to be just the opposite myself. Often stairwells are hidden, sometimes behind multiple doors, so even going up a single flight of stairs usually involves waiting for an elevator. A lot of places seem to use space in a bizarre way - lobbies that are much too large and empty, the functional areas being cramped and small. Ceilings that are much too high, which not only waste space but lead to many functional issues (changing a bulb that’s 16 feet up is much more difficult than changing one that’s 8 feet up). Windows that are pulled back from the wall so they get much less natural lighting.

The whole thing feels like the architectural profession became interested in impressing each other with designs that they thought looked cool, and seemed to forget that people actually had to use these spaces. The areas here with buildings from that area usually feel much more dead than areas with buildings from almost any other era.
As long as we're inventing limbs, why not put spikes at the end of the tail, like a stegosaurus' thagomizer. I bet that would be pretty fun to fight with.
I mean, is it efficient to teach them addition human style instead of heuristics of when to call the right function?

Imagine you could say 'calc' in your brain, and some separate subcomponent of your brain that is far more power efficient could return an answer almost instantly? You would not focus on understanding addition/subtraction, more you would focus on on when to use addition/subtraction/multiplication or whatever.
Probably because the firewall rule only includes TCP/UDP. ICMP is often not blocked, in my experience.
Aldi, the German grocery chain infecting our High Trust Society with their Low Trust Germanicism?

> It's not an anti-theft measure, just a little thing to encourage honest people to walk slightly further than normal.

... because they can't be trusted to do it without the deposit...
WISPr
Apple was trying to protect users from an app they allowed in their own App Store? If that were true they would simply have rejected the submission or removed it after the fact.
Save time and money. That's what we are here for.

Any thoughts on our analysis regarding case management and log storage? These are two technical decisions we made before writing a single line of code to bring down cost and increase value-for-money.
Most dogs are extremely particular about where they poop and don't poop on concrete and asphalt if they have any other choice.
All good, but why couple it with GCP? It used to be a separate, independent service (GCM) and how convenient it was to couple it with Firebase and call it FCM...
If it counts, that one country makes up 17% of living humans.
I immediately thought the same and figured I just got one that looked kind of like that to start of with, and reloaded and reloaded and reloaded and was so pleased when I just kept getting ones that looked like Home Movies. Because of that, they all strike me as charming and amusing more than they do ugly.
Updated. Curious about how you wound up tying all 30+ pins on the pico (26 gpio)
I believe the project is not maintained anymore.

Github repository is archived: https://github.com/apache/incubator-pagespeed-ngx.

Or has it perhaps moved to some other location?
People hate on Haskell async exceptions (with good reason), but one cool thing about them and the Haskell RTS is that you can almost [1] always cancel a thread from the outside. No need for the thread to cooperate like in Golang.

The entire `async` package is built on this. The `race` combinator is an especially cool application.

After doing a big project in Golang, I appreciated this more. We had our fair share of goroutine leaks.

[1] iirc, if the thread is not blocking on a syscall or allocating memory, it will not be yielding to the RTS.
That only brings DRAM into alignment with flash and magnetic storage, so it's not really a negative. Everything in your computer is converging on semiconductor with bounded probabilistic state + math.
The platform allows the agents to create new tools and organize knowledge. Is about 60000 lines of code, about six months 10 hours/day seven days a week. I hope my friend get the appropriate funding to continue with his project, as karpathy recommend in one of his talk, first get the system to obtain top capacity, then reduce costs.
Maybe it's my lack of experience, but I find it much easier to wrap my head around threads than async/await. Yes, with threads there is more "infrastructure" required, but it's straightforward and easy to reason about (for me). With async/await I really don't fully understand what's going on behind the scenes.

Granted, in my job the needs for concurrency\parallelism tend to be very simple and limited.
If the war escalates to Europe US companies will have nowhere to send their iPhones and Teslas to.
And what do you do when your bank says "Apple no longer allows us to put our app on the Appstore"? This is not a hypothetical question but an issue millions of users are dealing with every day.

Apple should not have that kind of power over owners of the devices Apple manufactures.
You are right. My comment can't solve the whole story.

Still, some middlebox/stateful firewall/etc. messing with 169.0.0.0/8 is plausible.
Or what Terry Davis would call it... blasphemy!
Which goes back to my original point: there is literally no benefit besides navel gazing for requiring the photos app to be deletable. Just because there are many reasons one could compel a company to do something does not mean any of them are applicable to this request.
Fwiw the term you want isn’t malicious compliance, which isn’t a real thing. It’s willful non-compliance. Willful non compliance is potentially a criminal offense and requires providing intent or conspiracy. It’s much more likely they’ll just be found non compliant.

Apples strategy here is baffling. They’re not unfamiliar with regulation and how to manage regulators. This is really not a good strategy they’re doing and it’ll make everything worse for them at every step. The fact they unveiled their plans publicly without a green light from the regulator means they’re doing some sort of weird game of chicken.

IMO they’re underestimating the motivation of the EU to try to break US tech megacorps grip to try to create a place that an EU tech megacorp might emerge. I don’t know that it’s a very sensible strategy as any EU megacorp will also be subject to onerous requirements, but will have to bootstrap in that regime. Also until the EU fixed its banking and investment structures, pay improves, and any number of other head winds abate, I wouldn’t expect attacking FB, Google, and Apple with regulatory burden will be meaningfully helpful to any tech company in the EU.
yeah right, keep stirring a non-existent pot. There's no serious concerns of a cover up. She's got cancer. Maybe they stage managed the setting, but that's understandable for production needs. I suggest you might like to try finding other things to be 'concerned' about.
People with light iris colours may not wish to rely on that.
Glass is also not heavy, which is very important. (At least, relative to steel and brick.)

The modern glass curtain wall is popular because it is not load bearing and costs very little extra to hold up. High-rise steel frame was very expensive, and high-rise masonry basically impossible, because the frames also had to bear the weight of their own upper floors. The structural part of a modern skyscraper is basically floors cantilevering off a small concrete core, and the glass wall simply hangs off the cantilever.
https://en.wikipedia.org/wiki/Fishfinder

“Initially, our fish finder was sold for 600,000 yen per unit, which was as expensive as a house in those days. Despite its high price, the company’s technology attracted fishermen from all over the country. In fact, I heard that a number of customers in the fishing industry visited FURUNO (which was formerly based in Nagasaki City) with backpacks full of cash to buy our fish finder,”

The Furuno Fish Finder is said to be the world's first practical fishfinder; it was introduced by the Furuno brothers for use in commercial fishing vessels in *1948* in Japan.

Worked for 75+ year without AI so far..
This is a RAM problem, not a CPU one.
The source that you yourself provided gives that breakdown.

At most 37% of all aid was no strings attached cash.

Everything else was either Military Gear, Training from American professionals, or Loans to purchase weapons systems.
The first example with ChatGPT 4

https://chat.openai.com/share/32335834-9d12-421e-96b2-9aa6f1...

For the second example, I had to tell it to use Python

https://chat.openai.com/share/76e6cd67-ad49-4508-b05d-3d26a3...
My dog has pooped in my backyard for years and nothing but thick quality grass everywhere.

probably because most kibble is vegetable based and vegetable based poop is good for the grass.

maybe you fed your dog more meat?

if your dog's poop is killing the grass you're doing something seriously wrong with its diet.
> where-as an ironic punchline goes

I knew someone who grew up a reasonable walking distance from a major operational dam, but had no grid access. They did have a generator I think, but would have had to pay the full cost of running lines to their land, and it was too expensive.
Animals receive and give very little mercy or kindness in nature. In fact, nature is capable of stunning brutality - eg newly "crowned" male lions kill off the cubs of the old male.

Humans have a capacity of reasoning about their actions, which places a certain responsibility on us to do better than nature. But where do you draw the line?

Ultimately we shouldn't eat animals at all - we should eat lab grown meat. But lab grown meat is still far away. So what do we do in the mean time? Ban all meat consumption? Is that even realistic?
If you could take the shortest path to each point, it would solve the problem and be interesting. Not necessarily easy to do though.
I think the conclusion is aligned with tournament player intuition as reflected in the official character tier lists.[1]

The conclusion is: "Assuming this conjecture is true, I believe it means you should entirely ignore player strength when picking players, and should only focus on factors that aren’t tied to skill, like character matchups."

I say intuitively because for decades now Smash players have been making tier lists, with "official" ones selected by the world's best players. And the point of the tier list is that "assuming players are as good as humanly possible, which in-game characters are generally superior to others as dictated by the game's implementation."

And the essay does point out the importance of character matchups, though Smash tournament players will often consider that when playing multiple matches against opponents as well.

[1]: https://luminosity.gg/news/smash-ultimates-2nd-official-tier...
Thank you for the question! We haven’t found one silver bullet yet. We instead review each feature and see if we can do it better or differently. Our goal is to provide a better alternative to Google Sheets / Numbers because we feel that moving people away from the Microsoft’s ecosystem is a much harder task.

Some examples:
- Storytelling with data
- Charts: Many users told us that our chart creation process is easier than GSheets and Excel. We are also making it easier to add annotations to charts (CAGRs, Value lines etc.)
- Visual board / Dashboard: Easy to make a numbers-heavy presentation right inside the app instead of copy-pasting charts into Google Slides and spending hours on alignment of elements.

- Speed (vs GSheets and Numbers):
- I often saw how people would start building their financial models in Google Sheets and would then switch to Excel once the model grows. We hope that some users would give us a try instead of switching to a desktop Excel.

- Anti-fragility (vs everyone)
- Models become fragile as they grow. We are building a bunch of features such as highlighting cells based on the underlying data or making it easier to find a root cause of an error

- AI:
- Do basic data transformations and data cleaning without in-depth knowledge of formulas

- Better mobile / iPad experience (WIP, not released yet)

The plan is to keep building until it feels much better and some people would consider switching despite their current tool being good enough :)
The (translated) referendum question was “Do you support the Act of Declaration of Independence of Ukraine?”.

People can change their minds, but there’s no evidence that significantly happened, or that over 30% of the populations of those regions did so.
Hey Hacker News!

Spent the weekend writing an in-depth, interactive article about our Product Hunt launch last week – hope y'all find it useful. Let me know if you have any questions!
Because they both involve non-consensually using your computer for something you didn't want it to do as a form of "payment" you didn't agree to? In fact my point is I didn't see why you would ever consider crypto mining to be murder in this analogy. Crypto mining only uses your computer to do some pure computations and send the other party the result. It does not exfiltrate your private information or stalk you. It does not facilitate scams. It is obviously vastly more ethical than drive-by adware, which uses your computing resources and does those other bad things, but for some reason you don't find people defending crypto miners very often, while you do find them defending ads (I suppose because they participate in adware/spyware delivery somehow, so they're not interested in examining their own actions).

How can you justify it being okay to send drive-by adware and spyware with a requested web page, but you believe it's not okay to use computation as a form of payment without consent?

Personally, I've only ever worked for companies that make money by having our customers pay us for the product or service that I work on, so I've never had to worry about that conflict of interest.