skysight-inc/HackerNews huggingface dataset:
If it does play out like this, I feel that inferencing will be taken over by lower-power ASICs (e.g. Groq) or even commodity CPU hardware. GPUs are an expensive solution (both power consumption and capex) to a straightforward problem. There are already real-time TTS models running on ARM, and while the fidelity isn't on par with large GPU models yet, a year or two of hardware improvements and software optimizations will probably close that gap.

The same may not apply to audio2audio models, though, and NVIDIA will probably keep a firm grip on training, too.
IIRC some cultures use a nifty method where the right hand is the ones column, the left hand is the tens column, and the thumb indicates five (sort of like an abacus).

Then each hand can represent 0 to 9, and together they go to 99.
[dupe]

Discussion: https://news.ycombinator.com/item?id=40677059
Author here - yeah, as I've learned more about OpenBSD I've realized that, while "don't fix it if it ain't broken" is still a valid claim about their overall approach, the OpenBSD hackers also just ... see a lot of stuff that's broken, everywhere.

Still, somehow, on the margin, I feel I'd be more comfortable hopping back into a much earlier OpenBSD than a much earlier Debian. Maybe it's a taste thing.
Depletion in the context of semiconductors isn't referring to isotopes (in the manner of depleted uranium) but rather to charge carrier depletion in a region of silicon. Technologies like Fully-Depleted Silicon on Insulator (FD-SOI) are mainstream for some kinds of chips (eg. radios).
Let’s not. A feral dog is behaviorally very different than a coyote or a wolf.

A wolf pup raised by humans won’t be anything like a tame dog.

People whose animal experiences are limited to pets and zoos have many wrong ideas about how real wild animals are.
Kind of ironically I've enjoyed the 'Write Yourself a Scheme in 48 Hours'[1] which goes over how to write your own Scheme in Haskell. It introduces some of the more interesting monads although I'm not sure how idiomatic it is.

[1] https://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_...
This is one of the things I don't get about the AI hype.

Why does everyone want to use AI to _replace_ humans?[0] This sounds exactly like a case where an "AI" transcribing a human's order ALONGSIDE an actual human would be a perfect case for optimising.

If the human mishears something for example, they can check what the AI interpreted, but still make their own decisions.

[0] We all know: Greed. AI's don't join unions and don't get overtime pay.
UI libraries are a poor reason to pick Rust over Swift, given that Rust has a very poor UI story.

Doesn’t your comment apply very equally to Rust? There’s basically Slint and Tauri, and several bindings in various states of disarray. Not exactly very compelling.

The Rust ecosystem has very many strengths, but UI is not one of them.

Regardless, you’re incorrect about there being no way to make GUI applications

Here’s a Gnome binding https://swift.org/blog/adwaita-swift/

The C++ interop allows easy binding to Qt https://github.com/qt/qtdeclarative/tree/dev/tests/manual/he...

Win32 https://github.com/compnerd/swift-win32

The fact that Swift has easier C++ interop than Rust makes the cross platform UI story much easier and more compelling than what I’ve found in Rust.

Bindings are much simpler to manage and can be handled by a single module map file with a single line in it most of the time.

Adding to that, many well established UI libraries depend on classes to implement them. Rusts lack of classes, while wonderful otherwise, makes binding to heavy class based libraries very onerous.

Don’t get me wrong, I really enjoy rust. It’s just, it’s very ill suited for UI work today itself. I almost always write my UI side in C++ if I have to and bind over when needed instead.
Choose Optimism and Build
I don't have to be confused by it to dislike how it ends up working out in actual code, even "clean" code, in terms of ease of understanding and maintainability.
Not really. Whether an integer represents a width or a height won't even exist in your head if you're implementing a function like max(a, b).
While "mama" is a very common word for "mother" across languages, it is by no means universal. A particularly startling example is Georgian, where "mama" means dad, and "deda" means mom (and note that this is an Indo-European language!).

Which is to say - there's no single "first syllable" and "second syllable" that all babies say in that exact order. They just babble, and adults interpret those noises as syllables according to the phonemics of their language. Thus results may vary.
> I recommend (not ironically) Double Binded Sax by the group named Software.

After you finish that, I recommend queuing up Friedrich Nietzsche by Klaus Schulze.
The big problem is smartphones with internet access, not cellphones. I was in high-school when cellphones really took off and while the occasional errant phone ring in class wasn’t uncommon nobody was compelled to be doom scrolling on social media during class, because we didn’t have internet access. A lot of people, especially kids, are not skilled at moderating bad habits.

On a related tangent, my drive to work takes me past multiple middle-school bus-stops and every. single. kid. Has their face glued to their phone every. single. day. It’s depressing.
You're replying to an article about the Botai, whose sites lack evidence for domesticated crops like other early horse cultures.
I think all the reasons can play a part but may weigh differently for different people.
How much stuff is hanging off usb on it instead of being in a proper case?

You may not care but I do.

I suppose a Pi 4 is fast enough to route 1 Gbps even through a usb network card?

[I do have one "sitting on a shelf" as a home Minecraft server btw. I hate the usb ssd hanging off it.]
ChatGPT just spit out nonsense in the first example. Look at the sum in step 6, over τ ≤ τ. Is τ the bound variable of the summation or a free variable? Put another way, how many terms are in this summation over "τ ≤ τ"? And how does this relate to establishing either the LHS or RHS of part 3, to then conclude the other side? Nothing actually coheres.
What happened here is that ChatGPT remembered the Möbius function for the partition lattice, regurgitated it* without providing proof, and then spit out some nonsense afterwards that looks superficially reasonable.

But establishing that Möbius function is essentially the whole ballgame! The question being asked is very nearly the same as just being asked to prove that the Möbius function has that form.

[*: The regurgitation also has a slight error, as μ(τ, σ) with τ a refinement of σ is actually (-1)^(|τ| - |σ|) * the product of (|τ restricted to c| - 1)! over each equivalence class c in σ. The formula given by ChatGPT matches this one when |σ| = 1, which is the important case for the proof at hand, but is incorrect more generally.]

----

For what it's worth, the desired fact can be shown just by elementary induction, without explicitly invoking all the Möbius function machinery anyway:

Let N(t, e) be the number of partitions of {1, ..., e} into t many equivalence classes [we will always take e to be a non-negative integer, but allow for t to be an arbitrary integer, with N(t, e) = 0 when t is negative]. The sum in question is of (-1)^t * t! * N(t, e) over all t. Refer to this sum as Sum(e). We wish to show that Sum(e) comes out to (-1)^e. Since Sum(0) = 1 trivially, what we need to show is that Sum(e + 1) = -Sum(e).

There are two kinds of partitions on the set {1, ..., e + 1}: Those which put e + 1 in an equivalence class all on its own and those which put it in the same equivalence class as some value or values in {1, ..., e}. From this, we obtain the recurrence N(t, e + 1) = N(t - 1, e) + t * N(t, e).

Accordingly, Sum(e + 1) = Sum of (-1)^t * t! * N(t, e + 1) over all t = Sum of (-1)^t * t! * N(t - 1, e) over all t, plus sum of (-1)^t * t! * t * N(t, e) over all t. The first of these two sub-sums can be reparametrized as the sum of (-1)^(t + 1) * (t + 1)! * N(t, e) over all t. Now recombining the two sub-sums term-wise, and keeping in mind (-1)^(t + 1) * (t + 1)! = (-t - 1) * (-1)^t * t!, we get Sum(e + 1) = sum of (-1)^t * t! * (-t - 1 + t) * N(t, e) over all t. As (-t - 1 + t) = -1, this comes to -Sum(e) as desired, completing the proof.
It isn't. It's not even the case for the script from which Latin developed.
Take language you enjoy and learn how to solve problems. That's it :)... All (best bets) will lead to confusion and burnout.
I agree to some extent only. Any big organization faces this issue, so you're right this is not just Google problem.

However, they way they approach it varies considerably, and I'd expect Google engineers to address it in a way that minimizes problems resulting from, say, changes in product A causing problems in product B. I'd bet some work on that has already been done because these folks aren't stupid but apparently that's not enough.
Doesn't the "O" in OCaml stand for "Object", though? I think you could pick up either F# or OCaml just as easily.

The nuances of OOP in F# can be ignored by beginners, so I really wouldn’t let yourself be intimidated coming from Clojure.

[0] https://ocaml.org/docs/objects
Drop the info
Were you intending to swap your DAW’s for an MPC? If so, what was driving that? If not, never mind.
It's pretty silly you linked to a screenshot of some random Grok output
Those are impressive results. Supreme Court briefs tend to be fairly thorough, so I suppose this is where we'd expect the AI's best output.

I'd be curious if you can influence the output by changing the order you feed the briefs to it.
Equines roamed North America for millions of years before Cortez and were extinct ~10k years ago, most likely by human hunting, together with the mammoth and other species.
If you know (smooth) manifolds you know a basic example of sheaves (and its cohomology group).
Which AMD GPUs? Most consumer AMD GPUs don't even support ROCm.
Saying that something hasn't evolved in almost 20 years is a... strange flex ? I suppose there's a need for everything.
https://news.ycombinator.com/item?id=30611323
Solid, actionable advice. Thank you, and good luck!
It appears Anker Innovations Ltd was last listed[1] circa 2020 under VID 10522 (0x291A).

Tread with caution...the prospects of zombie grift tend to be real when brand recognition is established.

[1] https://usb.org/sites/default/files/vendor_ids051920_0.pdf
The graphics stack and firmware aren't open.
> I can't fathom how he thinks it's so intuitive. It's taken me months and years and lots of manual-reading, 3rd party manuals and numerous videos to understand what is basically just a daw.

I bought an MPC 1 about 3 weeks into covid lockdown (strange memories). But I found that it was awesome for laying down simple and pretty awesome sounding beats, compared to my Logic + Launchpad setup. I have Ableton too but have never gotten around to learning it. On MPC, I ramped up pretty quickly on simple beats -- especially once I figured out I had to stop treating it like a DAW.

The record-while-looping is fantastic, and the MPC sample kits are nearly "production ready" (I mean, from my hobbyist perspective, who also owns a zillion drum libraries which never sound as good as in the demo tracks).

Over a couple of months I laid down 100 projects, and some turned out not terrible. A lot of fun. So in that sense it was definitely intuitive.

On the other hand, I found it excruciating when I wanted to learn deeper features. The MPC Bible is not a fun read. And the whole business of copying sequences never really fit me, compared to in logic being able to quick copy different pieces of tracks around and tweak and go back and edit curves, etc. I think it must be that to really make the most out of MPC, your mindset has to be: lay something down, commit, and move on.

I'm inspired to pick it up again though. It's a lot of fun every time I do.
The other day someone pointed at the open platform of RM1353 and asked me: did you take the doors off this bus? “No, it was built that way.” She looked amazed, and pleased.

https://www.theredbus.co.uk/blog/platform-sharing
Diminishing returns on that though, and it comes at a cost to your physical and emotional health.
> I would argue that imperative programming is most natural - it's what everyone gravitates to in the beginning.

Why do you believe this is anything more than an historical accident?

For example, it wasn't what Alonzo Church gravitated to when he invented the lambda calculus in the 1930s, before any programming languages or indeed general-purpose computers existed.

> 99 Bottles of Beer implemented with a loop is intrinsically going to be easier to read than an implementation with tail recursion

First, you don't need to use explicit tail recursion. See e.g. https://99-bottles-of-beer.net/language-haskell-1070.html

Second, this sounds like unfamiliarity, not anything inherent. Why is it "intrinsically easier to read"? For a tail recursive version, the main tail recursive function would look like this in Haskell:

_99bottles 0 = printVerse 0
_99bottles n = do
printVerse n
_99bottles (n - 1)

In fact, with a bit of experience you might write this as:

_99bottles 0 = printVerse 0
_99bottles n = printVerse n >> _99bottles (n - 1)

It's only less easy to read if you're completely unfamiliar with the concepts of pattern matching and recursion. But the same is true of any programming language.

Given the above, what's a "for loop" and why would you need one? Sounds complicated and unnatural.
I would think in Europe even on the top of Jungfraujoch you will have better performance from a 5G link.
My main problem with these books (this one also) is that they don't take me to anything interesting I can do with categories quickly enough before I fall asleep.
It seems I have to wade through hundreds of trivial examples first.

Maybe I should write my own book about categories, that might keep me awake long enough.

Oh, maybe that is why there are so many books about category theory!
Happy to hear you're relying on our privacy-first services! No, this is not true, and we have addressed such allegations with our user community directly: https://www.reddit.com/r/ProtonMail/comments/14demhj/debunki....
A nomadic horse based society like the Magyars can def selectively breed horses
Longhorn, hands down. It’s dead simple to set up and works well with production workloads. We’ve had disks fail, nodes fail, etc. and it has handled everything brilliantly. It’s also near-native speeds, which is really nice.
> "Doing a handover" won't save a lot of companies. There's no level of "handover" that will save some of the shops I've been in, that just 100% rely on one team member to handle _everything._ Even if they took a _month_ to try to pass along along their accumulated knowledge, there's ingrained engineering practices and processes that all boil down to "Go ask Chris."

That might very well be true, but to a manager having a handover means the problem of loss of institutional knowledge is solved, and any subsequent problem due to lack of context or loss of institutional knowledge is avoidable and caused by poor handovers.
What connection are you downloading over? It sounds very annoying.
https://web.archive.org/web/20240617035104/https://duckrabbi...
Immutability is definitely first class in clojure, but you can work with mutable structures when you need to.
print("Nike")
The author has a good point but I am surprised they neglected to mention the most important aspect for any aspiring appliance maker:

The BSD license

Yes, thanks to the magic of the BSD license you can ship an appliance that is nothing more than a vanilla BSD and some hacky scripts and never have to worry about your customers demanding to see how much jank you have shoved into the box.
You can use GitHub actions to build to mac (and I assume iOS as well).
Adderall is great at making me produce, but horrible at true “focus.” It makes everything other than pure output feel like a waste of time. In the long run, I found this to be a pretty detrimental way to operate. Good for getting something across the finish line but since I’ve stopped taking it I’ve been able to go a lot deeper into stuff and plug away at long term projects rather than just checking off as many “tasks” as possible.
I remember a very popular windows xp key that always circulated on the net. it was funny as hell doing some contract work and a client giving me this code his former IT used to install windows.

Im like is this what I think it is.. anyways he ended up buying a legit license since you know lawyer but still funny that I saw it in a business environment.
Nerve: Open-source, reverse vaccinology environment
> makes tough problems easy and easy problems tough

And because of mutual recursion, that means that tough is easy (and easy tough). In other words, if we call the class of tough problems T and easy problems NT, we have T==NT, given FP.
Have a look at https://www.myretrotvs.com/
Not inline, but this was linked in a comment on HN a few days ago

https://github.com/below/HelloSilicon
Horses evolved in North America, and disappear from the fossil record along with other megafauna about 10,000 years ago.

Clovis people almost certainly interacted with horses, but likely as food.
I hope it stops there and we will have no cables standard with giving a tune when connected and disconnected, perhaps beeping at each 100M transferred or such. Too many gadgets and appliences want to be in the center of our attention and notifying us about all more or less significant actions of their life - like people on Facebook - by giving sound, flashing, sending messages to the phone and my wife's email and whatnot. I prefer my cables staying in the attention background by doing their job.
I feel the same pay-off - but arrived at that point via Clojure.
Immutable-first, aim for purity, ability to drop out of it when necessary.

As stringent as you need it to be (static vs. dynamic types vs. specs), as flexible as you want it to be.
https://learn-haskell.blog/

> In this book, we will implement a simple static blog generator in Haskell, converting documents written in our own custom markup language to HTML.

> We will:

Implement a tiny HTML printer library
Define and parse our own custom markup language
Read files and glue things together
Add command line arguments parsing
Write tests and documentation

> In each chapter of the book, we will focus on a particular task we wish to achieve, and throughout the chapter, learn just enough Haskell to complete the task.
Against the Tide. A Critical Review of How Physics and Astronomy Get Done (2008)
This is pretty impressive and all, and I'm glad this was actually archived and didn't just end up in a landfill, but at the risk of being that weird nerd... Why did she get one TV per recorder? I know very early models didn't have a tuner but it sounds she got them over time, so just hook them all up to one or two TVs, tune them to the appropriate channel and start recording!?
I believe their point was that if it is small enough to place a display it would be small enough to put a malicious chip inside.

Then again, this person discovered these cables this year and they've been out for awhile. And the OMG cable has been out for a few years now, which does exactly what they are afraid of. Which of course could be done by state actors for much longer.
I have only read about it but my takeaway was that it was like an opinionated sibling technology rather than a successor one.

I don't know what a successor would look like, I worry that it would have to wrangle with 40 years of software compilation techniques.
The whole genus is supposed to have evolved in North America. Horses or very closely related species went extinct in NA somewhere between 6000-10000 BC and definitely existed alongside humans. It would not be at all surprising if human hunting contributed to their extinction.
Folks, let's talk about XDeck XD
Dementia is heavily linked with both viral infections and with microbes, e.g. in your gut, mouth, urinary tract. Sure, diet can have a protective effect on two of those but you're naive if you think it'll actually reach 80% slowdown of progression for everyone eating them.
Lessons Learned from Tim Chen's Journey to Success
China's companies taught Asia to pay by QR codes, but made a mess along the way
"AI just makes it much easier." is glossing over a whole lot there. With the right model some shitty teen can generate an album of hundreds of images depicting your daughter in mere minutes, images that are functionally identical to reality. The pearl clutching is warranted.
I appreciate something like that. It can mean one of two things:

* it's abandoned.

* it's good for what it does, why change it?

I don't know, to be honest, in which of these most BSDs are. But I see very little reason for an Operating System's tools and utilities to have changed much since the early 2000's. Perhaps even since the 1990's. Sure, their implementations may have been significantly improved, and maybe they've got some new stuff (specially in things that do need to evolve, like crypto) but the overall user interface remains the same. I think we should start seeing change for the sake of change as a bug, not a feature.
I have never gotten past the first few pages. Had it ever been a mandatory class in my education, I would be working with something else today.
Both Tesla and SpaceX have an incredibly positive impact on the world so I find this attitude hilarious
Ask HN: Why aren't privacy policies standardised like licenses
Open Source solved the licensing problem by standardising around different flavours of licenses like Apache, GPL, Creative Commons etc.

You could still go and create your own License but its standard practice to just pick one that suits best for you (if you’re not trying to do something weird)

Now you don’t have to go through each different license to know what is/isnt allowed.

Why haven’t we come to something similar for privacy policies. Is there some obvious reason I’m missing?

PS: If there isn’t a good reason for it, I’m interested in creating a schelling point of sorts for this, please let me know if this sounds interesting
PSA: learn to cook. savings skyrocket. no apps required.
Theft is theft, don't matter if it's irl or online. As a developer who periodically witnesses users spending hours trying to circumvent 1 dollar payments I think that the time has come for the piracy culture to end. And I used to do piracy too
Author talks about stability of the userland.

OpenBSD is innovative, especially in all matters of security and stability. SROP, privilege separation and revocation, W^X, PIE, trapsleds, fork+exec separation.

Removing weaknesses is evolution.
There was research demonstrating COVID damages sperm output/quality and can lead to overall sexual dysfunction that some circles tried to make loud about in order to convince people to mask.

Now we're reaping the consequences.
This is great and matches my observations, too.

The people who have some kind of system in their work or life in general are usually the ones ahead of others. Systems allow efficiency and they just get so much more stuff done compared to others.