skysight-inc/HackerNews huggingface dataset:
> He is wrong; UEFI does specify FAT (section 13.3).

He literally addresses that. Saying that the one thing the Spec does is require that, at the very least, you can boot from FAT32.

When he says the spec doesn't require FAT32, he means nothing in the spec says your device itself should be FAT32 and that it's fully conformant to use a UEFI:NTFS driver to load from a USB stick.
people in the comments are getting nasty. Sure the ecosystem is plagued with scammers, but financial system in general is filled with scammers. We just have insurance products or the faith of the US government to bail you out lol

I still believe in digital currency as the future.
Nikkei English version will be clearer
https://asia.nikkei.com/Business/Business-deals/Japan-s-Stud...
This, from a company that happily put Google's reCAPTCHA on their login form, further telling people on GitHub not to worry about it, without having ever heard of hCaptcha.

I have long since left Proton as I don't believe their actions match their supposed mission.
Not FAANG, but I've hired and worked a number of people over the years without CS or related degrees. I have no problem with it. I don't think that the degree will help you get the job, as long as you can get an interview.
You guys are crazy if you believe those view counts. Musk just said X/Twitter has 550M monthly users (and a giant bot problem which I'm sure makes up a sizable number there). So 480M views could mean tens of millions of users viewed "an interview with an Argentinian presidential candidate" dozens of times or, in the most extreme, that 87% of Twitter's monthly "users" viewed it exactly once. It just doesn't make sense. In reality, those numbers are juiced to make content look more viral than reality because it's nearly impossible for Twitter to know if a "person" actually "viewed" the content. Many former Twitter engineers said as much when Musk rolled out the new view count.
We’ve moved companies off of Braze already, but we still need to add multi-channel support. We’ll likely add it in the future unless customer needs materially change.
I'm thankful our constitution here in the U.S. seems to have been written entirely by people firmly in group 2. Sadly, it feels like those principles have been slowly eroding ever since...
To the above comment, we don’t actually know people are buying and selling these. It is also entirely possible these transactions are fraudulent (i.e. buy your own stuff to give an impression of demand).
Not sure, but anecdotally I haven't received any such notices even though I do have active connections.
You need to read up on your torts. Injury or harm done to a young person can result in a claim for compensation later in life. That's why paediatric insurance is so complicated.
i remember him mentioning that he had at least heard of it in a post from years ago.

vis is cool but its structural regular expressions are much less easier to use since kakoune's give you feedback in real time. it is nice that vis actually has a lua API though.
I doubt anyone bothers to ask or check about a HS diploma when hiring for software engineering. I don't recall ever being asked about it. So everyone probably just assumes the person has one until they start telling people otherwise.

But let's be real, not having a HS diploma, for most people, means that they can't progress to the next level - no college, no military, and probably no skilled trades. So it is kind of an economic death sentence. The exceptions are if you are extremely smart and talented (and if you are, you can get a GED with almost no effort).
Is it worth learning Dvorak? Sure it makes sense on paper, I see the rationale behind it, but I've already been typing on QWERTY all my life and I'm pretty fast at it. Kakoune is the same thing for me - the things
changed from Vim make sense, but I don't see it as good enough to offset the facts that:

1. Vim is muscle memory for a lot of us. Something that is so similar but not quite the same just fucks with my brain. I have an easier time using stock Emacs bindings than Kakoune, as my brain is not in Vim mode while using it.

2. VS Code, Fat Visual Studio, IntelliJ, Emacs, most IDEs/text editors, fuck even Compiler Explorer have Vim plugins that range in quality from acceptable to fantastic. You can get a fix for your vim needs even in a disgusting corporate Windows crackhouse environment.

3. If you're a purist, Vim itself has a great ecosystem, and can be reasonably used for a lot of tasks.
This was common in PC games at the time, but not on console games. Essentially you're just dumping game state memory somewhere and then replaying it. Half-life games had it.
Yeah holy cow. I couldn't tell if parent was being sarcastic or not.
I don't get it either. But this is the response that I've been given. I think they view Elixir as a competitive advantage. TBH it's a dumb look.
Why I’m stepping down
Honestly how is it even possible to name a company or a product after a single letter? That shouldn't even be trademarkable.
Well crypto was starting to tank Nvidia's numbers, gotta keep growing! New thing: LLMs everywhere!
Zola
I wrote many configuration files and encountered maps and sets, but never arrays.
Enshittification, then they die.

https://www.wired.com/story/tiktok-platforms-cory-doctorow/
I've now confirmed that if you pay money for the game, you -automatically- get exactly 12% more damage than someone who hasn't, and it appears to drop 1% a day over time.

Not much I can do with that data, other than sleep in comfort knowing that its the case.
Maybe if your program is just println("hello world!")

Julia also has done a lot lately[1] to cache the results of JIT compilation from packages and re-use it later. So if you're doing a lot of println("hello world!") or whatever, you can make that faster by bundling it in a package and adding a precompile workflow. This will also be improving more with upcoming releases.

[1] https://julialang.org/blog/2023/04/julia-1.9-highlights/#cac...
> does he not like his own son?

in what way is it any of our business?

in what way what a father does or doesn't leave to his son can be used to determine how much he loves or doesn't love him?

Goro is a 56 years old man, he's beyond middle age, he lived more than half of his life already, why are you treating him like a small defenseless child?
Then it's not server side is it?
> In other words, is the "set theoretic type system" an implementation detail which doesn't affect the language server API?

This should be the case. Type violations would automatically appear on your IDEs when you update Elixir. However, if you need additional metadata/features, then we need to expose them from Elixir and Language Servers need to consume it. But that's implementation work and not "type system" work. :)

> But regardless, this is one of my main hangups with dialyzer: its `underspecs` and `overspecs` design gets it wrong.

I believe recent Erlang/OTP versions changed this to give you more fine grained control for the precise reasons you mentioned.

> So I guess my question with this approach, is whether you can explicitly spec "larger" sets than is inferred? And if so, whether the given specs overrule the inferred ones elsewhere.

I am 99% sure the theory allows both options, so we will pick one based on patterns and community needs.
> And while you're doing that, smaller competitors slowly creep up, eating up the bottom of you market, until you're stuck in a niche.

So what, milking mega enterprise for ossified products is a decently profitable niche. IBM, SAP, that huge American company powering a lot of hospital IT, Cisco itself...
No laptops in my era, either. I managed to do my thesis in LaTeX only because a student in another department made a stylesheet to the expected format. Figures and captions were a struggle back then.

But, we were 'appy in them days, though we wuz poor.
> Maybe this will drive away all these shitty games

but why?

when the cost scales per install, it shouldn't hit small trashy games harder, should it?

(or am i missing something like large one-time payment?)
It shouldn't be the responsibility of teachers or the school to provide food, but if there's a real need, then why don't they offer the food to those that want it and just cut out the secret database crap?
If you want to implement the standard, you parser must be prepared to download extra data when the file requires (it doesn't actually need to download schema, even though it's the naive way to implement it).

A lot of parsers do not implement the standard, and they are better for it, because this can create huge security issues. But it's something you have to be always aware of, and could change on any minor version update.
I'm quite sure that if cryptocurrency were used at the scale of bank accounts, far more people would be far more screwed over by its much larger cracks.
Nowadays with all the browsers being nearly the same (tabbed, extensions, etc) and nearly all of them being chrome-based, browser choice really doesn't matter that much. It's really more about personal preference more than quality.
Apple's been making hay with "neural engines" in their hardware for quite a while. It is curious why Intel hasn't made a bigger splash with its efforts, which go back a ways and have included (semi?) cancelled things like the RealSense from aquisitions like Movidius (whose chips also formed the core of early products like the Google AIY Vision Kit; AIY still being marketed as a deployment target for Coral).

I guess that: 1. Apple has been able to capitalize on their constrained stack of HW/SW. 2. Intel has struggled with being the unpopular dish at a well optioned buffet.

On-device ML inferencing is going to be an interesting space.

Your iPhone, iPad, Mac, and Apple TV make use of a specialized neural processing unit called Apple Neural Engine (ANE) that's way faster and more energy efficient than the CPU or GPU.

https://www.makeuseof.com/what-is-a-neural-engine-how-does-i...

This year at WWDC 2022, Apple is making available an open-source reference PyTorch implementation of the Transformer architecture . . . specifically optimized for the Apple Neural Engine (ANE), the energy-efficient and high-throughput engine for ML inference on Apple silicon.

https://machinelearning.apple.com/research/neural-engine-tra...

Intel RealSense Technology, formerly known as Intel Perceptual Computing, was a product range of depth and tracking technologies designed to give machines and devices depth perception capabilities. . . In August 2021 Intel announced it was "winding down" its RealSense computer vision division to focus on its core businesses.

https://en.wikipedia.org/wiki/Intel_RealSense

The AIY Maker Kit . . . Using a Raspberry Pi and a few accessories, our tutorials show you how to build a portable device that can identify objects, people, and body poses with a camera, and recognize voice commands or other sounds with a microphone. . . [using] TensorFlow Lite models. . . .

https://aiyprojects.withgoogle.com/maker/
It is mind-boggling both that such a piece of destroyed public infrastructure can stay in that state for 9 years, and that no kind of safety barrier or even signage was put in place in that time.
> the idea of an elites-only glass dome city being erected on Mars for billionaires to run away to while Earth wastes away is not even close to reasonable.

Wait, I thought that was the plan to get rid of them? They can have their red wasteland and we can finally have peace on earth.
Microsoft contains multitudes, from the successor to VMS to the win32 API to some very advanced programming language stuff like F#.
I think you'll find that it is a very common criticism of the US system that it often seems subservient to large companies, especially financial institutions.
This is so cool, Cisco has long been an innovator in networking and now with Splunk too they'll make a killer combination!
I'm curious why you think that is? Especially since you are likely to want to style the configuration for display to the user in many cases, having it be a document makes a lot of sense.

That is, if the value is something you would expect to be able to show to a user, then it probably shouldn't be at attribute. If it is a value that changes how you would show it, then attribute makes a lot more sense.

I also think a strong adherence to any preference between attribute and markup is a touch too dogmatic. The only real distinction at the language level is if you allow children, or not. If it can have children, it pretty much has to be a child and not an attribute.
If society is operating, it's not operating well.
What do you use for an alternative as a free-to-open privacy focused email provider?
Maybe that's the wrong question. Maybe ask how many publish papers or write serious blog posts?
We have showcased here the classic impedance mismatch between serialization in a typed language and serialization in a dynamic language. The author clearly is in the typed camp, speaking of making enumeration labels and a dated type for the names of continents.

The typed language camp loves the idea of structured untyped strings in a serialization format, such as NestedText or INI. However, this is uncomfortable in dynamic language territory, for many use cases. Because of this dichotomy, any universal serialization format is going to feel like a compromise. JSON is the poster child of this.

In the YAML spec, the authors explicitly stated a goal of supporting native data types of dynamic languages. This design decision seems to be a good compromise between the typed and dynamic camps, but the old saying applies: a good compromise is where everyone goes home angry.
Modelling stuff sounds like data science. It's a term they often use and it sounds very much like the same deliverables you mentioned. I've never seen a data scientist term themselves as more mathematically oriented. Also let's not play around, what you actually meant to say mathematically "superior". That much is clear. Sounds like you know stats and you think that makes you more "mathematical".

You also talk about things like traffic. Modelling traffic is mathematical? Sounds like a simulation to me. Man take a look at GTA. That game is almost entirely made by builder engineers creating simulations. It's the same shit and likely far more advanced then what any data scientist can come up with.

Anyway from your example and from what Ive seen it sounds like you're still doing the same thing. CS algorithms. You're just using algorithms that aren't likely very popular or very specific to data and stats. But adjusting stuff like k-means clustering still sounds like regular cs stuff to me.

There's no point in calling it more "mathematical" because it's not. The builder engineer who wrote all the systems in GTA or even say red dead redemption use a ton of "math" even and they don't term themselves more "mathematical" even though their simulations are likely more complex than anything you will ever build.

That's why when you called your self mathematically superior (again don't deny this.. we all know what you really mean here) I thought you were talking actual math. Because if you looked at a math equation it doesn't look anything like an algorithm. Math equations are written as a single expression. Math equations model the world according to a series of formula. It's very different to a cs algorithm.

Mathematical oriented programming involves largely the same thing and using algebras of mathematics.

If you're not doing this just call it data science instead of trying to call yourself more "mathematical". If you truly were more mathematically oriented you would know what I'm talking about.

Geeze some guy writing "models" and doing some applied math+stats like what every other freaking programmer out there is doing and he calls himself more "mathematically oriented."
How Toyota is making the hydrogen Hilux a reality
The average Joe has a whole different set of incentives than Mark Cuban.

It's much easier to sort out the smaller set of incentives the average Joe has and align them.
You seem a little too close to this haha. I know nothing of their history I’m just asking a simple innocent question. Yes I think it would be odd for someone to not like their own son.
> because frankly Hayao does not seem to care for Goro all that much

or maybe he thinks that Ghibli should not survive him, which is in his full rights.

Goro can open his own studio if he wants to.
Made available in Qdrant v1.5
https://github.com/qdrant/qdrant
Can they just keep it indefinitely and never refund you? I doubt that.

We also don't have a law that says "when XYZ then you must get a refund", but it follows from the law that says "the consumer has a right to a product conforming expectations". If they don't provide what they promised or lead you to expect, you can start to make demands.

(Fun fact: we have indefinite warranty because of this, so long as you can make it believable that the product should have lasted the given amount of time. In practice, all shops use the EU minimum of 2 years as maximum warranty term, also for things that can be expected to last five times as long, such as a TV. The person above you is right: they just pretend and see what they can get away with.)

Eventually it would be up to a judge to say whether any given demand is reasonable, but for most situations there's case law available and most companies don't feel like going to court when the case law is established enough that the consumer market authority has guidance on what rights follow from this.

I had this exact situation: a good in repair for months with no feedback besides promises to update me soon. They finally sent the refund one day before the date I had told them I was going to hand it off to a no-cure-no-pay collection agency. Half a year of pushing them at least once a week: calling, emailing, snailmailing, trying to get stuff moving. (Possession really is 90% of the law.) What a headache that was. Later found there were more people in reviews describing the same situation for this store. Only a handful per hundred superficial positive reviews but, still, the negative reviews were elaborate and I could have known.
I couldn't figure out what the actual measured memory bandwidth to the onboard HBM2e memory chiplets are- how does it compare to, say, Apple's M2 Ultra?
If you take away NFS shares without providing a better way to store and manage access controls, engineers will eventually just come up with an even worse solution.

I'm skeptical you can even fix this without a culture change, but you definitely can't do it just by taking things away.
Do you have any idea what poverty is like today? Now people spend all of their time and money on not being homeless, and then fighting the diseases that their food is giving them.
You have it backwards. Airlines aren't paying customers and companies are paying the payment forward to their employees. Employers are paying their employees and funneling it through airlines.

At a deeper level airlines and business travelers have no real business relationship. Employers are buying a service, airlines are selling a service. Business travelers are the "cargo" that airlines are shipping. Businesses pay airlines to ship this cargo. Airlines have no relation to the cargo.

Employers also pay the cargo (their employee) a wage. But they funnel part of that payment wage through airlines via miles. It's not much different than company sponsored health care, but it's company sponsored vacation/personal travel. It's an employer benefit, but not treated as one.
Isograph is very much a work in progress, and more of an experiment to the improve developer experience of building GraphQL-backed apps than a production-ready framework. The other frameworks are production-ready.

It has a lot of similarities to Relay under the hood. The primary difference is that in Relay, you import components, spread fragments and pass down fragment references to the only component that can read that fragment:

// in your GraphQL fragment:
user { ...UserName_user }
// and render it as
<UserNameRenderer user={data.user} />

Whereas in Isograph, you simply select the component and use it directly.

// in your isograph fragment
user { user_name_renderer_component }
// and, interpolate instead of using JSX syntax:
{data.user.user_name_renderer_component(additionalProps)}

Because the Isograph compiler knows that only the UserNameRenderer component will read that fragment, it can do all of the plumbing for you. Fragment refs, etc. don't exist.

There are potential, unimplemented performance advantages to this as well, such as defaulting to asynchronously loading the JS for UserNameRenderer if the fragment is deferred, instead of making that separate steps.
Are you implying that running an LLM locally means having no ability to audit security vs running one "in the cloud"? Seems like the opposite to me.
I don't totally agree. It's what a short-term view of the economy rewards for sure. But even if that was the only view of the economy I've seen plenty of low-performance software written purely out of cargo culting and/or inability or lack of will to do anything better.
For example, if you allow ordinary people to operate heavy automobiles, somebody is going to use one to intentionally kill somebody else. Did you think about that before you unleashed millions of these killing machines?

I'm not excited about developments in Bristol, but introducing extreme paranoia isn't helpful. Just a low level of healthy paranoia is good enough.
stripe, cloudflare (ish), github
I understood him to be speaking tautologically, that you trust the data when you choose the trusting library without using the safe constructor, whether or not you realize the implication. He seems very well informed that some people are using the trusting constructors on untrusted data.

As he explained, this library is, by design, convenient by default. Those seeking safe by default should consider using the other library.

"take away the choice" is my summary of several comments that would have the feature removed. One was about how its existence is a vulnerability if file access is compromised. Another was about how code execution is not in the spec. And so on.
Compare the satellite imagery from 2023, which clearly shows the bridge is out:

https://i.imgur.com/WXIxLtp.jpg

with the Street View record from 2012:

https://i.imgur.com/cen89bg.jpg

I agree that it's negligent to not have barriers or signs, and I feel terrible for the daughters and wife mourning the loss of their father, but I think it's shocking that someone would drive off a bridge that you can see is out from the air. For the past decade, hundreds to thousands of residents and delivery drivers and visitors to this neighborhood were likely given these same directions but did not die there. They saw that the bridge was out and turned around. It's a residential neighborhood; there will be no signage that says a child or dog is in the road! This is not a situation for an instruments-only landing in a plane, you have to keep your eyes outside the cockpit, even if your instruments say to drive on.

Edit - I also find it interesting that Google's map still shows the road as connected, but (now) refuses to route you over it, while Bing Maps shows the road as disconnected:

https://i.imgur.com/D9dRF1B.png

https://i.imgur.com/4NcTIxZ.png

Maps link:

https://www.google.com/maps/@35.7815814,-81.2828119,82m/data...
He is at Studio Ponoc (https://en.wikipedia.org/wiki/Studio_Ponoc) now.
We call it "right to privacy". But what if we call it "right to hide" or "right to lie" or "right to censor"? That certainly puts a different light on it.

Universal 24-7 communication about absolutely everything would be a very very good thing. Take our whole society up a level.

Except that we have these big predators lurking about.

So the problem isn't the privacy, it's the predators. Right?