skysight-inc/HackerNews huggingface dataset:
I like how it goes from 13.5 GB to 1.76 GB and gets comparable results. Definitely there is some underlying process of why this works so well that we are missing. Are the bits selecting the different subspaces? Can we improve this process by using better normalization layers / gating units?
Simple, clean, does exactly what it says. If only more software was like this :)
The difference is that the US would not do that in response to a speculative dump. With ETH, the system stops working and everything breaks without a HF. So it’s valuable because it’s valuable.

If the company pivoted to a different business, it would likely violate securities laws. Corporate governance is in place to stop that from happening.

US taking away all property rights is significantly less likely than an ETH hard fork. Hard forks have happened.

Ecosystem is getting smaller because everyone knows there are currently no useful DeFi projects. ETH is failing to pump again so this is the peak of network security.

Bitcoin is also a memecoin for the same reason, but at least it’s a credibly neutral memecoin unlike ETH.
My friends in investment banking and software engineering are going through the same thing so…
I still tend to favor email for a lot of things but understand that's increasingly a minority opinion especially for things that aren't routine updates, promotions, announcements, etc.
Elixir beating python in the machine learning wars, or at least becoming a competitive option, is something I dream of.

Is anybody using Elixir for ML who could comment on the state of it? How usable is it now?

Last I heard, for new projects/models/etc it was great, but so much existing stuff (that you want to reuse or expand on) is dependent on python, making it hard unless you are starting from scratch.
In a way, the Soviet economic system only worked as well as it did because of corruption.
It’s actually not only not been extended, the actual consent decree has been sunset .

Back when it was decided, the only method to get your content in front of an audience was to ship physical media to a physical theater.

Now I can create a video from the device I have in my pocket that has much higher quality than was available in the 30s, upload it either to YouTube or an AWS S3 bucket and upload a yaml file that creates a CloudFront distribution (AWS’s CDN) and distribute it worldwide and create a web page that anyone with a $70 (unsubsidized) Android can watch.

Not only that Comcast - a cable company - owns both the modern distribution pipes that have far more reach than the studios ever had and a studio (Universal) and a broadcast TV and an Internet streaming service.

But there is no “monopoly” on either video creation or distribution or streaming.

I can’t believe someone is actually advocating that the government block foreign content over the internet because you don’t agree with producers being distributors. Are we going to create the “Great Wall of America”?

And who gets to decide what content that should be blocked?

So let’s take Fox News or any other news organization or even the Discovery network. They all create documentary content. Should they not be allowed to stream their own content? Wouldn’t it be against the freedom of speech and/or press to say that you can’t stream your own content via your own website?
AGPL wouldn't help in this situation either, as it focuses on the sharing of modifications of the original.

Imagine your child makes lemonade to sell and a friend drops by, they say it's OK for the friend to have some, and then said friend takes a good amount of that lemonade, sets up a stand beside your child's, and sells that lemonade which they just poured into their own container for less, or with cookies made by yet another. Is that OK? How would you feel?

This is what large cloud providers are doing.
Just on your last point. The other thing I'm seeing and hearing is that incumbents are not willing to let this next "wave of digital transformation" be won by startups. I get a real sense that F500 corps are considerably more "tech savvy" than the last generation of modernization we went through. I suspect we're going to see fairly decent software offerings from large corps in all verticals. In the past, we often saw startups out maneuvering large enterprises and winning handily. In this next wave, I see we are going to have more enterprise on enterprise battling. I only say this because I'm starting to strongly believe that founders need to be keen to this in a way we haven't maybe seen in the past software adoption curves, I don't have a good answer or anything, just that "enterprise are shit" maybe isn't a square you should have on your bingo card anymore? I could be wrong here, but just wanted to add what I'm seeing right now as food for thought. :)
Mongo has had multi-document transactions since 2018 (version 4.0), and joins (the $lookup aggregation pipeline stage) since 2015 (version 3.2) [1].

[1] https://www.mongodb.com/evolved#mdbfourzero
From what I've read: American tourists in Latin America fucking suck, but the ones that go to Europe or Japan are largely fine.

Anyway, it's easy to find threads about tourists on r/europe or r/askeurope: https://www.reddit.com/r/AskEurope/comments/6zq6lu/which_for...
One thing to note is that the person that added the commits only started contributing around late 2022 and appears to have a Chinese name. Might be required by law to plant the backdoor.

That would be quite scary considering they have contributed to a wide variety of projects including C++ https://learn.microsoft.com/en-us/cpp/overview/whats-new-cpp...
Org+Pandoc Workflow
FWIW, I did a quick check on a Devuan system.
The sshd in Devuan does link to a libsystemd stub - this is to cut down on their maintenance of upstream packages.
However that stub does not link to lzma.
They do for a couple, right? (LLaMA, maybe GPT-2)

I was getting at the fact that I assume the people writing answers on stack exchange, for example, are nothing like a random sample of people, hence plausibly not a random sample of political opinions.
Stop tricking yourself. Your mind is smarter than you.

Or: your conscious + subconscious mind is smarter than your conscious mind.
ifunc is a GNU method of interposing function calls with platform-optimized versions of the function. It is used to detect CPU features at runtime and insert, for example, AVX2-optimized versions of memcmp. It is seen in crypto a lot, because CPUs have many crypto-specific instructions.

However, I don't like it much and I think software should be compiled for the target machine in the first place. My 1 hardened system that is reachable from the public network is based on musl, built mostly with llvm, and with ifunc disabled.
> The systemd notification protocol could have been as simple as just writing a newline to a pipe

It basically is. libsystemd links to liblzma for other features not related to notifications.

(The protocol is that systemd passes the path to a unix socket in the `NOTIFY_SOCKET` env variable, and the daemon writes "READY=1" into it.)
> The only way to achieve that is a two-state solution, where each populace has its own state.

Or the Tel Aviv regime could just follow the steps of South Africa and end apartheid. The regime can't claim in good faith support for a two-state solution while pumping the palestinian territories in the west bank full of settlers, over 700 thousand of them, so far. There's even a video of Netanyahu boasting on how he sabotaged the Oslo Accords and the prospects for a two-state solution. See https://www.youtube.com/watch?v=mvqCWvi-nFo
> The new law sets a new standard: People should be able to use end-to-end encryption "wherever it is technically possible". In the text it is explained why this clear requirement to cloud providers is necessary: "Although end-to-end encryption is now the industry standard, individual messenger services do not use end-to-end encryption or only use it for certain functions, without this being justified by technical restrictions."

It's only mandatory where it's technically possible, Gmail, Instagram, Telegram and others are the ones likely to be affected.
Ah, I think I clicked the actual post link and saw nothing, and backed out. Thanks for the direct link to the video.

And yeah I totally get not aiming for optimal performance. I think it would be interesting to see how a language model could perform with a format that is less visually catered though. Like, textually there is little association between columns, it's just a string of characters, and some of them happen to be newlime characters. A more densely packed encoding would play more into the logic and reasoning encoded into the model, rather than just trying to parse out ASCII art.
Or we could end up getting another Google integration, with iOS being too rigid and locked-down to feasibly support third-party private AI alternatives. Fate has a cruel sense of humor, sometimes.
> Which European country has a city with nearly 10M people on 300km2?

I have no idea, can you share specifically why you think autoluw only works for certain levels of population per square kilometer? To the point that the lessons couldn't be adapted and would have to be "very different?"
Yes, because China is the model to follow. Why didn't you bring up the Rwandan Genocide? Much faster results!
Common Lisp Logos
Try SambaNova chat: 1T param LLM, 500 tokens/SEC
We're showing off our 1.05T param Composition of Experts LLM! It's 150 experts running on 1 node consisting of 8 SN40L RDU chips.

Each of our nodes has a huge amount of DDR attached, in addition to copious amounts of on-chip HBM and SRAM. This allows the system to switch between a variety of different models of different sizes and architectures at lightning speed. A highlight is one based on Llama2 7b, similar to the Groq demo, but executing with bf16/fp32 instead of int8. (And using only 8 chips instead of 568!)
Out of One, Many: Using Language Models to Simulate Human Samples (2022)
I bought their first product .. funny that I had the same impression with the original product as you have with the latest version.

I bought it because .. why not. I discovered that the problem it was solving didn't exist and disposed of it. :)
Just because macs don't use systemd, doesn't mean the backdoor won't work. The oss-sec post talks about liblzma having backdoors in crc32_resolve() and crc64_resolve() and that it has not been fully reversed. This could perhaps affect more than just sshd on x86-64 linux?
It may not have really mattered much for NixOS:

> b) argv[0] needs to be /usr/sbin/sshd

For once, the lack of FHS interoperability is a benefit, if only on accident.
It looks like an earlier commit with a binary blob "test data" contained the bulk of the backdoor, then the configure script enabled it, and then later commits patched up valgrind errors caused by the backdoor. See the commit links in the "Compromised Repository" section.

Also, seems like the same user who made these changes are still submitting changes to various repositories as of a few days ago. Maybe these projects need to temporarily stop accepting commits until further review is done?
What if I enjoy gambling with cosmic ray bitflips?
I'm from Vienna. The reason I'm privileged is the legacy of Red Vienna and the Austromarxists, who built the social housing and the modern welfare state that makes Vienna the most livable city in the world.

Your communists sucked, for sure. But that was a personnel issue more than it was an ideological one.
https://sourceware.org/glibc/wiki/GNU_IFUNC
It's not a direct connection.

You do want efficient horsepower to drive a generator. More low end torque means the HP comes at lower RPM, which should mean less fuel consumption.

Sibling says the achilles heel of the Wankel rotary is low end torque, but you don't take the direct output from the engine, it goes through gear reduction for final drive output. The real achilles heel is the awful emissions. It's more or less a 2 cycle engine from that POV.

When driven at variable speeds it's hard to wrangle.

The reason it's well suited for electrical generation is its mechanical simplicity, compactness, low weight, low NVH, and not least important, "rotary" brand value. I suppose that when run at constant RPM and constant or smoothly changing load, the emissions is easier to deal with.
On traditional measures it’s fine but everything is pointing to an overinflating bubble waiting to pop. Public companies and startups alike are laying off up the wazoo.

I’m confident we’ll figure it out. Just more so expressing my frustration haha. I’m from Canada so I’m more so basing my experience off the current state of the Canadian economy.
> cannot resist feeling the entire point of that industry is to make companies pay for a security certificate so you can shift the blame onto someone else when things go wrong.

That's the entire point. You did everything you could by getting someone else look at it and saying it's fine.
public discussion of increased prevalence of cancers is definitely en vogue at the moment.
As someone who always prefers native SQL over ORM queries, I'll add a couple of counterpoints.

Most IDEs provide intellisense/validation of ORM entities, vs treating SQL like a raw string.

ORM entities also make refactoring and impact analysis slightly easier.

Despite those benefits, I generally find ORMs a pain for anything besides the most basic queries.
Disney, Florida settle bitter legal feud over Disney World district
i just have rotten luck with BT in general. mine seemingly connects to whatever other phone is in my house except mine. go into menu on phone to connect, takes a minute to time out. go into menu on car to connect, doesn't connect (or vice versa/phone/car) connect from phone again, finally works. i was listening to music last. ok now open podcast app. oh house wifi is too far but its still connected. disable wifi manually to get cell signal.

then i'm listening to something on my BT headphones in my house. car pulls up - now the car has stolen my signal and the occupants get whatever inane shit i'm listening to.

i only wish it was as easy as 1 button press like FM radio.
Answer.ai and Theorem Proving
I've tripped across the new starup answer.ai. It seems their goal is to make it easier
to construct AI-based applications.

I'm looking at using AI to construct mathematical proofs.

CMU has the LEAN project. It has created a database of proofs (mathlib) and an interactive
proof assistant that manages the state of a proof, presenting progress in precise steps.

The problems are that there doesn't seem to be a way to handle the mathematical
notation (the foundation models don't really support that kind of tokenization)
and the foundation models don't know about types. Types are vital to the whole
mechanization of proofs because they strongly limit the theorems that can be applied
at each step. This keeps the proof space from blowing up.

How do I teach a foundation model to handle proof notation?
Right, but in this case it's not even compiled it, which is arguably better than compiled in but assumed dormant :) (at least until someone actually does a full analysis of the payload).
I've noticed that health, fitness, and nutrition related articles on HN tend to get filled with low-quality quackery, like "this diet worked for me" and "this cleanse removes toxins" and "red meat is the obvious culprit" and so on. Not a lot of us have medical degrees, so these comment sections turn into opinion fights.
> the entire point of that industry is to make companies pay for a security certificate so you can shift the blame onto someone else when things go wrong.

That is actually a major point of a lot of corporate security measures (shifting risk)
I don't know much about the particular situation, but isn't it likely that is just caused from human settlements expanding?
Recap of Ollama's Local and Open Source AI Developer Meetup at KubeCon Europe
Surely the "generator -> charger -> battery -> inverter -> motor" chain is less efficient than a driveshaft. Perhaps the only benefit is the engine can run at an optimal speed, but an appropriate gear ratio should handle that.
True, and Americans tend to stick to tourist traps, you don't find at many of them at random Slovenian lakes.

A young group of brits abroad can be found anywhere and everywhere
Exactly, shitty American tourists are staying within America or going to Mexico/nearby Latam countries.
I first became aware of a type of "slow thinking" through the book "Hare Brain, Tortoise Mind: How Intelligence Increases When You Think Less", by Guy Claxton, published 1999. Does anyone have a comparison of the types of slow thinking?
Military has entered the chat
"Child soldiers on robotic dogs, you say? Tell me more..."
I don't know what's objectively "correct", but my favorite CS papers are the ones that try and be more entertaining to read.

Stuff like "Cheney on the MTA", or the "Lambda the Ultimate" papers are fun to read, while still dumping a lot of interesting information. I also think Lamports papers tend to be more fun simply because they use more tangible analogies for things rather than sticking with formalized mathematics.

I kind of view the overly dry, super-formal math/CS papers to be almost a form of gatekeeping. There's a lot of really useful information in a lot of papers, but people don't read them because they rely on a lot of formalisms and notation that are pretty dry to learn about. Sure, I know what a "comonad" and "endofunctor" is, and using terms like that can be useful, but I also think that it can sometimes be better to take a simpler, more grounded approach to things, or at least work with metaphors.
I disagree on three of your points.

It is creating a new and fully customisable voice actor that perfectly matches a creative vision.

To the extent that a skilled voice actor can already blend existing voices together to get, say, French Harrison Ford, for it to be evil for a machine to do it would require it to be evil for a human to do it.

Small indie creators have a budget of approximately nothing, this kind of thing would allow them to voice all NPCs in some game rather than just the main quest NPCs. (And that's true even in the absence of LLMs to generate the flavour text for the NPCs so they're not just repeating "…but then I took an arrow to the knee" as generic greeting #7 like AAA games from 2011).

Big studios may also use this for NPCs to the economic detriment of current voice actors, but I suspect this will be a tech which leads to "induced demand"[0] — though note that this can also turn out very badly and isn't always a good thing either: https://en.wikipedia.org/wiki/Cotton_gin

[0] https://en.wikipedia.org/wiki/Induced_demand
Interesting point, but I wonder if there's a little confirmation bias and/or circular logic there.

In other words that you don't see a use case for JSON columns because you don't think it's good DB design.

I know I have used them after decades of RDBMS work, and it feels like I'm "cheating" a bit. But they really do make sense for some use cases that can be harder to achieve with traditionally normalized RDBMS alone. For instance, for configuration options or scenarios where different objects may have a few different attributes, but are largely the same.

If you've ever used an entity-attribute-value data model or otherwise ended up with table proliferation or a bunch of nullable columns to accommodate the latter use case, you might appreciate the simplification JSON columns offer.
The daily rate of notable deaths in the CS/hacker space will exceed the front page space of hacker news. Aging sucks.
Also thanks to Debian for modifying openssh.
RHEL no, Fedora 41 and Rawhide yes.

https://www.redhat.com/en/blog/urgent-security-alert-fedora-...

https://lists.debian.org/debian-security-announce/2024/msg00...
This made me remember this story where a women created a firm where she hired only women. It was a disaster (https://www.dailymail.co.uk/femail/article-1168182/Catfights...).

Point being there is nothing magical about women that would solve all our problems. I would much rather see a balanced workforce than trying for creating this pure homogeneous workforce.
Is that protocol documented/stable? For whatever reason, daemons are choosing to link to libsystemd instead of implementing it themselves.

It doesn't matter that libsystemd links to liblzma for other reasons. It's still in the address space of any daemon that is using libsystemd for the notification protocol.
Cons (imo) definitely outweigh the pros though.
You have a narrow view of what a beautiful experience is. It does not require professional-level voice acting.

It is not unfair that, in order to have voice acting, you must have someone perform voice acting. You don't have the natural right to professional-level voice acting for free, nor do you need it to create beautiful things.

The tech is simply something that may be possible, and it has tradeoffs, and claiming that it's an accessibility problem does not grant you permission to ignore the tradeoffs.
Here's something about it.

https://www.psypost.org/new-study-suggests-you-can-bullshit-...

I'm sure you can find more.
I'm not sure, I'd rather open the case the rare times I need to add an expansion card than have the whole thing take more space.
I agree I worked for an enterprise SaaS and we were losing to legacy providers day in and day out. Churn was at an all time high. That more so reflects how we had no PMF though.

They are more tech savvy though but with any company that is large they aren’t as nimble and are always susceptible to losing market share. Just depends on the vertical I guess
You're right, and that might be a good choice if you wanted to deploy and operate an additional PostgreSQL server locally.

## Using DuckDB:

app -> duckdb -> network -> remote postgres (data)
|
local postgres (materialization)

## Using Spice:

app -> localhost gRPC/HTTP -> [Spice <duckdb|sqlite>] -> network -> [postgres|S3|snowflake|etc]

In addition, Spice manages the materialization for you. In the DuckDB-only case, you'd have to do a COPY FROM [remote postgres] to [local postgres] manually every time, and manage the data lifecycle yourself. That gets even more complicated if you want to do append or incremental updates of data to your local materialization.
I mean, OP's nonsense statement notwithstanding, vitamin C in combination with benzoates (another common preservative) produces benzene. The combination is frequently found in food and cosmetics. Vitamin C is a really reactive substance and tends to cut both ways health-wise. There are several known pathways for it becoming detrimental to health.
This reminds of “Free Fire” by C.J. Box.
> When users add memories to the app, they'll usually add content such as images. We don't want to (and we don't) hold these, either—at least not in a way we can see them. We primarily store these images on your device, but because the size of this storage is limited, we do have a system for storing assets such as images that have been encrypted on-device, and the actual photo contents or the decryption keys are never sent to us. We store data for users, here, but to us it looks like random noise (the binary ciphertext), never like a photo of whatever it is you're storing a photo of.

Just for clarification, you are storing on your servers encrypted versions of all of the pictures the user enters? Just not storing keys?

If so - storing encrypted user data is not necessarily the end of the world, but why advertise it as though you aren't storing user data at all? You are doing what many other companies do, which is store encrypted user data. Backblaze does the same thing. Or maybe I am misunderstanding.