skysight-inc/HackerNews huggingface dataset:
Erwin Schrödinger's famous book, What Is Life? begins with a simple question: "Why are the atoms so small?"

It subsequently turns this question around: "Why must our bodies be so large compared with the atom?"

The point is that a brain (a 'thinking' system) must consist of an enormous number of atoms. Magnitude is only part of the answer; the other essential quality is that of organization.

There was a recent article on HN: "Is the emergence of life an expected phase transition in the evolving universe?" (https://news.ycombinator.com/item?id=39103419)

Stars are chemically relatively simple (for example: Introduction to Astrochemistry: Chemical Evolution from Interstellar Clouds to Star and Planet Formation by Satoshi Yamamoto).

It takes a lot of evolution to arrive at even a simple cell. Early Evolution: From the appearance of the first cell to the first modern organisms by Martino Rizzotti, begins with this sentence: "It is now accepted that the first cells derived from simpler 'objects', and that their descendants became more and more complicated and ordered until their evolutionary transformation into modern cells..."

Brain Evolution by Design: From Neural Origin to Cognitive Architecture edited by Shuichi Shigeno, Yasunori Murakami, and Tadashi Nomura discusses how brains have been shaped by simple evolutionary processes.

Computation in Living Cells: Gene Assembly in Ciliates by Andrzej Ehrenfeucht Tero Harju, Ion Petre David M. Prescott, and Grzegorz Rozenberg, goes further to discuss natural computing, which requires (as per What Is Life?) a certain level of biology.

The key point in these studies is that evolution seems to imply increasing complexity.

John W Campbell summarized it nicely in an editorial in Astounding Science Fiction, December 1955, Necessary Isn't Sufficient:

"A vast mass of gas in interstellar space is perfectly stable as it drifts idly around. Organize it a little, and a chain-reaction of increasing complexities is initiated; organization breeds organization, seemingly. The gas, once it is organized above a certain critical level, begins to fall together by mutual gravitation. If the organization is large enough and the necessary intensity of organization is achieved, the deuterium-deuterium reaction begins, and the gas mass is no longer stable. A star begins to glow.

"The gas-and-dust mass has, meanwhile, been undergoing sub-organization that produces planets circling the star. What happens on the planets, we certainly are not yet competent to define - but we know with absolute certainty that, in some instances, a higher-order organizational complexity called Life arises. And that this organization breeds further and higher-order organization."

Stars lack this essential complexity. So, in my opinion, it's silly to suggest that they may be 'conscious'.
> Honestly thank god for J pop and K pop at least I can't understand a word of it.

Well that's not the case. They use a lot of English. It's Easter. Have some chocolate:

https://www.youtube.com/watch?v=WIKqgE4BwAY
We should throw a virgin into a volcano just to make sure though.
I disagree that converting from an equation to a solution algorithm is a straightforward process. It is very much where mathematics helps, for example just to ensure convergence of the method.

Also, the way you model reality (choose the equation) is often done with the limitations of solvability in mind.

I also disagree that maths can help you pick the right equations, just like there is no formal method that can verify whether a program specification is appropriate to the problem.

Equation (or a model) is just an infinite family of SAT problems, typically parametrized on our understanding what a "number" is. If we had a really good SAT solver, then getting a solution would indeed be a really straightforward process (just pick the number representation) of solving the instance. The same is also true for checking "legitimacy" (which I interpret as consistency) of the model - SAT solver would tell you that the instance is unsatisfiable and why. But you can never formally determine that the chosen SAT instance is appropriate model for the task at hand.
The reason he says he voted for Trump is taxes. But that seems like a pretty flimsy reason. Have dems in the past couple decades ever reverted any republican-instated tax cuts for the wealthy/corporations, or even made any moves for tax bumps? In my experience dems are just republicans, except they wave a rainbow flag every now and then.
https://archive.ph/F1Br0
Whoa, very biased article (especially for LWN). Only cites media coverage; no links supporting that Amazon, MSFT, Google, etc. were in fact EEE’ing (or at best, behaving unethically) with each of these projects.

It even suggests cloud providers did contribute, and uses bad data (git commits “by employer” w/o dataset) that basically contradicts their argument.

I may be biased, as I saw Amazon doing exactly what this article claims “maybe they weren’t”. But statements like this seem intentionally misleading, and easily disproven:

“Distributing a source-available version of MongoDB could be seen as a loss-leader strategy to reach developers that the company wagered did not care about open-source.”

MongoDB is still “source-available”, and on the same GitHub repo I’ve used since 2010. The SSPL only impacts cloud-providers, and has exceptions for cloud providers who release their source code.

The OSI doesn’t get to define open-source. Neither do I, but at least I was part of the community for ~20 years…
This is caused by a misunderstanding of legalese. Unfortunately there's no easy cure for this. But I do suggest a dose of ChatGPT to provide perspective (tho, in a nod to pedants and pearl-clutchers, I must concede that you should not sell everything you own, abandon your worldly cares and trust your entire legal stack to ChatGPT, just in case you were instigated to do so by my prior sentence).

The quoted sentence is literally just licensing Vultr to actually serve your content. It may seem baroque but this is the reality of engineering back-translated into legalese to comply with centuries of common law precedent. So, excuse our byzantine APIs but that's how we've always done things around here, so sayeth the lawyerfolken.

My experience with Vultr has been excellent. Very affordable pricing for on demand PAYG VMs and bandwidth. Good service, and as responsive service as you can expect from a small customer team.

Abundant reliability (not to conflagrate any Linodials, but the reliability of their systems appears better than that now-spawn-of Akamai).
Of course it's not the case, the autor wanted to sound as alarmist as possible while obfuscating the actual point of SSPL
My biggest problem is the sheer dishonesty of it. If it said just "not allowed to use to host as a service" then it would be ok, but hiding behind that impossible to comply clause to muddy the discussion and masquerading as pseudo-opensource is bad.
Simple can be good. Amyl and the Sniffers are good simple. Simple that's hard to achieve:

- Guided by Angels: https://www.youtube.com/watch?v=Z--D1flPLnk

- Hertz: https://www.youtube.com/watch?v=zb5Ja6V4OeY
Not sure what you meant. Is it wrong for Chinese companies or AWS to develop Redis or is it great, or something in-between?

I wonder how many bellyachers here contributed to Redis vs. just leeched. (Not a rhetorical question.) How many are just in the peanut gallery (just like I).
Stock compensation cash flow was positive meaning they added cash to their account.
I’m going through something like this, though in a _much_ lower stakes industry. On one side, management always seems to say the right thing to counteract my fears of mediocrity. And then months later a major problem needs fixed in production. I guess I’ll keep going like this until a problem is big enough that it can’t be fixed.

But they treat me well. And my last job was in a different industry that’s known for treating employees badly. So I stay. Again my job is very low stakes but it still eats me up, I can’t imagine how these engineers feel.
To anyone who didn't learn when they were 5 or 6 to spot someone like Musk a mile away, and then make sure that mile never got any shorter... well, I don't know what to say to you.
It might literally be impossible to comply with SSPL - if you use a closed source piece of software to perform some other backoffice/billing/ERM software, you literally don't have the capability to release to comply.

SSPL also deals with selling the software under license as a service, but it does not define _exactly_ what is included as pertaining to being SaaS. It only gives you some examples. This means the actual test can only be determined in a civil suit.
Bad documentation as a root cause is still a bad experience running on the platform, so I'm not sure how that would make the posts wrong.
SSPL - https://en.wikipedia.org/wiki/Server_Side_Public_License
Mojo is AOT not JIT or is there are some sort JIT in mojo? (I'm not up to date with new development there)
I feel like JIT is just kinda bad for Deep learning in most cases you want to "compile and optimise" your graph before run and load it fast for running/training.
How did they get it so cheap? Even lower than OVH cloud.
See also: various minimal sub-genres, like minimal house, where simple is one of the goals.
> It was not malicious in intent

We do not know if it was malicious in intent or not.

It is entirely possible that they felt that they could allow all of their private servers to be crawled by whoever was willing to pay - perhaps with terms to make it palatable (only be used for LLM weights, no human will see it, content may not be regurgitated wholesale, etc).

It could be that this change in the ToS was made to cover their backs. In fact - they may actually have already crawled all of the servers.

They claim this was not their intent. But when it comes to abusing PII that is hovered up by providers, I have been burned too often to assume a mistake.

Caveat Emptor
Ship owner in Baltimore crash likely to invoke 1851 law to cap damages
Ride-on Unicorn robot: A quadruped companion for kids
To feed 8 Billion, we will need 'industry'.

But we can make it more friendly. Technology has advanced, it can be the problem and the solution also.

Like vertical farming without soil.

Or some fungi or insect protein factories, that are powered by solar.
There are still a lot of Germans around who remember not having enough to eat as children in the late 40s. Yes, their parents had done, or at least allowed, terrible things, but they were children. Meat was especially in short supply, and my 85 year old aunt-in-law is pretty sure they had rat a few times.

So my elderly German in-laws would be horrified with how casually my Texan ones will buy and grill large, expensive slabs of beef, and end up throwing out a good deal of it because it was way more than the bunch could eat. I am, anyway, but have learned to bite my tongue.
Twitter was so Many Things
A many splendoured thing...
It’s GPL and they haven’t made contributors sign a CLA. So if anybody wants to relicense the Linux kernel, they need to get permission from every single copyright holder retroactively. This is infeasible.

CLAs exists to get this permission up front before any code makes it into the project, which is what enables projects like Redis to relicense.

BSD style licenses being more permissive than the GPL also contribute to this; you can incorporate BSD-licensed code into a new non-free version but you can’t do that with GPL-licensed code.
It’s hard to argue that a use permitted by the original license is „predatory”.
The alternative is to write it yourself or commission it, so let's be honest, it is about the cost. When you don't know what something is about, it's about money
It can run on CPU without much issue and takes up a few gigs of RAM and will produce about in realtime. If you GPU accelerate you only need about 8GB of video memory and it will be at least 5X faster.

Out of the box it's not as good as Eleven Labs based on their demos, but those are likely cherry picked. There are some tunable parameters for the Bark model and most consider the output high enough quality to pass into something else that can do denoising.
Buffett's criticism is that EBITDA is just accounting and he cares about cash flow, specifically also after paying for CAPEX (which is Investing Cash Flow so comes after Operating Cash Flow)

EBITDA is used in the industry because it is a proxy for operating cash flow. Sometimes you don't have all the available data needed to get to OCF, or you're looking at company guidance (for future EBITDA values) or analyst estimates. It's easier to keep the conversation at the EBITDA level because it requires fewer assumptions. Generally the revenue line is ~easy to estimate because you can conceptualize how to go from the current number of customers to some future number of customers, how many dollars per customers and so on and so forth.

Then as you work your way to EBIT (Operating Income) you still have to assume some gross margin, R&D expense, etc. These are pretty tangible. It should be pretty easy to get to estimated EBIT from what the company discloses in guidance or what analysts forecast. Since D&A is pretty linear over time, people generally assume it just remains constant as a % of revenue, so now you have EBITDA which is very much like cash flow

EBITDA is similar to cash flow because it adds back to EBIT the non-cash expense that is D&A. The reason it's good to look at it before interest and taxes is because you're also thinking about how much cash the whole enterprise generates, not how much cash goes to equity holders at the end (which is often called "Free" Cash Flow because it's not tied up with commitments to others)

Coming back to Buffett, in the industries he tends to pick stocks from, CAPEX is a major thing. Companies need to build factories, buy equipment, etc. So if you just look at future EBITDA without accounting for future CAPEX needs, you're fooling yourself.

Truth be told, in those industries everyone also looks at "EBITDA minus Capex". Maybe they do so now that he's bemoaned everyone for not doing it in the first place, but IMHO his criticism largely doesn't apply among valuation professionals. Maybe it does for stock traders, but not for valuation purposes like in an M&A context
AGPL isn't a fix for the Big 3 co-opting projects.

Amazon doesn't need to modify your software to provide a differentiated offering: they'll build a bunch of platform-specific, closed source, "secret sauce" to scale it on their infrastructure only and sell that.

(And for bonus points: their secret sauce may or may not affect interop, creating an awkward rift in the capabilities between their managed offering of your software.)
and then there's AWS.
Hanging Punctuation
The UX, latency and API design consistency were absolutely terrible when I was forced to use Azure
Two key differences: Linux is (mostly) licensed under the GPL version 2.0 only, and has diverse copyright ownership. No single person or entity can change the license. That means no one can pull the rug from under the community like the Redis change (and so many other corporate-controlled, copyright-assigned, non-copyleft projects).

(Linux also has a huge pool of users and contributors, which discourages hostile forking, even if the licensing wasn't a factor.)
Everyone treated it as optional. Even the teachers and school staff said zoom school is fine, it won’t be any worse or any different than in person school. Now we’re all shocked, shocked!
The great rewiring: is social media behind epidemic of teenage mental illness?
Why not just use a stable currency to price your "game token"? Once you are out of the base layer, there is no need to tie any transaction costs to the base layer token.

So, in your example, the game company could easily just say "pay us X amount of dollars however you want, and you will receive the exact same amount on the layer-2 to play".
> In a working-class pocket of Michigan, school administrators have tried almost everything, including pajama day, to boost student attendance.

Wow, pajama day didn't bring back students? So strange.

I wonder if they tried less homework, shorter school-days and/or later start of the day? Basically the three reasons I myself was chronically absent from school for as long as I can remember.
The reason for this I heard by Microsoft was to stop having to explain to non technical people that Azure AD doesn't have feature parity with a real Active Directory.
You can extend that reasoning to anything, but time and energy are limited
Sam Bankman-Fried is still gambling
I agree. Paying for things is bad. I, instead, advocate theft.../S

* note to enforcers. /S is a common internet idiom indicating sarcasm.

** note to enforcers. Sarcasm is a form of irony whereby one mocks the thing one appears to say by meaning the opposite of the saying
> You start to realise how people cope with those huge portions sizes in the US. Many people don't eat everything in one sitting.

Yep. It conflicts with the "clean your plate!" mentality many kids were brought up with, but realizing that a meal you buy is often really enough for two meals and that it's OK to take some back with you can help both your weight and your wallet.
This seems to gloss over the actual rewrite. How did you ensure queries were equivalent? How did you configure the product to be able to read from and write to both databases? Did migrating reveal any bugs? Were you largely able to port your queries 1:1?
Where the Hot is, and the Cold is, is shifting.

US Midwest is being hit by a 'weaker' Jetstream, that allows more cold arctic air in the winters. So winters are getting colder even while the summer is hotter.

It is called Climate "Change". It is a giant complex system, the effects are dynamic and to the random person walking outside can appear random, floods in the desert, moisture in different areas. Some areas getting dry, some wet, some hotter, some colder.
Andrea shows how to use FFmpeg on Linux [video]
Economic targets are valid in war, and I'd be immensely worried if large ports were destroyed.
> The main reason to go to Azure is because your bosses' boss was convinced to buy it at a golf course.

This is why SharePoint got installed in so many gov/large enterprise in the past, and I have to assume why Azure has any kind of market share today. If it wasn’t a golf course, it was after being wined and dined in Vegas, at least it was when I was last working in government..
In some cases I wouldn't be surprised, in others sure maybe the founders did believe in open source at some point (there are definitely individuals who claim to have never changed their opinion, but their writings would suggest otherwise), but either they've left (voluntarily or not) or simply they gave away control to others who are only in it to make money.

As always, Chesterton's fence applies: all of the 10 points of the OSD were widely debated at the time (as was its predecessor, the Debian Free Software Guidelines), so it's worth explaining why the issues raised then no longer apply.
> Better or worse with SSPL?

Worse, far worse. SSPL is viral to everything that is used to offer your service.

"The SSPL is based on the GNU Affero General Public License (AGPL), with a modified Section 13 that requires that those making SSPL-licensed software available to third-parties (modified or not) as part of a "service" must release the source code for the entirety of the service, including without limitation all "management software, user interfaces, application program interfaces, automation software, monitoring software, backup software, storage software and hosting software, all such that a user could run an instance of the service using the Service Source Code you make available", under the SSPL"
The quality of the output is really fantastic compared with other open source (next best XTTSv2).

The voice cloning doesn't seem as high quality as other products I've used / seen demos for. Most of the examples match pitch well, but lose the "recognizable" aspect. The Elon one just doesn't sound like Elon, for example- interestingly the Australian accent sounds more like him.
Typesetting the LaTeX Way (2013)
With a bit of coaxing I managed to get this running on my M2 mac with Python 3.11.

Updated setup.py (mostly just bumping versions), and demo output: https://gist.github.com/duggan/63b7de9b5f6e8e74fe4b05af64dbe...
All depends on how much space you got (and large space needs cleaning). I have a food dehydrator. It is a nice tool but too large so it is in the attic, gathering dust. I also have two airfryers. These are used daily. However the toaster is rarely used. Only thing is, would you put such away when still hot? Needs to cool down first.
I think there are lots of applications for good Text-To-Speech.

Cloning a voice is a way to get lots of new voices to use as TTS.

I'm personally building a website with stories designed for language learners. I'd like to have a variety of realistic voices in many languages.
The SSPL doesn't use the word "directly". What it actually says is

> If you make the functionality of the Program or a modified version available to third parties as a service ...

This is sufficiently vague that proxying a verbatim response from SSPL software is in a grey area.
emailed dang asking for this
1. It is GPL, so you can't change the license without permission from all contributors
2. It has lots of contributors. And now that I think about it I guess some of those are not even alive anymore to grant any sort of permission
The law can be written in a way that leaves it up for interpretation. It's not a simple IFTTT statement, what's why judges exist and why they make rulings that get cited in other cases. It's a feature of our system that I don't need to answer all your needlessly pedantic questions and just leave it up to interpretation.

Because otherwise bureaucrates like you would cause everything to stall while looking into every contingency.

I also don't think you have to "pass a law" we already have laws on the book that can do this and, this might shock you, we have already used them to do almost exactly what you are saying here.

https://en.m.wikipedia.org/wiki/United_States_v._Paramount_P....
I wouldn't call Redis a failure.

Source available and commercial is a great compromise.

OSS is not a business model and we live in reality.

The less free money goes around, the closer to reality business will be.
This would be strange behaviour in countries where mobile data is unmetered and people primarily use their phone as their wifi.
'Green bubble shaming' at play in DOJ suit against Apple
In which court case has this claim been tested? Even the AGPL is vague and untested. It’s just the same FUD that AGPL has.
Hate Haiku too, so ... formulaic.

Of course I'm being snarky.

I've learned to love constraints in part perhaps because of a part of my brain wants something familiar. A familiar voice seems to be why I seem to enjoy an otherwise second-tier song if it is by an artist I like. Familiarity seems to be why I pretty exclusively listen to songs with Western tonality.

But creativity too seems to come from constraints. And we appreciate the artists/poets that do something original within those boundaries. To be sure of course, anyone can string together 5-7-5 syllables (and perhaps too 3 chords of refrain/chorus/refrain/chorus/bridge/chorus) but we know the good stuff when we hear it.
Does this mean we would stop charging people with victimless crimes? If so, I'm all for it.
Some Git Poll Results
If Trump wins elections DJT stock can be used by foreigners to transfer money to Trump. Saudis can buy stock to keep it's value up and Trump can sell it.
The final sentence of the article answers the headline with,

> “We haven’t seen an answer"

Alright.
I imagine it looks something like "Censor all writing that contradicts my worldview"
love the super shotgun code.
PC/104[0] was enormously popular for embedded systems, it consisted a stack of cards sharing an ISA bus (later PCI and PCIe).

[0] https://en.wikipedia.org/wiki/PC/104