skysight-inc/HackerNews huggingface dataset:
Ask HN: Lean for Machine Learning?
JAX kinda excels at tracing python functions into jaxpr then into XLA because of the pure function assumption JAX has made.

How about using Lean, the dependently typed language. I know this might hinder speed of coding, but what if? Not just for deep learning but ML.

What if we write graph networks and graph updates through Lean or so on. Could there be any upsides with using Lean for ML? (The downsides are kinda obvious, so let’s maybe talk about possible up sides)

I heard some research group is trying to add type theory into deep learning through category theory, but i’m unsure of how that’s going and if this question might be related to that.

Do you think there is any benefit in using Lean for ML research?
I imagine it would look similar to the effects of the CrowdStrike incident earlier this year. The feasibility of an attack of that nature is definitely high; it is commonplace for software to download updates unattended, an attacker need only compromise one trusted company to spread their code across the globe.
On the very first screen via the archive link https://archive.is/tjk6Q

The original is not paywalled for me!?
As long as you are just going between two cities with a direct train line it's trivial. The problem is if you are trying to take a train between two cities without a direct train line, like if you wanted to go from Berlin to for example Lisbon instead of Vienna.
China is highly competitive, with a history of using ‘merit’ based admission tests.

The system/barriers were setup (as one’s always are) by incumbents, and the way they did it (while continuing to present it as ‘merit’ based) was to lean heavily on tests that require extensive memorization and tutoring, because only the wealthy can afford it.

This is one obvious sign of that. After all, who has time to memorize 40k different characters?
Ok. There are a dozen examples of exactly this behaviour, and exactly this argumentation in response over the years.

Right now the most important thing for them is for people to start thinking the microsoft fork is the superior one, even if things are “backported”.
If they knew how to do it and that they should. I think Goodhart’s Law is useful to know about because what it’s really suggesting is that people are shockingly good, probably much better than you thought, at distorting the system.
> Lord of the Rings is a Catholic Christian morality tale set in the third age of our world. We are now in the year 2024 of the seventh age. It is our world and it is no more or less fiction than the Song of Roland is.

This is contradictory. The Catholic Church has its own history of the world, which is set down in the Bible, and they would consider any alternative history -- such as the one Tolkien wrote about, if you've interpreted it correctly -- to be a heresy. Simple as that.

St. Augustine wrote of Six Ages:

The First "is from the beginning of the human race, that is, from Adam, who was the first man that was made, down to Noah, who constructed the ark at the time of the flood".

The Second "extends from that period on to Abraham, who was called the father indeed of all nations".

The Third "extends from Abraham on to David the king".

The Fourth is "from David on to that captivity whereby the people of God passed over into Babylonia".

The Fifth is "from that transmigration down to the advent of our Lord Jesus Christ"

The Sixth: "With His coming the sixth age has entered on its process."
Weirdly Nintendo released an alarm clock this month:

https://www.nintendo.com/us/store/products/nintendo-sound-cl...

Seems a strange thing to do in 2024.
If they did they’d be invisible, which is why isolated primordial black holes with a variety of masses are a dark matter candidate. A quasar would be one with a giant accretion disk right?
uncivil language to match the weakness of a position :)

Adaptation != Evolution

The article demonstrated adaptation
To better appreciate the extent of these quarries (≈300km) here's a map of the catacombs overlaid on a real map of Paris.

https://i.imgur.com/6ywDpJX.jpeg
So you’ve tested this with clean installs on unfiltered networks? Just how old is your hardware? It works well on, say, the devices they issue students here so I’m guessing it’d have to be extremely old.
I tried to search hamburger code on the web. It gave me Roblox and a bunch of CSS hamburger menus.

Sorry to ask, but what are these hamburgers you speak of?
Many restaurants in my area have already reduced portion sizes. I really like this trend. Portion sizes have mostly been crazy my whole life, and it's always been troublesome for me.
Or Dyson sphere program
> Instead of solving the problems of nitrogen pollution, CO2 pollution, plastics- just find a new greenfield instead.

What are the problems of nitrogen pollution and CO₂ pollution? Both of those significantly promote the growth of plants.
60,000 more
Teams is the running version of that repository... It is hard for them even to store on git.
I know. I am telling you why the laws were created on the first place. Nobody though about putting an exception.
And frankly, even if they did think about it, they would probably still do the same, to avoid the legal loophole of local companies using a foreign employer of record to hire cheaper foreign workers.

For every petit-bourguoise privileged nomad software engineer there are thousands of potential low-skill foreign workers that companies are eager to employ to pay less and circumvent local worker protection laws.

All the fiscalization and enforcement structure along with the law is designed for this use case and any seemingly innocuos exception on the law can be exploited by bad actors, so, govern are relutant to do so just because a few rich kids from sillicon valley want to play modern colonial dandy.
Not if their Hawking temperature is below the CMB, which is the case I think for any above asteroid mass. As the universe cools and the CMB drops that threshold drops. The big black holes will last n^n^n… ridiculous amounts of time.
The New Home Kitchen Business
https://archive.is/g3u28
In what way is this related at all besides the shroom thing? Different people, different place, etc.
Gitlab as a Terraform state back end (2022)
I didn’t, no, but perhaps this merits a clarification.

The native habitat of a traditional Forth is an 8-bit microcomputer, and compared to modern microcontrollers those had not a lot of compute but fairly abundant RAM (not to mention permanent rewritable storage). So to run a Forth organized along the usual lines, with a flat address space and a singular dictionary space and code loaded from textual blocks and so on, you do want 64K of RAM, I think. You could push that down to maybe 16K, with some limitations[1].

But on a modern 8-bitter with 2K or 4K, you are going to need a system that can compile things offline, and then you can flash the resulting image and do your interactive work within a small in-RAM layer on top of that. That’s absolutely a thing people do, but it’s not what Starting Forth, Thinking Forth, and various other sources about Forth describe.

[1] E.g. the Apple II fig-Forth from https://www.forth.org/fig-forth/contents.html requires the 48K RAM expansion and “provid[es] about 6K for user growth of the dictionary”.
Which examples?
Mediocre pieces by otherwise great creators have huge value at the meta level. They add to the evidence that greatness is more than just being born a genius and then just cranking out masterpieces.
You know Mussolini was actually pretty progressive on this. He was the first in Europe to introduce green biofuels to public transportation by way of a unique spice based process.

The trains ran on thyme.
You must be kidding about "just works". There are so many bugs in word and excel that you could spend the rest of your life fixing. And the performance is disastrous.
Psychedelics are famous for breaking addictions, and are apparently not addictive, though there certainly are "chronic" users, they appear to be in the minority?

There's also something to be said for microdosing. It's still in the anecdotal phase afaik, but I found it very helpful for depression, anxiety and socializing.
Liquid vs. Illiquid Careers
Primordial black holes I believe are the answer to this, but I’m not a pro physicist.

AFAIK we have seen indirect evidence of their existence with Webb. They could explain some of this early structure.
I’m not expecting them to do the impossible, but they shouldn’t call it open source then. Either you provide all the data and call it open source, or you don’t provide the data because it is proprietary and don’t call the model open source.
Being productive doesn’t consume my entire life but if i’m going to do two things that feel the same I may as well do the one that has other substantial benefits to myself and others. I spend enough time developing that side of myself at work. My free time should go to making myself more well rounded.
It's AI agents all the way down
Crossing multiple countries over a couple of days, I've never seen this as possibility.

Going from one country to another is normally one train company, from the origin country, and then moving on from that city - in another country - means a different company, from that second country, and so on.
> Where they drive to use the bicycle? No idea.

Depends on the type of bike. Sometimes parks and trails.
Yes that’s the one, where Kramer stops to get a gyro.
This gave a chuckle. It's one of those cognitive dissonance things where it comes off as facetious, but quickly registers as true. And with intel Management Engine, we could probably say the same for most everything else.

On that note, I'd be ok using NSA software. Really important stuff, for me, tends to not be digital and as others have mentioned, it would almost certainly be robust against anything/one outside the NSA.
I live in a cave :-)
> I play the lottery every day and I haven't won a dollar

The chance of a consumer encountering any of those issues is equivalent to winning the lottery? We should all run and get a cybertruck! :-;
CloudTail: An OSS Tool for Long-Term Cloud Log Retention and Searchability
Maybe it’s my age, I’m not totally sure, but it’s getting harder and harder for this old guy to keep up with all the new things that come trickling out of the quagmire that is the Data Engineering space these days.
It does not work that way. Put (pseudo-)Popper aside and read Lakatos. They should first identify an experiment and - and then, if it fails, refine the experiment as reasonable assessment requires.

Edit: what? It is part of the sophisticated successor of falsification, it reflects the history of Science, and it just makes sense. I cannot give a course in a post. Find material Lakatos: it is more than absolutely worth it.
Yeah, it would have been more accurate for GP to say "liberal" instead of "left" since mastodon (and large parts of lemmy) have been overrun with liberals who label any leftist a "tankie"
Progressive app using local storage?
Did you know that a figure of speech isn't actually a figure?
That seems to be made from fermented soybeans which is also how pure MSG is produced. I’m pretty sure the main active component of this is also just MSG, although they point out that they don’t explicitly add artificial MSG.
What's impressive is that MS has such well trained customers that it can get away with extremely buggy and broken web apps. Fundamental brokenness like collaborative editing frequently losing data and thousand cuts of the more mundane bugs.
Sopermarkets should be that close and normally are. But the special asian food mart or good hobby shop draws people from farther away
According to https://www.iso.org/standard/51502.html the standard would cost ~$250, so basically 1 hour of dev time. I can't think of anything competitive I might do as an individual/SME in this space that would come in at under 2 weeks, so compared to actually doing the work, paying for the standard would be in the noise.

Keep in mind that ISO traditionally dealt more with industrial standards; eg something like https://www.iso.org/standard/40447.html costs ~$180, but I doubt anyone who'd be attempting to compete in the "Apparatus for industrial gamma radiography" world would consider that expense as any more burdensome than buying office consumables.
I'd work harder too if I'd lose my healthcare after being fired. Americans also do more work in a year because they have hardly any vacation days; technically they've worked more hours.
By that logic, I can call any proprietary program as 'open machine code' or 'open assembly'. If the artifact can't be built or modified easily, then it can't be considered open.
> Every time I've seen someone claim that psychedelics have eliminated their need for more conventional psychiatric treatments, their thoughts seem to me to be obviously disordered.

I’ve only seen the opposite. I won’t touch them because my brain is poison, but the people I know who have, they are all in legitimately better places, and this is without regular redosing.

They try quite heavily to sell me in the idea of these things, but again, I know they just are not for me and my brain.
That’s not addressing the right issue. Encoders and switches are not the expensive parts. What’s expensive is designing the dashboard with precise holes, before you actually start the manufacturing process, lining up the component with the hole and cap, making sure they actually work etc. Compare that to a dashboard of the new Tesla robo taxi, which basically has a complexity of a TV mount.
VSCode is a prominent one that is in everyones mind, its starting its journey into extinguish.

For more examples I would consult your local greybeard; since the pattern is broad enough that you can reasonably argue that “this time, its different” which is also what you hear every single time it happens.
I just came here to post that too, watched it a few days ago and it was interesting to see. For me the company was always just cheap cables in the electronic store and old computers at school.

I was not aware of the rich history of the company.
In what environment do you work where you need such low quality images though? In my web environment I only want the highest quality I can get at a reasonable size and I've never been interested in slightly less awful looking tiny images. In another comment I wrote about using jpegli at its default distance of 1 for everything and being happy with that size, so maybe I work in a completely different environment to you.
They're not actually smaller. It just looks like it because they're further away.
While I'm sure there are good arguments on both sides, stuff like this contributes to why the US dominates high tech and the EU lags. If you start a web service searching for things you don't want to be bogged down in court by your competitors saying your results weren't quite as they'd like them.
I didn't say a majority but if you follow the urbanist movement for long you will see them. They are not into subways. A minortiy for sure but they exist and are vocal
James May (of Top Gear fame) recently tried the Cybertruck and didn't immediately hate it.
could it be a font issue?
As an alcoholic - sober 6 years on January 1, 2025 - I can comfortably say that my addiction is my problem. I do not expect the world to comport to my issues.

If an alcoholic is triggered by this name they need more tools in their toolkit.

The best thing anyone in recovery* can do is build up a toolkit and support system to stay sober. If one expects the world to isolate them from temptation they will never get sober.

* recovery: I loathe this term, but use it because it's familiar. My dislike for it is another conversation and unnecessary here.
Security bugs engulf ShipFast, a popular indie hacker's product, in drama
I was thinking that making a trip of it and taking your time and doing it slowly would probably be the only way to make it enjoyable. As a utilitarian means of travel though, miserable.
One hour of dev time? Are you paid half a million a year?
I understood it as "if I entered 1+2 but actually I had meant 2+2 will the machine correctly give me 4 despite my error?"
The former “Olivetti Study and Research Centre” was also the base of the “Interaction Design Institute Ivrea” (2001–06) where Wiring, Arduino and Processing were born…!
Can’t we split the packages into logical groups and maybe have 20 or 30 monorepos of 70-100 packages? I doubt that all the devs involved in that monorepo have to deal with all the 2500 packages. And I doubt that there is a circular dependency that requires all of these packages to be managed in a single monorepo.
This 2019 talk is so hilarious. 200 $/day with ads for apps which are so awful.

Yet, the world has changed and with the advent of AI, let's see who wins: The people who churn apps out like there is no tomorrow (of course, limited to 15 apps a day) or the gatekeepers.
For all the peasants that don’t have a kagi subscription (like myself):

https://www.google.com/search?q=criticism+of+git
Fields and their influence on matter can be detected and measured, and even perceived directly by humans. So, yes.
I sympathize with the “rant”. In the book I read about DDD it was very clear you should work side by side with the domain expert (client usually) to the point of agreeing on the same terminology (nouns & verbs mostly). In order to have a shared mental model, of the business. This is helpful for both parties.

This factory-service-repository word salad sounds like a parallel fantasy based on preconceptions of a certain cohort of self-reinforcing “believers”. Fuzzy words get abused the most. And the more middle management, the faster the meaning gets drained from them. I guess DDD took off mostly in MS/Enterprise environments, which would explain the butchering.
This is so crazy: The buildings were designed with narrow office windows 18 inches (46 cm) wide, which reflected Yamasaki's fear of heights as well as his desire to make building occupants feel secure.[52] His design included building facades clad in aluminum-alloy.[53] The World Trade Center was one of the most striking American implementations of the architectural ethic of Le Corbusier and was the seminal expression of Yamasaki's gothic modernist tendencies.[54] He was also inspired by Islamic architecture, elements of which he incorporated in the building's design, having previously designed Saudi Arabia's Dhahran International Airport with the Saudi Binladin Group.[55][56]

So the WTC was inspired by Islamic architecture, and subsequently demolished by "Islamic terrorism"?
It may be anecdotal, but I once involuntarily trained my memory by trying to recall what I've been doing each day. After a few weeks, my memory noticeably improved.

That's to say, the task may feel insurmontable at first, but if you give time to your body to adjust, it should become easier.
My opinion: there are some objective truths about typography and readability. But some people push beyond the objective and try to enforce their personal preferences on the others as if they're fact.
https://youtu.be/W1ZZ-Yni8Fg?si=493ozTdkEsXJnPpB does a good job of explaining it.
I wouldn't call this practical or compact
This.

One big difference between train and plane is that, for planes, it takes me only a few clicks on one single website to book a multiple legs flight across most of the world, transparently using several companies and I dont have to carry my luggage around.

I rarely find the same for train.

Air travel is a mess but it is still much better integrated than train for long distance.
> Even if Anglo-Saxons are now a minority

They were never a majority in California.

Take a look at census data as well as reading basic California history.

The largest ethnic groups in California have always been Hispanics and Germans.

Albion's Seed is a good book, but Fischer's analysis was limited to Appalachia, New England, the Delaware Valley, and Virginia. He did mean for it try to be a generalized explanation for the entire US.

Furthermore, if you look at the history of legislation in the West and Midwest, it's also fairly distinct in comparison to the East Coast.

Abolitionism, trade unions, Humboldtian ideal, women's suffrage, etc all had extremely strong support across much of the West and Midwest, and this itself was due to post-1849 immigration from Central Europe following the failed revolutions of 1849.

Just think about it in general - almost everything that you think is "American" is actually German. Hot dogs, Hamburgers, Budweiser, Chrysler, Rockefeller, Disney, the New York Times, Christmas Trees, Lutheran congregations, Mennonite congregations, etc.
Sharing it and then a day later killing the service?
It comes down to genuine, natural unforced interest (its there or not) and mastering the ability to systematically deal with and how to tackle the next unknown. After years this make you a true wizard.
So what exactly did the CEO say? Did he attest to tether’s balance sheet? Did he attest to the dollar amount of tether’s assets managed his institution?

What I am getting is that he simply said that he holds some of tether’s assets. Why and how would that make him privy to the entirety of tether’s balance sheet?
This is a charged topic when it's an American disclaiming Chinese tech. But the Europeans have been targeting American tech for a decade now.

Whatever reasons you accept from the Europeans about why Facebook/Instagram is unacceptable are the ones you should apply here.
Concur on all points honestly. I will also add that Factorio's setting is pretty bleak, and the game is a bit too addictive to me. It's also harder to just botch things which, because I am trying to have fun and not work, is pretty laborious. In satisfactory if I messed up some spacing of belts or machines or whatever, I can just clip it, go up and over, just generally make a visual mess that works.

Not entirely sure why Factorio is more addictive. Shorter action loops, but often queing and waiting for things to happen might jiggle the brain in a more addictive way. It's not a positive feeling situation either, more like you get trapped having to do more stuff over and over again.
It’s open-source at start, later it turns into open-core.
>Charging for standards allows us to ensure that they are developed in an impartial environment

I don't think the PDF standard was developed in an impartial environment.
PostgreSQL Extension Pedia, with 345 out-of-box RPM/DEB packages available
That's a good starting short lecture.

It's something everyone should look into. Some will get further than others.

A giant caveat is that mathematical impossibility in an idealised setting isn't quite the same as real world implementations.

A smaller scales the US first-past-the-post system worked tolerably well for some time.

Tweaked proportional does much better, pitfalls are rare and "real world" untidiness can address that well enough to reap the other benefits.

The subject of the video you linked is mainly Arrow's impossibility theorem which is covered early in a number of applied math | discrete math courses.

Plurality-rule methods like first-past-the-post and ranked-choice (instant-runoff) voting are highly sensitive to spoilers, [..]

By contrast, majority-rule (Condorcet) methods of ranked voting uniquely minimize the number of spoiled elections by restricting them to rare situations called cyclic ties.

Under some idealized models of voter behavior (e.g. Black's left-right spectrum), spoiler effects can disappear entirely for these methods.

https://en.wikipedia.org/wiki/Arrow%27s_impossibility_theore...

The focus on no system being perfect distracts from bigger issues; which systems suck less than others, which systems result in better representation, which systems can doom spiral, etc.
This is a distinction without difference. I could go on a "micro" trip to the corner store or a "macro" trip to the other side of the world. All that changes is the timescales required. There are swathes of evidence for """macro""" evolution, but the timescales involved are tens of thousands or millions of years. Can't run a controlled experiment on that timescale.
Web of Science index puts eLife 'on hold' due to its publishing model