skysight-inc/HackerNews huggingface dataset:
A few minor corrections

> Simon Peyton Jones is reported to have said that lazy evaluation has been kept "to keep us honest about side effects"

Rather, one of the main benefits of laziness was to force purity and thereby to instigate the development of typed effects. By contrast, the reason that laziness has been "kept" is simply that switching to strictness now would break (almost) all Haskell programs!

> lazy evaluation comes at a pretty extreme performance cost

Not really. Haskell's implementation of laziness is very high performance and the compiler can easily determine when creating thunks is not necessary. The reason that lazy evaluation leads to performance problems is that programmers don't know how to use it correctly. Whether that's the fault of the language or the programmers is up for debate.
Linux mint with KDE? Kinteresting.But you may get some compatibily issue.

I suggest using their default DE, it will give you more streamlined experience.
Web3's fake version of Web history
Thank you I was sitting here trying to understand how this is even viewable behind the like 100 tags that are over top of it and won't go away
My X1 Nano Gen 1 has the same switch in EFI. Glad it exists but yeah it’s weird that Lenovo suggests that using it breaks Windows.
I think the White House should call more interested parties than companies.
I'd throw in Agda with that list. I've enjoyed https://github.com/jespercockx/agda-lecture-notes/blob/maste...

> Also, won't learning two things at once be harder than learning each independently?

kind of, yes. But it's kind of funny. Like, it can take a while to get your head wrapped around functional or object oriented programming. But once you get a sense of it, you can kind of puzzle out any of that style of code. Math is written in proofs. after you prove a + (b + c) = (a + b) + c a few times, you kinda get a sense of what to look for.

I'm not saying it's easy. I am saying it's not that different than becoming fluent in another style of programming. functional hello world is still just hello world. deeper, more complicated programs are hard no matter the language/style. Getting a handle on writing proofs has been personally rewarding. (I've been pretty casually studying over the last few weeks/months). I don't think it'll advance my career or anything, but it's neat.
RedPajama is also training both foundation and instruct-tuned models

Source: https://twitter.com/togethercompute/status/16527350961501757...
Because it's like beating a dead horse.
Apparently with the Ryzen processor, the slots are limited: "The Framework Laptop 13 with Ryzen™ 7040 Series processors has two fully capable USB4 ports, with the back left and back right Expansion Cards slots. The front left Expansion Card slot can handle both USB 3.2 and DisplayPort Alt Mode, while the front right Expansion Card can use USB 3.2. This does mean there is one Expansion Card slot that can't support the HDMI or DisplayPort Expansion Cards, and most OS's will provide a warning if you forget. You can charge your Framework Laptop through any of the four Expansion Cards as well.".

This is borderline a deal breaker for me.
"bar" is an overstatement if you like me were reading that as one of those early 2000s era browser toolbars. A recent Edge update added a fairly large and persistent Bing icon to the right end of the browser's menu bar. It uses a speech bubble design and is likely part of the push for AI chat powered Bing search. It's obnoxious that you can't hide it but it's more of an eyesore than an actual problem.
I have a pinebook. its. a fun toy but the trackpad is trash and there's not much if any HD space so I still use my MBP as a daily driver. I'd happily pay more for a pinebook pro with at least 512 gb of space, 8 gb of ram and a beefier battery. the cpu performance is on the low end but workable.
> A big part of the reason that the US has been able to run a trade deficit and still maintain a strong currency is because there is demand for the currency, itself

No. It's a measure of much foreigners trust the Us economy and it's political and judicial system. What drives the demand for the dollar is the will of people to invest money in American securities and on the American capital market.

Chinese investors invest on the Chinese market in Yuans. Rich Chinese investors invest on the US market with US dollars.
That's great if it works for you. While I have never eaten a lot of convenience and/or overly processed foods (the category is a bit vague), I often overeat despite cooking from scratch. I think it gets worse as I get better at cooking. I overate on a fantastic goose I made last weekend, for example.

My takeaway from our parents' post was that while CICO is sufficient for weight loss, it alone is not sufficient for well-being.
I'm quite familiar with anti-imperialists of various sorts. They generally don't start ranting about Trotskyists. That makes this person sound decades out of date.
C like code was presented as C++, while Rust code using an existing library was presented as something not available in C++ (type level programming).
WebGPU has no equivalent to tensor cores to my understanding; are there plans to add something like this? Or would this be "implementation sees matmul-like code; replaces with tensor core instruction". For optimal performance, my understanding is that you need tight control of e.g. shared memory as well -- is that possible with WebGPU?

On NVIDIA GPUs, flops without tensor cores are ~1/10th flops with tensor cores, so this is a pretty big deal for inference and definitely for training.
FBI, Europol make hundreds of arrests in dark web shutdown
an extension to a) is also that there is non-trivial risk.

PII breaches require disclosure, and that's the last thing PH wants. There is also potential legal ramifications if they fail to handle the PII correctly and stuff gets leaked.

Then there is the risk that somehow a kid manages to get through anyway, and they face the risk on that angle -- angry parents and crusading politicians.

Furthermore, how are you verifying these? Actual human eyes? Image recognition for valid Utah driver's licenses? What if they live in Utah but are from out of state? Fake IDs are a thing, and if it's an uploaded image I could have easily whipped up something with Photoshop when I was like ~15. Compress the image a little to help mask any artifacts and then cry "potato quality phone camera" if anyone questions it.

Opens up a whole can of worms that don't make sense if you're trying to solve this on the scale of just one (1) state. Maybe if California, TX, and NY go in on it, too, but otherwise it's a lot of risk for little gain.
This is the problem Preload headers & Early Hints are meant to help with.
https://web.dev/preload-critical-assets/
https://developer.chrome.com/blog/early-hints/

You need some server-side intelligence to analyze each module & determine what preload headers to send. But then the browser knows what to request, even before content starts coming.
The real risk of AI actually is related to that, IMO. Vinod Khosla estimated in an event a few weeks ago that 80% of human jobs will be automated in the next 10-20 years. We’re going to be living in an era of extreme abundance, which in theory could lead to an absolute human utopia.

The reality is that our society as it is currently run requires everyone to work in some capacity to earn a living. We’re about to hit a point where that simply is not feasible, because the majority of the jobs are going to be automated.

Teaching jobs are on their way out likely aren’t coming back. But with them are going to go most white collar jobs generally, and most blue collar jobs, and before too long self driving will be figured out, and then transportation jobs are gone too.

I hope that this meeting is focused around the changes we need to make societally to use this abundance for good, but I know how the slim the chances are of them talking about that, and how even more slim they are that they come up with a solution.
Generative Music Player
Source forhttps://github.com/generativefm/play
Apple Is a Chinese Company
You seem to be arguing that you can communciate the same things about temporarity in all languages, and suggesting this is the same thing as saying there are the same tenses in all languages. I'm not even certain the first part is true, and would want to read a lot more about it -- but it also doesn't seem at all clear to me that these claims are synonymous.

But would you think they are, that if you can communicate the same things about temporality in all languages, then that means "all languages have the same tenses"? I guess that may indeed be a semantic argument on what it means to "have a tense", but that seems an idiosyncratic meaning of "tense" to me.

But then, what do you do with the simple non-controversial fact that Spanish has both past imperfect and past preterite, and English does not? Sure you can use a "past progressive" construction in English like "was walking" to, in some cases communicate the same or similar thing -- but you can say "estaba caminando" in Spanish too -- or you can instead, more commonly, say "caminaba". You have an extra choice in Spanish, an additional grammatical form with an additional shade of meaning, that does not exist in English. (and "caminaba" isn't always, or even usually, translated to English properly as "was walking", but could probably more often just be "walked" too.)

This seem to be a pretty clear counter-example to the claim that all languages have the same tenses? A simple one, with an everyday construction, from a common language. (for all languages, I'd want to look at some obscure ones too!). Now, it doesn't mean that "caminaba" is untranslateable to English, there are several differnet ways you might translate it depending on context, to try to get the point across more or less ("was walking", "used to walk", "Back then I would walk", etc, and in many cases though just "walked" is fine, "I walked to work everyday") -- which is true of all translation. But this gets back to--are you actually just trying to say that all languages can express the same ideas? That's also a somewhat controversial claim, but, I think, an entirely different and broader one than "all languages have the same tenses", but can be true even if all languages don't have the same tenses.
Clearly riscv servers you design from the CPU up (with some very helpful software). Only to be replaced by the N types of computers that typically wind up being designed somewhere around years 3-5. To later be replaced by those same systems in the cloud.

Or of course world war 3 happens and the latest, greatest thing going in IT is “I mean I’m still alive, whatever that’s worth.” And making anything usable from whatever is found. Even a blinking LED becomes either neat or a way for a roving warboy to find/kill you.
For me, and I guess for programmers in general, as presumably anticipated by the author, the concept of floating point numbers as a pure construct without having to cram them into n bits was easy to grasp, even relaxing.

Perhaps that was the intention there.

As for choosing polynomials in general as a starting point, a potential answer is maybe found in the text:

> Polynomials occur with stunning ubiquity across mathematics.

That is, beyond the concept of basic arithmetic that's surely already known, it's possibly a logical place to begin.
When I was young, there was a saying, something like "Software is either beta or obsolete… or both"
I don't understand this insistence on extrajudicial executions; doesn't the U.S. have them too? Those are not part of the Salvadorean legal system, are they? It brings nothing to the discussion, and seems an attempt at pointing fingers at best. If you want to discuss vigilantism, you realize that's another thing?

In any case, I can't agree with anything you said. Obviously reducing murders by half will have very deep trickling positive effects on a society. And the Salvadoran Civil War was simply not due, even in part, to cracking down on gang crime.

I reiterate that, even though you may not like it, or may want to use softer methods, or may resent one for making this observation, repressive methods provably work at stopping violent crime. Unless you're a slippery slope afficionado, what this should tell you is not that you should declare martial law on Earth, but that violent crime is a provably solvable problem. Arguably, alongside with morals, it would be nice to also have the imagination and motivation to achieve such result.
Same with MacOs and using it with a studio display makes the bass ridiculously loud.
These types of organizations have been faking images to gain sympathy since the dawn of photography, but now it just takes a person and a prompt, instead of an entire production team.
Using AX2XX on my Ryzen desktop too, works great. As far as I know that series of chipsets is one of the best available for Wifi/BT cards.
>GPT-4 is closed but the techniques it enables are reproducible by anyone with a credit card

No, you really can't reproduce it this way. Science is not a carnival show. This is why the term snake oil was appropriate.
> *in Spanish ... words are written exactly as they are pronounced

I don't know about that... The pronunciation of 'B' and 'V' varies depending on their position in the word; "conversación" is pronounced as "combersación," etc.
>surfactant molecules (mainly fatty acids) give champagne its flavor

Obviously that explanation is a gross oversimplification of what champagne flavor is, but could result in a novel way to evaluate/taste a glass of champagne by looking for the quality of bubble chains in it
>a lot of the Linux devices I've been checking out don't support Vulkan even now after it's been out seven years. So really the only platform where Vulkan runs natively is Android

I got really curious about this. To my understanding, I have been using Vulkan on my Linux desktop computers for quite some time now. What Linux devices could the author mean?
> Microsoft needs to think hard how hostile they want to be to its competitors and users, because two people can play this game.

I think this is already happening. Google pushes non-stop for you to use the Gmail app, then once you do all the links prompt you to open Google Maps, and all the rest. It's annoying and there's no way to change it.

I think Microsoft is just taking a step out of Google's playbook here. Doing exactly what Google does on mobile, but doing that same shitty behavior on desktops. "If you made the choice to use a Microsoft app, you're making the choice to be in the Microsoft ecosystem."

I hate it, it's trash, all the rest... but it feels like -- shocking -- Microsoft is just copying something they saw someone else doing.
We'll sure find out, because there's no way to keep people from it.
> Please provide evidence that biometric data has ever been extracted from a major platform

Why extract it from a platform when it can be extracted easily from the person? Imagine your password was written on every surface you touched (fingerprint) or is prominently displayed on your social media accounts (face).
> If you're upgrading your Framework Laptop to the new Mainboard, remember that you'll need ... a Ryzen-compatible RZ616 or similar WiFi card.

Why does WiFi card need to be "compatible" with CPU? Isn't it enough to be compatible with PCI-Express? Or are there backdoors that do not work with Intel-backdoor-compatible WiFi cards?
“Most of us use multiple windows to divide up separate, short-term pieces of work that we don't really need to persist very long,”

Thats when you open up a little arc.
Putting names to faces – Developer Personas
But who gets to decide who that person is? Back to square one.
Interesting work, but I think it neglects one of the profound distinctions in mathematics that people coming from a programming/compsci background often stumble over: that between the discrete and the continuous. This looks like a good discussion:

> "The distinction between the discrete and the continuous lies at the heart of
mathematics. Discrete mathematics (arithmetic, algebra, combinatorics, graph
theory, cryptography, logic) has a set of concepts, techniques, and application areas largely distinct from continuous mathematics (traditional geometry, calculus, most of functional analysis, differential equations, topology). The interaction between the two - for example in computer models of continuous systems such as fluid flow - is a central issue in the applicable mathematics of the last hundred years."

http://philsci-archive.pitt.edu/16561/1/Discrete%20and%20Con...

With respect to programming and mathematics, this line is worth thinking about: The problem is that the continuous is easier to imagine and prove results
about, but the discrete is unavoidable when it comes to calculation.
> Could you expand on why you don't believe "intelligence" is an appropriate word?

The problem with the word "intelligence" is that it's very poorly defined, and what people mean by it varies a tremendous amount.

But I agree that I don't think the word itself is what leads people to be very, very nervous about this tech.
I would have loved to be able to rely on Pine products. But they are all garbage-tier unsupported crap.

Their modus operandi is to take reference circuits, splatter on a few peripherals to IO lines, make a case, and call it a day.

Happen to have 2 USB-C ports (ala pinephone pro)? Hope you which one to use cause the other one will fry stuff.

You have a pine SBC? Says it will boot on their micro memory chips instead of mSD? Nah you still need a mSD to pass to the chip.

And they'll wash their hands of any support requests, and blame the open source community for support.

Save yourself the pain, suffering, and lost money. Do not buy Pine anything.
Too Many Words, and Not Enough
Some tiny border towns were. Long lockdowns of major cities were very rare: Shanghai (2 months), Xi'an (a few weeks), and then the list gets pretty thin. There were sporadic lockdowns, but nothing like what one would imagine if, say, CNN were one's only source of information.
it gave me a correct answer (but not the one GP expected), and then I asked it about another chord GP wanted it to say (D flat major) which can be stylistically replaced with this one (by "inverting" the top note). I asked it what the relationship between the two was and it told me about how they're used in songwriting correctly (gave information about the emotions they invoke and how they resolve to other chords), but didnt tell me the (frankly, trivia) fact that they share notes if you happen to invert it in a particular way.

In music theory a set of the same notes can be one of several chords, the correct answer as to which one it is depends on the "key" of the song and context which wasnt provided, so the AI decided to define the root note of the chord as the bottom one which is a good and pretty standard assumption. In this case major chords are much more common than weird diminished 7 chords but I think you'll agree the approach to answering the question makes sense.

It's kind of like asking the AI about two equivalent mathematical functions expressed in different notation, and it saying a bunch of correct facts about the functions like their derivative, x intercept and stuff and how it can be used, but needing a prod to explicitly say the fact that they are interchangable. It's the kind of trivial barely-qualifies-as-an "oversight" I would expect actual human people who fully understand the material to make.
Thanks for the info. I am upset I missed out on this.
Shared memory, yes, with the goodies: atomics and barriers. We rely on that heavily in Vello, so we've pushed very hard on it. For example, WebGPU introduces the "workgroupUniformLoad" built-in, which lets you broadcast a value to all threads in the workgroup while not introducing potential unsafety.

Tensor cores: I can't say there are plans to add it, but it's certainly something I would like to see. You need subgroups in place first, and there's been quite a bit of discussion[1] on that as a likely extension post-1.0.

[1]: https://github.com/gpuweb/gpuweb/issues/3950
https://archive.is/AJa72
I'm sure you mean "nobody" not nobody, otherwise this doesn't exist: https://github.com/bitbank2/BitBang_I2C (and plenty of others, this was just the first github link google gave me). There's quite a few articles suggesting to bit bang i2c on tiny MCUs also for various memory/code size/etc reasons.

I suspect trivial to do in C++ really should be "trivial" too.
There are unknowable numbers of fake charities amongst the 381723 currently registered, including highly exploitative charities, activists groups masquerading as charities, personal enrichment scams and so on.

I can think of many examples. A recent fun one was Ngozi Fulani's (of false allegations of racism) charity Sistah Space. Exposed using only publicly available information as a total grifting sham. Remember Camila Batmanghelidjh? There are god knows how many more like those two.

Hope Not Hate - a labour party activist controlled disinformation & propaganda generation entity run as a Ltd funded entirely by a special purpose charity entity bankrolled by people like Sigrid Rowsing. You will note their "work" receives almost not interaction on social media - which is the majority of their raison d'être

There are quite literally hundreds of "local" charities in places like Tower Hamlets that don't come close to meeting an normal persons definition of charity. They simply funnel money, often from local councils, to themselves.

I've also attempted to report a charity before here in the UK. The CC refused to accept my anonymous info and if my information didn't lead to a prosecution (and had to sign a document to this effect) that i would be prosecuted myself. That was some years ago, so the process may be different.

A great many charities raise money in a charity entity, then funnel all that money to a small Ltd controlled by a small number of people. The oversight, and legislation are appalling.

There are a number of "charities" in the UK alone claiming to be tackling "long covid".

Who knows how many evangelical church scams there are enriching some classic conman preacher.
AX201 only works with intel. AX200 should work in the AMD Framework as well.

Edit: Info from Intel itself https://www.intel.com/content/www/us/en/support/articles/000...
Ask HN: Best way to deploy to embedded Linux
I'm fiddling around with embedded linux devices and deploying and debugging software is a pain. I currently have a script that:

- builds a binary
- copies over the artefacts
- runs the app on device

Is there a tool that helps with the copying + running (service configuration, ..) part?
($25)*(24hours)*(30 days)*(12 months) = $216,000

That's absolutely nuts. That's basically the entire capital cost of an 8x A100 hyperplane from LambdaLabs [1] plus power for a year plus administration! What's the point of cloud hardware if you're paying for everything reserve anyway?

Roughly the same setup costs $12/hour at Lambda if you're lucky enough to snag one so it looks like demand for 8x A100 is so high that you basically have to pay AWS for an entire pod to get access to one, unless you want to pay $40 per hour (!!!)

[1] https://shop.lambdalabs.com/deep-learning/servers/hyperplane...
All programmers must learn C and Assembly
Is a twitter handle covered under trademark?
But you still need a password to use a passkey right? So passwords aren’t going away, they’re just being used to a more secure way.

My mom can’t tell if a website is fake if it’s made to look exactly like Facebook, for example. So in a sense passwords are actually awful for users because they’re required to remember dozens of passwords and verify that a website is legit. If they just reuse the same password everywhere then they are vulnerable to another kind of attack because some website somewhere will mishandle it, forcing her to change every password on every site afterward.

Instead, she can have the best of both worlds by remembering one master password, that basically opens a magic app that will check that the website is legit and create/retrieve a unique passkey for each login.