skysight-inc/HackerNews huggingface dataset:
Fully agree on both of these messages. This is the only thing I don't agree:

> warnings are useless

Warnings are useful, to (no surprise here) warn me about possibly problematic stuff. That's why my C++ builds are usually full of warnings during development, but the final build for production won't contain any, because it is performed with -Werror (i.e. "treat all warnings as if they were compilation errors"), thus any unsolved warning would break the build.

A common reply to this argument, which just in case I'd like to reply in advance, is: "but the end result will be that in order to save time, and to avoid having to fix all those pesky warnings, lazy devs will end up doing production/release builds without the -Werror flag (or equivalent for whatever compiler)". To which my response is: That's a social/political/behavioral problem, a poor project management, or any combination of them, and you cannot even start to pretend that those can be solved with technology.
Tupac Shakur: Police search house over 1996 killing
I don’t love Apple Maps, but I’m tired of trying to use products made by a company whose sole goal is to serve me better ads, rather than better results.

I’d rather use a slightly worse map/email app/etc than deal with Google. That said, maps has been the hardest of those tools to migrate off of.
Same opinion here. Let us look at Val and Vale.

There is also Carbon and CppFront but those are more of C++ evolution than new-born things.
>The issue is, from my view, very much a problem of the Left-wing in the US, introducing victim/oppressor politics into schools, teaching children primarily to regard themselves as activists first, and students second.

Where is this being done? What school districts specifically? What are the specific topics that "introduce victim/oppressor politics into schools?"

I'd really like to know, as I'm not aware of any of that stuff. Since you're obviously a "disinterested observer," without an agenda, I assume you've gathered actual evidence for your assertions.

My view (as an American "with an agenda") is very different from yours. If I'm wrong, I'd like to adjust my view. As such, please provide me with specific examples of what you're asserting.

Thanks!
you're right, i also feel this had modified my whole being. unfortunately there are many people still that object to calling the end of the pandemic, for reasons that escape me.
Yes, this!

It’s crazy that we spend a decade of a person’s life forcing them to learn a skill that is so completely irrelevant to their lives and yet we ignore skills that could help them from being manipulated or forced into debt slavery.

I need to come up with a better analogy, but it’s like we were still forcing our children to manipulate a cotton gin and know the ins and outs of maintaining and repairing one. I mean, I’m sure it’s interesting and now I want to look up a YouTube video about cotton gins, but do we really need to force this upon everyone? And then we decide that if you didn’t memorize how to change out the plumbus in the cotton gin perfectly then you aren’t allowed to do further study in marine biology.

If I believed in conspiracy theories then I would think that Big Scary Corporations are in cahoots with The Government to keep the public from knowing how not to be manipulated and forcing them to work for low wages for their entire lives. But I don’t believe this because I think the reality is a lot more mundane and stupid. I think it’s just like the story you hear about why your mom learned to cook the ham by cutting off the end and finding out after some investigation that the only reason was because her grandmother had a small pan and we all just tend to continue doing what has sorta kinda worked without thinking about it. But in this case we can’t just make individual decisions to do something different because we’ve decided that the API between secondary school and college is an admissions test that includes certain irrelevant things that we can’t change because of history and the API between college and a job is something completely different.
I maintained a POS for a retail chain for a few years.

Our suspend/resume sale feature assumed that a suspended sale could only be resumed on the machine that suspended it. Then we had to change it to be resumable on any machine in the store. But only show a flashing notification that there’s a suspended sale, on the original machine.

(Thanks for storing that knowledge for me for the last decade, neurons. I doubt you’ll be asked to recall it again.)
For basic science and engineering: The 1940s through the 1960s, during which Bell Labs created the transistor, did work that won Nobel Prizes, and built the first communications satellites.

For computers: The 1970s, the Heroic Age of Unix.
I'm surprised the ad corps haven't forked the internet yet: special drm-ed websites accessible only via special drm-ed browsers. At least it would relieve those who want to share knowledge from the presence of those who sell addiction.
Their approach is different, they build ML tech that runs on-device, so whatever they developed has to be able to run efficiently on iPhone/iPad etc.

I don’t think we will “hear” about Apple using LLMs either way because they will no doubt call it something different like they always have.
So the actual issue that we've started talking about how our obsession with race effects the people on the losing end of that deal.

>. It is interesting that far fewer people feel that black people are treated fairly than in the late 90's. It would be interesting to see data going back even further.

It seems intuitive to me. If you have a problem and then activists put in a ton of time to make that problem more visible, its going to change people's perceptions of social issues. For example, if you asked people in 1990 and 2020 if the Catholic church adequately protects children from sexual predators, you're probably gonna get a pretty drastic difference in responses.
> We really don’t like solid foundations do we.

Isn't it all built (run?) on sand?
If “each individual line is easy” would work, we would be reading-writing in assembly. I don’t accept the premise that Go would be any better in this region, if anything, it is worse by cluttering up the happy path by error “handling” noise, and much harder than they should be opewtions.
Seems at least in spirit related to https://www.youtube.com/watch?v=Ko8C3surjhM.

Also note for those skimming this is the board of directors. Not "directors" in the company. If that makes any sense.
Have you tried Hinton's forward-forward method?
That sounds like an awful dev loop.
I don't think it makes sense to publish the results of clinical trials and other scientific experiments until after they have been independently replicated.
Come on.. It's completely understandable.
Why would they treat giants the same way as everyone else? I don't know what to make out of these responses, it's completely legitimate and in their right to do this. At least they release their stuff.
Turns out it was some interaction with AdGuard. Once I turned it off the page rendered quickly.
They are trying to concentrate safe systems programming in permutations of V +{a,l,e}
> sustainable funding of your project

You can always make a commercial closed source project.
At a high enough level I guess everything is just computation but using GPGPU as an example there are programs where control flow diverges and ones where it doesn't.
Why would they have secret unreleased models?

Surely Google can find another team of code monkeys to whip out a frontend if there is money to be made.

I don't think Google is going to pull back from making some more money.

I think the most likely option is that they have a bunch of talented academics who get paid on time to work on what interest them - but they're the stereotypical large inefficient company and they can't coordinate the effort of productionizing some cool models before the competition.
This is false. It's only on actions (comments, posting). No rate limits to see posts.
You do not, the user is responsible for the operation of their device. Most of the time this should be caught by whatever malicious software detector the user runs. Also, Chrome and Firefox very heavily guard against extensions being installed from outside of the usual way, i.e. by outside programs.
Why only the light on the original machine? Why bother showing the light at all?
I worked at Domino's from about 2011-2013. Their digital system was really impressive to me. The POS was pretty good for fast-food. But what really impressed me was the station management system, aka the pizza tracker.

An order had to be keyed in/out of each station to the next by employee pin. Each station had a screen displaying the pending and in-progress orders. It was connected to the "pizza tracker", so when it said "John is adding your toppings" it really meant someone else had keyed it out of the sauce/cheese station and "John" had keyed it into the toppings station. Orders came in from the cashier or online, then went to dough/sauce/cheese, toppings, oven, prep (cutting and garlic crust sauce, dipping addons), then delivery.

Of course on things like superbowl Sunday "John" was just the manager keying in every station and deligating orders manually, because that was still slightly faster.

But what really impressed me, after a few other years of various fast food jobs, was that it was not tied to any financial incentives. Managers couldn't view the historical data in any way. There were no bonuses or rewards based on it. So there was no reason to lie and send it to a new station screen early.

I had worked at Burger King and Taco Bell prior. At both of those locations there was a similar, but simplified system. You keyed in an order as taken. Then as done. Then as served. From what I could tell, management bonuses were based on certain metrics on these times. The burger king actually had a single 8 segment display hanging in the kitchen showing us our current letter grade (A-F) for performance in the past hour. We were told to just key in any order that would take longer than normal as instantly done.

Domino's must have had some great data to optimize their kitchens on. While BK and Taco Bell have their kitchens telling them everything is fine, because they will be punished if they say some new specialty sandwich takes too long to prepare.
Yeah, reading the Fluent Python book[1] and / or following along with their support files[2] would a good way to start

[1] https://amzn.to/3J48u2J

[2] https://github.com/fluentpython/example-code-2e
China deletes Covid-19 death data
Hard for me to say, I guess I feel better not using more memory than needed, I think my security surface may less than it would be with a lot of tabs open but don't hold me to that as researched opinion, it isn't, can't think of anything else though.
As far as I can tell you don't need an official transcript from an accredited school to get into college. We are homeschooling our kids and what I've read is that homeschoolers write their own transcript, the kids themselves write it, and they describe what they've accomplished and learned during their schooling career and admission depts in colleges tend to favor these kids over traditionally schooled kids.

I'm guessing that a traditionally schooled kid could just do the same. Especially since there's so much that they are probably learning outside of school. It would be a shame to ignore all of those skills and knowledge just because they weren't taught during the hours of 8 and 3, M-F.
When were the GPT-4 benchmarks calculated, on original release or more recently? (curious per the debate about alleged gpt-4 nerfing)
The first description I read of a merge queue came from Graydon Hoare, the creator of the Rust programming language, describing a CI system his team cobbled together in 2001[0]. He called this system "The Not Rocket Science Rule Of Software Engineering"

Zuul, of course, had this back in 2012.[1]

2023: GitHub catching up!

[0]: <https://graydon2.dreamwidth.org/1597.html>
[1]: <https://zuul-ci.org/>
> bipedal ceratopsian dinosaur

In retrospect, maybe this should not have surprised me, but hey, TIL.
If only a language could have a built in feature to propagate an error up the call stack, recording its context as it goes!

It's always surprised me how negative of a reception checked exceptions had, since they provide the forced handling (or explicit propagating) of (value, err) or Result<T, E>, but with an automatic stack trace and homogeneous handling across the ecosystem

I imagine some of the disdain in Java specifically came with how unergonomic they are with lambdas. Either you don't allow them at all, like in most standard library functional interfaces, or you do, but now every caller has to handle a generic Exception. I guess what was really needed was being able to propagate the "check" generically, e.g.

<T, E> T higherOrder(Supplier<T throws E> fn) throws E {
return fn.call();
}

So a call site of higherOrder would only be checked as far as fn is

I'm unsure if that's even possible to do (and if other languages have done it) or if it leads to undecidability. I'm very rusty on PLT
I said yes, you can read it. But I also noted that it's riddled with ## and other junk that doesn't do anything beneficial because you're seeing plain text. So why have detracting, non-informational characters in there?
>> I have no doubt that Apple are working on local LLMs and combining them with Siri,

Yeah, Apple would want to have voice chat, not text chat. Especially on a phone
use hotplug-diskmount for media automounting. Symlink /vol to /run/media/$user, mkdir -p /run/media if doesn't exist.
But we made do with C for how many years? OP's question isn't whether Rust is as good as systems languages will get, the question is whether any successor language stands a chance of being included in the kernels.

The bad ergonomics of C were never enough to get another language into the Linux kernel, it took a language that solves the number one class of security bugs. It's unclear that any successor to Rust will be able to show as clear a need.
Revised software to curb risk of A220 dual-engine shutdown on landing
“who generally I actually really do trust to be doing good”

These are mega corporations and you aren’t the client. They aren’t making Chrome “for you”. They are for optimizing for Advertisers.
No. That's Musk's personal pay package as CEO. This was just stock options that the board gave themselves for their services
Cost effective electrolyte for stable all-solid-state lithium-based batteries
Great point about discovery and the importance of keeping work and personal devices strictly separate. There was a story making the rounds on HN last year about someone who kept... well... intimate pictures on their mixed personal/work device and had to surrender the device when their company was involved in a lawsuit. Don't cross the streams!
It’s estimated that the iPhone 6 and 6 Plus sold over 225 million.
> "But teacher, I'll always have a calculator". Damn right. A calculator and Wikipedia and chatgpt. Remembering the quadratic equation is literally useless knowledge to retain.

Remembering the quadratic equation allowed you to make an educated argument against its usefulness, so it isn't "literally" useless (badum bum psh).

While I agree that there is tons of room for improvement on how/what/when we teach students different subjects, I think we should be very cautious about offloading subjects to tools before students have a firm grasp of the material.

In my opinion, one of the greatest benefits of deeply engaging with a variety of subjects is getting into the habit of asking "why". I think this is important because it encourages students to dig deeper. I can only speak for myself, but the times I have learned the most is by far when I took an interest and started asking how and why things work.

Imo, it's okay that students engage with complex subjects that they will never use, if for no other reason than that it will provide ample opportunities for them to ask why. Perhaps somewhere along the way they will discover that they are in fact in the small minority who will pursue math as a career.
Governments media and health authorities radicalized people and then abandoned them afterwards. There is no "back to normal" messaging I've seen or interventions for people who were largely driven crazy by all the hype different agencies were pushing out. A responsible society would push people to act normal again, but we instead keep coddling crazies and promoting continued victimhood or special treatment for people that seek attention.
Normal training content has "alignment". It's not going to instantly be super racist and endorse cannibalism if it's "unaligned".
Also see Htmx in a similar space: https://htmx.org/

A comment about the documentation. It's quite text heavy and light on examples. It's been written by someone more interested in celebrating the framework's inner workings, and less for people who want to know how to use it quickly.
Marketing, lol. Erlang is a functional language. Functional. That alone has prevented its widespread adoption.
>The US no longer has universal shared values, it has many different sets of values that are all competing for survival. Schools have become the front line in this battlefield.

I disagree completely. Our shared values include belief in the rule of law, equality under that law, equality of opportunity and a whole bunch of other stuff that has always been the rhetoric, but much of which has only grudgingly been implemented for wider and wider swathes of Americans over the past 230+ years.

That some folks are at odds some issues most certainly does not mean we don't have shared values. It means that we don't share all the same values/ideas. Which is exactly how it's been here since well before the founding of the US.

Edit: Fixed prose.
I love the conceptual framework and high level architecture of Azure: Resource Manager, sane naming compared to AWS, etc…

What I hate is the unfathomably sloppy implementation that their developers refuse to fix unless held at gun point.

You literally have to have an MS account manager about to miss out on millions of dollars to force a trivial fix through their pipeline.

They have zero “customer obsession.”
> They are blocking middle schoolers from taking Algebra.

By replacing it by another challenging mathematical content. How is that "dumbing down".

It's like saying "they are making students less musical because they are replacing piano lectures with guitar lectures".

And, yes, I get that Algebra is not the same as Data Science, and that Algebra may cover some foundation needed for a math specialization. But a lot of students don't end up doing a specialization in math: for them, Data Science may make them SMARTER than Algebra which give tools rather than train the brain to think differently.

I had a strong math cursus at uni, and I've observed that it takes a while for the "math point of view" to "click" and suddenly make sense. It is also the case in some comments here. I have never seen someone saying they have "clicked" before uni (I'm sure there is some, the point is that they are too rare to be the reason we waste all the other students' time). The reality is that teaching 1 year of something that you need 2-3 years before "clicking" means that it is just wasted on people who just do one year.

And, of course, Algebra is not limited to that. But it is also just true that a lot of it is learning formula by heart, which makes it difficult to pretend teaching a more challenging, engaging and practical math domain will make people somehow less smart.
> A language and its libraries will inevitably allow a whole range of abstractions.

True, but that's a different sort of "abstraction" than what I'm talking about. I'm talking about how abstracted the processor itself is. Libraries and the like don't really enter into it -- this is about the language proper.

Machine language has no abstraction whatsoever. What you write is literally the code that the CPU executes.

Assembly language is one higher level of abstraction. There's still mostly a 1 to 1 correspondence to machine language, but some of that gets hidden for human convenience. You're now writing with symbols instead of numeric op codes, and you have concepts like macros, which have no machine language equivalent.

C is a higher level than that. Every C statement can easily be expressed directly in assembly, but more common operations (loops, subroutines, etc) have a shorthand that makes them easier to write. There is no longer a 1 to 1 correspondence with assembly or machine language, but it's not terribly far from assembly. Still, it's abstracted enough that the language is no longer tied to a specific processor.

C++ is yet another level up the ladder. In a sense, C++ is to C what assembly is to machine language.

And so forth.

I suppose that a plausible (but highly imperfect) rule of thumb for how high up the ladder of abstraction a language sits is how many machine language instructions are required to implement a given language construct. The more required, the higher the level of abstraction. High level languages also have a lot more (indeed, mostly consist of) constructs that simply don't exist at the machine language level.
What will climate feel like in 60 years? (Interactive Map)
It's better to wait and see. Either way, they are scraping everyone and everything. If they can't do it...
I watched a Citus demo a few months back and it blew me away. I hear upgrades are the big challenge.
Write Python code and get feedback from a colleague.

If you don't have a colleague, GPT-4 is an acceptable substitute.
That's exactly the reason I went for YugabyteDB tablespaces implementation on one of past projects. Dedicated database locked down to selected nodes for full isolation.
I have not. I have read the paper though. I do want to try it and likely will at some point.

Next up after this project is that I want to test some metalearning ideas. I read some papers where the idea is that all weights are actually tinier neural networks, all with the same parameters where you train it to learn backpropagation (or whatever learning algorithm it converges to). The paper I read this from argued it also worked for forward-only but my intuition doesn't quite understand how. I want to follow up a bit on this line of research and check if there's been any new developments since I read them and try them out in my own code.
Unfortunately, that does of course that does happen a lot. My point was that I think working sprints doesn't necessarily mean overworking.
Google _internally_ feels that they are way behind. Forget commenters on HN, literally all of the google employees that I know believe that the company is failing here.
Tl;dr

An electrolyte based on lithium zirconium oxychloride was proposed. The costs will be around $ 11.60/kg much cheaper than sulfide and chloride electrolyte which costs $190 per kilogram
I don't think it's a scandal, it's a natural thing that happens when iterating on models. OP doesn't mean they literally train on those tests, but that as a meta-consequence of using those tests as benchmarks, you will adjust the model and hyperparameters in ways that perform better on those tests.

For a particular model you try to minimally do this by separating a test and validation set, but on a meta-meta level, it's easy to see it happening.
America… puttin’ the comic back into Comic Sans…
I find it difficult to sympathise with her. How you entrust someone you’ve never met with $450K is beyond me.
One reason I prefer Erlang to Elixir is that I appreciate the fact that Erlang syntax is very different, and I feel like it helps me think in Erlang. I don’t think about Python or Ruby.
There's no reason to believe this. The training time and cost is so substantial that they are almost certainly building their next release, but it isn't sitting there rotting.
When i starter my career working for large corp we had dedicated people for this called Release Engineers. The concept of specialization seems to have fallen out of favor within engineering orgs…