skysight-inc/HackerNews huggingface dataset:
> Some cities do not want housing/population growth. Why is that not okay?

Because substantially all cities do not want housing growth. They're all operating under the same set of incentives.

In order to have a vote in local elections, you have to be a resident. In localities with predominantly owner-occupied properties, this implies that you're a property owner. So you vote for policies that increase local housing costs, because you've got yours and you want its price to go up rather than down.

Suppose there are people in San Francisco who would like to move to San Jose or Los Angeles or San Diego, and vice versa. Everyone in San Francisco wants their property in San Francisco to get more expensive and the properties they might buy anywhere else to get less expensive, and likewise for every other city. But since only the people already in San Francisco can vote in San Francisco, the interests of all the people who want to move there are not being represented, and likewise the interests of all the people in San Francisco who want to move to San Jose but don't get a vote in San Jose.

If you move this to the state level, all of the people in San Jose and Los Angeles and San Diego can vote to lower housing costs in San Francisco and vice versa, and since the people outside of a given city outnumber the people in it, the balance could shift in favor of housing affordability instead of the untenable status quo.
Freezing it in the hands of Musk, Bezos, Gates, etc... is? You do realize people build all the infrastructure, right? That entire industries are formed? It's quite literally the definition of mobilizing money into the economy.
> The reasoning of this case rests on the intentions of the FSF when they wrote the licence. If the person who wrote the licence didn't intend you to be able to get benefits, you can't.

I contend that it does not.

It doesn't matter who wrote a license, it only matters who adopted that license when they authored a work.

The Conservancy is doing license enforcement on behalf of numerous authors and vendors of code, not authors of licenses such as the FSF or Creative Commons.

When I create a distribution of code and copy a LICENSE file into it, I take responsibility for the wording of that license. I don't foist that onto the FSF or MIT or BSD. I take responsibility for the wording, whether it is boilerplate or if I modify it after the fact.
'Power in Society Is in the Machine'
Some people already mentioned it. The hard part is keeping the weight stable once you reach your goal. I have failed at that several times now.

My current approach is fairly simple but hard.

* Exercise 4 hours per week (Mostly cardio)

* Drink a lot of water and no alcohol (Social events one or twice a month are an exception)

* Eat no processed food. No crisps, no candy.

* Try to eat as much protein as possible. Meaning 1-2g protein per kg bodyweight per day.
>Yes, it's completely possible that we get to some sort of limit and the scaling laws fall down, loss stops dropping even with more data, parameters, compute. But we have zero reason to believe that is the case, currently, it's only hypothetical [Edit:- and not really a good hypothetical, because there's no theoretical backing that explains current progress but predicts a future discontinuity]. In terms of what we've experimentally seen so far, it just keeps getting better as you scale them up, so to find out if you're right and there's some future roadblock we don't know about we just have to keep scaling these things to see if it works.

Also I have no idea why you think Occam's Razor supports "There will be a discontinuity in this currently accurate observed trend, near enough in the future to be relevant" when the trend is talking about the effects of an algorithm applied to data. By analogy, it's something like claiming Moore's Law won't hold because Occam's Razor suggests at some point there's a physical breakdown, except instead of saying it now you're saying it in 1978, & you're saying it about an algorithmic output rather than a physical thing with an obvious limit (atomic size). Once we see any evidence of all of such a discontinuity, we can adjust what we're doing based on that. Until then, if we want to know whether scaling laws hold we should scale the models.
It seems actually FreeBSD has dropped a lot of old platforms in recent versions, so this may not be a problem anymore. I imagine it would be with some other BSD's.
Ref.:

https://news.ycombinator.com/item?id=39082964

https://news.ycombinator.com/item?id=38773633
Yeah... until last year the UK's rate was 19% but the government has increased it to 25% because the economy is doing so well...

It's 12.5% in Ireland but I don't know the cost and admin burden for non-residents.
> while at the same time being memory safe.

lua? luajit's got great ffi.

If you meant a compiled language then you can write code that is memory safe in C. You can even run tools against your code to measure this in various ways.

All "memory safe" languages that compile to lowest level ISA code are just memory safe "by default" and all of them necessarily offer escape hatches that turn it all off.

No "memory safe" compiled languages offers memory protections beyond what the operating system provides. If it's within the memory space of the process you can access it without limitation. "Memory safety" can reduce your exploit surface but it can't eliminate it out of an incorrectly designed program.
Hard to find the entire 10 episodes but here's the first 4 of James Burke's Connections, a look at how various discoveries, scientific achievements and world events are tied together. Pretty awesome stuff.

https://youtube.com/playlist?list=PLw7aVsjFLyMmkEqHami9AHGmc...
VR/AR/XR is a very good example. Meta’s headsets and most 3rd party straps still default to a top strap that runs along the center of the head front to back. For any woman that wears their hair in a ponytail or bun this is a no-go.

That design makes it really hard to demo product to 50+% of the population. I always seek out replacement straps that have an extra front strap instead of a center strap for this reason. And still very few men who work in the industry are aware of this despite that I’ve been working in AR/VR for a decade.

This might seem like a product failure, but in a software company there are far more programmers than product managers. It would only take a couple females writing software for the headset all day to point out how uncomfortable it is.
Or something changed in the environment that made younger fish less healthy.
How will your anarchism dictate how a cartel will be organized? Through anarchism, you can't enforce everyone to be anarchic. You will lose your independence because other people will form larger groups to increase their power and achieve their aims by coercing you.
> If anything they are supporters

Or they decided that they don't care too much and focus on their fun projects.

Or something in between.
mAyB3 itz FUNNZ0rZ to type ur txt liek dis!
The amount of budget and time you have for the all project is finished, and in practice it's much easier for management to skip testing and QA than to reduce the scope of the project / the amount of features.hence the terrible quality that's plaguing this entire industry.
DietPi released a new version 9.0
DietPi is a lightweight Debian based Linux distribution for SBCs and server systems, with the option to install desktop environments, too. It ships as minimal image but allows to install complete and ready-to-use software stacks with a set of console based shell dialogs and scripts.

The source code is hosted on GitHub: https://github.com/MichaIng/DietPi
The main website can be found at: https://dietpi.com/
Wikipedia: https://de.wikipedia.org/wiki/DietPi

The project released the new version DietPi v9.0 on January 20th, 2024.

The highlights of this version are:
Drop of the Debian Buster support (Debian version 10, "oldoldstable")
Orange Pi Zero 3 1.5 GB: SBC newly supported
Raspberry Pi 5: Improvements of the Pi 5 migration script
Moonlight, Logitech Media Server, motionEye: More stable Bookworm packages will be used
Fixes for Orange Pi 3B
The full release notes can be found at: https://dietpi.com/docs/releases/v9_0/
When Leo Szilard conceived the idea of a nuclear chain reaction, he thought it would work with beryllium. If this really works, it means he missed by one square in the periodic table.
Interesting hero drawing at the very top of the article. The fat man on the left is almost bold. The slim guy on the right clearly has hair. So losing weight means growing hair? Hmmm
Not quite the same, but I went back to do a theoretical comp sci MSc though I was running my own business, and now, ~30Y later, I'm back doing a PhD in a different field. The MSc was worthwhile, and the PhD seems to be so far.
What Is Progress? (1913)
This should be the submission link. Love when people post screenshots without attribution.
so it's a matter of density (which is probably what grandparent was hinting at)
A tweet with screenshots of a LinkedIn post. Not HN finest moment.
Google is not going anywhere for good while. They have enough popular services and they are big in the ad market.

They may not make any new innovative products, but certainly can buy those. And how many start-ups are effectively competing in ads?
Why don't they start to support units instead of these ugly header files to finally stop duplicating code? I see this might break stuff but you could implement it side by side with the preprocessor so old code would continue to work.
Why is Jamie Dimon – the most influential CEO in America – spouting these talking points in favor of Trump?

Because he thinks Trump has a good chance of becoming president, and Dimon wants to be in his good graces.
The best way I have found is to create a SMB network folder on your local wifi network (you can do this in Windows and Mac, its usually the default folder share method in the OS, or you can use a NAS) and then use TotalCommander to move the entire Android filesystem (or just the DCIM folder) to that network folder in one go. It took me about an hour to transfer ~128 GB over wifi.

Do not use Android File Transfer (its a horrible app that transfers in a weird slow serial mode over a wired connection). Do not use Pairdrop/snapdrop/etc. Those Airdrop clones do not handle big folders of files well.

If you have Windows available, ignore my advice and do that. It probably isn't as difficult as Mac.
Currently there is only Earth to fill.
A government, or government funded, research lab. Mostly they want research scientists, but engineers also work in those places.
Whoa I didn't know this. Is there a documentary on this?
10km in one go, or 5k twice, or something else? Is this about 2 hours walking a day? Outside? Desk treadmill?
And China detains and tortures people as well.

Not sure what that has to do with technology.
Two non-egalitarian reasons might be:

* The kind of teams that are hostile to female programmers are usually hostile about lots of other things too, and hence are less pleasant places to work.

* Female programmers tend to be better communicators than male programmers. While all the “true wizards” I have known have been male, you need wizardry about 1% of the time, but you need to communicate about 100% of the time.
This is so normal for Americans that you'll see people in this thread vehemently defending this hellscape against any criticism, since they can't imagine an alternative. A resident of London who doesn't own a car is a prisoner in their own home, in the mind of the average American.
Who? There are DNA tests waiting for them to validate this very specific brand of bullshit.
This is a great and informative comment!

HN is dominantly a web/SW crowd plus some mobile frontend, and "it uses a Snapdragon" gives many a wrong idea. In embedded device projects a lot of time is spent planning and designing around a heavy compute element running Linux like this, especially if the device has a safety concept or other mixed criticality concerns. It will have a substantial moat around it.

On HN if you say "systems architecture" most folks go "Oh you mean like, whether we use microservices?". In embedded, while there is a lot of overlap and analogues, it's also all of the above, plus power state management and other aspects. It's not very shiny, but that profession makes all your cars, airplanes and alien planet multicopters.
One key differentiator is if the mission is competed or directed.

Directed (in essence) means that the National Academies (NAS) decadal survey recommended that specific mission. (They specify the what but not too much about the how.) A directed mission is assigned to an implementing center (JPL , GSFC, etc.) And they build it to accomplish their best interpretation of the NAS DS guidance.

Sometimes this can be expensive, more expensive than the NAS expected (JWST). And sometimes the imperative to make it work to accomplish the “down from the NAS” guidance, with near 100% certainty, in a novel environment will result in over performance like you noted.

The noteworthy directed missions are mostly large flagship missions.

The other category is cost capped competed missions. (VERITAS is a recent one, so was New Horizons, but they exist in astrophysics and earth science as well as planetary; see for example https://en.m.wikipedia.org/wiki/New_Frontiers_program). “Tell us what you can build to accomplish some portion of the following high level science goals in $300M or less”

Over engineering is not really possible under those conditions! You will be competing against the absolute best concepts and teams in existence. So the budget is really squeezed.

These two mission types are complementary in the obvious way. The flagships push engineering capacity way forward, and the competed missions have a lot of innovative concepts within a cost cap.

There are also pure tech demonstrations (often piggybacking like the helicopter did) and certain other categories but the competed/directed split is primary.
Somewhat in the same vein as what acdha says, but you're dealing with multiple goals and incentives, some ideological.

acdha covers the most important ideological obstacle: financialism. Basically, the notion that if you're good at managing money, you're good at managing everything[1]. This is itself an ideological proposition, ironically resembling the late-Soviet tendency to inject "marxist" or "socialist" into every branch of learning, because, well, if you know class dynamics, you know everything.

Some might say, "Regulation is good, we need a very large and meticulous government-managed safety group, because large capital projects with little safety margin require government involvement". The risk here is creating an unnecessarily hostile relationship with industry, which could increase scope until productivity falls below a theoretical floor. This is starting from "regulation is good", and it's going to want to prove the point.

Others might say, "government entities are ipse facto incapable of meeting goals, therefore we need to eliminate or decrease regulation so industry has greater freedom to establish safety practice." The risk here is when industry is operating under a different set of incentives (see, again, acdha's point on financialism), their goals don't align with value (reliability, safety, performance), but rather on the revenue, or even complex derivatives thereof. This is another ideological incentive, but there's a risk of a death spiral: regulation is bad and stupid -> shrink it -> bad things happen -> proof that regulation is bad -> regulation is bad and stupid.

[1] I'd posit that Welchian financialism is actually not even good at making money, over a risk horizon longer than a few years (or even a few quarters), but it's quite good at belching out cash in a very short term.
I was specifically replying the the "copycat" comment, not the "reliance' one.
What you’re talking about is a 20th century phenomenon. Immigrants in the 19th century came and established their own communities, rather than becoming a class of service workers. The trend you’re talking about started with 20th century immigration to cities.

That later immigration trend coincided with the decline of American self government. Instead of establishing self-governing communities like German and Scottish immigrants, the Italians and Irish that came to America as a service class were co-opted into machine and ethnic-bloc politics.
Musk literally bought Twitter mostly for political reasons. Why else do you think?
Takeaway - buy Nvidia stock
Yeah I get the impression that people don't take as much pride in their work for its own sake anymore - more assembly line worker than master craftsman.
I'm even lazier than the OP, I put as much of this stuff on autopilot by spending more:

- WiFi scale with HealthKit. I use a Withings. Weight yourself every day, get a graph on your phone. No need to manually input your weight into a spreadsheet.

- Food: meal delivery service, only pick meals that match your diet macronutrient targets. I use CookUnity and pick meals <=650kcal. This makes eating right easier than ordering McDonald's.

- Diet planning: Macrofactor. You track calories/macros of every meal. Then it reads your weight change from HealthKit and adjusts your macro targets up or down to hit a target weight by a certain date. You can do this in MyFitnessPal and a spreadsheet, but this is easier.

- Exercise: Home smart gym, resistance training. I got Tempo Fit. Every other day, turn it on and do whatever it says. No need to plan workouts or think too hard.

These tools help me keep a 1% weight per week loss. So far down 25 lbs and 5" at the waist.
On a syntax level, parsing, generating, and templating datalog is _much_ simpler than doing the same to SQL. DBT would never exist if every SQL database accepted datalog queries and SQL injection attacks would be rare to non-existent.

The more interesting answer is to think of datalog as making it easy to encode nearly all of your application logic as a bunch of self-referencing, incrementally updated, materialized views. Some examples:

# view of Users table for currently logged in user
LoggedInUserView(name, email, id) :- Users(id:
payload["userId"], name, email), Cookies(name: "login", payload).

# view of Users for admin
AdminUserView(name, email, id) :- Users(id, name, email), Cookies(name: "login", payload), payload["isAdmin"] = true.

# posts a user can see
PostsView(title, content, id) :- Posts(title, content, public: true).
PostsView(title, content, id) :- Posts(title, content, author: payload["userId"]), Cookies(name: "login", payload).

And then you write your UI code to explicitly reference these derived views rather than manually wrapping an API around querying the Posts table and doing the filtering.

The examples above can be neatly replicated in Supabase or Postgraphile (the OG of auto-generated GraphQL over Postgres), but you can do a lot more with datalog as a language. The Hellerstein paper mentioned above is a good starting place.
It was never a realistic expectation to become one the biggest companies on earth and remain "innovative" for years and years.
I believe it only has to be provided to recipients of the binaries, so you can still charge money for linux modifications, such as grsec.
One of my grandmothers, born about 100 years ago in Romania (she’s not with us anymore), told me many times she was denied from pursuing math education because of then Nazi policies of “numerus nulus” i.e. the exclusion of jews from public universities.

There’s a fascinating wikipedia page on the topic of racial academic exclusions - https://en.m.wikipedia.org/wiki/Numerus_clausus

And related to math exams, this paper of problems that looked easy but were quite difficult (and which were given to jews in the USSR) is also quite interesting — https://arxiv.org/abs/1110.1556
Compression can be had entirely in analog, and it the compressing amplifier could be built discreetly into a headset.
Apparently the US Calorie is because that formal definition was originally 1kg of water, it came to the US and got embedded in nutrition stuff, then got changed to 1g of water: https://pubmed.ncbi.nlm.nih.gov/17116702/
Nice! Two episodes on Ryoan-ji
https://www.youtube.com/watch?v=ldVz7XQFky0
https://www.youtube.com/watch?v=9vphfpgGL7A
Is LogicBlox open-source now? I encountered it on a project several years ago and at that point it was very much closed/commercial.

Now the website isn't even loading... has the project been shuttered? I know LogicBlox was acquired by Predictix a long time ago, and recently Infor acquired Predictix. Hoping the project is still a going concern, there was some very cool tech in there.
No doubt what you say about the PRC is true. That said, I'd be damned surprised if Huawei's claims about HarmonyOS aren't true.

Likely claims about performance are exaggerated but with the hindsight of Linux and Android and then starting afresh even moderate performers ought to be able to do better.

Of course, I wouldn't trust HarmonyOS farther than I could throw it but that's nothing to do with performance.
Indeed, I am a member of such a culture.

But the context of this thread involves rather obscure and private locales, such as a bookshelf in Chad's garage, or an incel's 1BR apartment. The foot traffic and availability would be near-zero.

I'm not sure how you leapt from that context to "a prominent place".

Compare this to the custom of churches holding relics for public veneration, such as embedding them in an altar, displaying them at a shrine, or in a reliquary held by a priest for people to line up and kiss. Or the standard custom of cemeteries and mausoleums which are open to the public at all times of the year, which offer sacred consecrated ground, and religious/spiritual context for those who venerate the remains.
You realize, don’t you, that the fact that this made the front page tells us that you are explaining things that are obvious to this audience?
But then they did nothing to sell their infrastructure because it was seen as a competitive advantage.

Google3/Borg ecosystem should have been productized but that'll never happen now the way things are evolving.
I thought this was a 29 year old Male grasshopper...time for bed.
Strange fossil. It does not look like something so old.
Very true. My hot take on this is, if you want to learn C or C++ "properly" (not just well enough to get your homework done, but well enough to write medium-size programs that pass ASan/UBSan/TSan), the fastest way is to learn Rust first. This is emphatically not because Rust is quick to learn, but rather because ownership and borrowing discipline takes years of mentorship to absorb in C and C++, and plenty of career programmers never really get it.
I couldn't read past this photo caption:-

"In 1969, Dennis Ritchie and Ken Thompson developed UNIX, a computer programming language. Nokia"

:-|
I'm about seven or eight years older compared to the poster (am also Romanian) and most certainly we didn't need to memorise √13, this is actually the first time I hear about it.

I think (and now that I've checked I'm 100% sure) that we knew by heart the first two decimals of square root of 2, meaning 1.41, and possibly Euler's number (2.71) too, even though I'm not so sure about that anymore (this was 25+ years ago).
> Googles layoff are among the dumbest I’ve ever seen.

Hasbro's latest round still tops this though.
In Pharo or Squeak, you can just send the "return:" message to any context (except contexts that have nowhere to return).
Here's one you wouldn't think of: Penn Jillette (of Penn & Teller) wrote about his radical diet that took off 100 pounds, and kept it off. It ends in a regular vegan-type diet, except he's allowed to take days off now and then.

Anyway: for the first two weeks it starts with eating only potatoes. No butter, no sour cream, no fat. Then other foods get added in.

Here's the giveaway part: he would go to show business parties and say to people, "Would you like a potato?" He claims a lot of people would say, "A potato? Sure!"

https://www.amazon.com/Presto-Pounds-Disappear-Other-Magical...