skysight-inc/HackerNews huggingface dataset:
Roc is pitched as having great performance for a GC'd language, that is, on par with Java, Go, C# instead of Ruby, Python, JS. The Roc compiler team are looking for C, C++, Rust, Zig kind of performance. Roc will, by design, never reach that kind of speed.
Toma (YC W24) Is Hiring a Founding Platform Engineer
Runaway Federal debt.
We don't even have that in place for illegal Russian oil exports or imports of stuff they use to make rockets to shoot at Ukraine with.
What I understood from your parent comment was the exact opposite, i.e. that they’re saying “I disagree with some of the default choices of the formatter (and so would prefer they were different) but I never voice those because it’s not worth it. However, I do think everyone should use something, whatever it is (even if the default style), as opposed to nothing”.
I really think people don’t understand where fent zombies come from. They don’t emerge spontaneously from cracks in the sidewalk. The streets are just the last stop on a long road. Network effect among the unseen webs of addiction is a vastly bigger issue — if there were 74k overdose fatalities in a year, imagine how many people didn’t OD, or OD’d but didn’t die. And out of that, imagine how many people are more casual users who aren’t that heavy into it just yet. These are big numbers and big chunks of our social networks. They just haven’t gotten to the last stop yet.
It's Go we're talking about. Other than 64-bit the dominant word size, nothing much has changed.
Who says they are illegal? Can you cite some sources please? Like actual legal experts, not the guardian.

As far as I know, the chevron deference ruling makes it easily arguable that these agencies don't necessarily have any legal standing anyway.

The 8 month buyout was completely legal, Clinton did the same.

I actually find it highly unlikely any of this is illegal, it's just completely unbearable to anyone who is part of the bureaucracy. But prove me wrong. Show me the legal opinions.
He mentions this being a follow-up to a similar earlier post: https://chriskiehl.com/article/thoughts-after-6-years .

HN discussions on that post: https://news.ycombinator.com/item?id=25887373 (4 years ago|686 comments), https://news.ycombinator.com/item?id=32162716 (3 years ago|58 comments), and https://news.ycombinator.com/item?id=41633156 (4 months ago|56 comments).
Thought I should expand to explain the group gets larger as the economy suffers and people are too poor busy and hopeless for anything other than a hopeful narrative.

And the group gets dumber when skipping school is glorified, education gets funding cuts, and people mass consume media.
Jokes on you I am working on ATC software solutions (safety modules exactly aiming to predict and warn about this kind of events)
the classic HN value of proud incuriosity! you love to see it
Oh, thanks! That was such a quick implementation—and a nice addition to the Show HN gallery, especially for HN-related projects.

When I came across WikiTok yesterday, the first thought that popped into my mind was how this format could work for HN. And here we are!

With the abundance of AI coding assistants available today, creating prototypes, demos, or MVPs can now be done in just a few hours instead of taking days or even weeks. As developers, we should absolutely take advantage of these tools to stay ahead and remain innovative—otherwise, we might risk being left behind!
If you can run arbitrary JS on the Google login page then you could simply intercept the form submission and steal the credentials... Am I missing something?
"Nah, we'll rise again like some mythical bird," said a voice in Arizona.
An expressive type system absolutely, positively, unequivocally does not imply slower build times (especially with a Church-style type system). There are plenty of programming languages with advanced type systems which compile extremely quickly, even faster than Go, for example OCaml.

Don't make the fallacy of conflating Rust's slow compile time with its "advanced" (not really, it's 80's tech) type system. Rust compilation is slow for unrelated reasons.
I love to see Julia growth, if nothing else by being another Dylan like take on Lisp ideas, with a JIT compiler in the box, and the community keeping the effort to overcome tooling issues despite critics.
Kagi is entirely dependent on giving the best search. Without it they would lose pretty much all customers.

"Privacy minded" customers is not a foundation for a business. They spend all their time complaining and accusing, and then after some time they cancel their subscription because spending $10 per month keeps them awake all night.
hey thank you for this! will send ours later.

our product is uncomplexities.com, which has a shit ui but already functional. still working on the v2 to be out next week.

to other founders out there, what are you building / submitting to yc?
>shockingly large numbers of "computer professionals" have no idea how networks work

Incidentally, if you suspect you yourself are this, I can't recommend any book more highly than Michael W. Lucas's Networking for Systems Administrators. Don't be fooled by the title - the whole idea is to get you to the level where you can talk to a network engineer without looking totally clueless, and no farther - an excellent stopping point.

I would recommend it handily over, say, my own Intro to Networking class in college. And yes, `mtr` is mentioned by name in it!
Honestly, most of this doesn't sound like a bad idea from a strategic perspective, although there will be a lot of pain along the way. Once we get down towards the bottom of the list, there are some items which are almost guaranteed to be unconstitutional, or are a bit ridiculous, but in general the US and the West in general is very over-reliant on Chinese manufactured goods and this puts at a strategic disadvantage as China becomes a more serious geopolitical adversary, reducing or eliminating that reliance is just good sense.
I'd love some clarification if he meant people who bike shed or people who care to setup a linter and formatter as part of their workflow.
I mean even if no, the timing would be rather tight. The only launch window available is late 2026, arriving in late 2028. It would perhaps be feasible to get a dead human there in that window by Atlas V. Anything more seems optimistic...
I'd say avoiding long lines is one of the most important rules. I regularly have 2-3 files open side by side, I don't want to have to scroll sideways to read the code.

80 characters is a bit on the low end imo but I'd rather have the code be too vertical than too horizontal. Maybe 120-150 is a more reasonable limit. It's not difficult to stay within those bounds as long as you don't do deep nesting which I don't really want to see anyway because it's hardly ever necessary and it makes code more difficult to read.
Just discovered this all for the first time, and these guides are incredible! I've downloaded the GIT and networking ones. The humour is the best. I wish all textbooks were filled with jokes...
I see this as very different from "i'm eating ivermectin because bigpharma wants me to buy their vaccines" or whatever it is people say. There are certainly fascism experts out there, but the one thing that I've noticed again and again is that they emphasize how effective fascism is at changing forms and tactics. Today, most of the countries we refer to as authoritarian or fascist are formally liberal democracies (by which I mean republics). And critically, many of the core symptoms—militarization of police, violent suppression of protests, demonization of outgroups (muslims, immigrants), worship of the military, disenfranchisement of voting rights—long predate Trump's political rise. Hell, we were an apartheid state in living memory, and the anticommunist propaganda here truly does rival that of fascist countries (albeit mostly an aspect of the past at thus point in terms of overt propaganda). To many Americans, fascism might seem natural and might feel like home, so an expert saying "this is fascism now" is going to get a very very wide range of reactions.

And even to educated, well-meaning americans, we have a really nasty habit of sweeping our evil deeds under the rug and forgetting what we are capable of. If Trump were to move forward with mass deportations, it wouldn't be the first time, or the second time. https://en.wikipedia.org/wiki/Operation_Wetback is one particularly nastily named example. Many "experts" on tv don't read history and are oblivious to how close to fascism we already are.

It's also worth remembering that Hitler was a huge fan of America. Liebensraum was inspired by manifest destiny. We built this country on extreme violence, arguably to a unique degree (along with other anglo colonies). That muscle doesn't just go away. We've really only been a "liberal democracy" for about sixty years now.

So yea, I don't think you can write this off as anti-intellectualism or anti-expert, this is just who we are as a people.
Lina Khan, a vehement anti-business (or anti-monopolist) probably should have gone with a different media outlet.

Besides, who pays such a speaker nearly 100,000 to talk?

This one has became a veritable "dead cat bounce".
I can only recommend Dietrich Bonhoeffer's essay "Von der Dummheit" (On Stupidity), which he wrote while being imprisoned by Nazi Germany. It's a short read and a terribly accurate description of what's happening.
The problem is that academic hiring is anemic in those places (as it will be in the US very soon, once Trump is done wrecking the NIH, NSF, etc.).
i feel that the big problem with git is how it applies names to procedures that are MUCH easier to understand unnamed. you can have a model of the current repo state, and the state you wish to reach. instead of just coding this difference on the data structure level, as imperative statements or functional expressions, we’re forced to translate them into a sequence of weird names and flags representing conversions into intermediate states.
I think the people are capable, given the right environment. I think what destroys it is not letting people in Congress write laws in relative secrecy. When the most powerful, including the political parties, can monitor how every Congress person votes in committee, they can micro-manage and micro-terrorize them into doing what they want.

Let them deliberate without us watching over their shoulders (because it's mostly just the powerful who do) and we might get back to writing laws that solve problems.

Check the work at https://congressionalresearch.org/ for a lot of evidence on this topic.
"A systematic review of studies on the possible relationship between high lead levels in soil, and rates of unaliving."
sorry, GP is too busy posting shallow dismissals of things he didn't read! (and violating the HN rules along the way)
I don't know. Maybe we shouldn't live in a world which puts profits and companies over people and a qualitatively better world.

Hard questions.
“Carl Sagan married three times. His first wife was legendary biologist Lynn Margulis, who discovered mitochondrial endosymbiosis, then went off the deep end and became an AIDS denialist and 9/11 truther. His second wife drew the Pioneer plaque. His third wife was one of the women who designed the Voyager golden record.”
They must be adding a ton of storage and/or memory to those servers, then.
Since 1800 congress has used its constitutional power to establish agencies. It is congress who has the constitutional power to shut them down, not the president. The president executes the laws passed by Congress.
* https://archive.is/https://www.wsj.com/politics/national-sec...

* https://archive.is/MpHyC
'It's like solving a murder': who dumped 30 tonnes of rubbish on Lichfield?
Yeah, I mean it's a positive move, I suppose (though, if this is a _common_ thing, then they have other problems, because clearly the people involved aren't using it as a search engine), but it's a strange way to market it.
Bicep – a Domain Specific Language for deploying Azure resources declaratively
> The big difference between Germany of the 30s and the US today is that the Germans had suffered.

This is why Fox News etc. exist. To create the perception of suffering and persecution amongst their viewers, by trans athletes, welfare queens, Satanic cults, etc.
I've never been confused by git checkout. git checkout <branch> switches to a branch. git checkout <commit> switches to a commit in a detached head state. git checkout <file> switches just the content of a file. You can also combine these ofc but it all works pretty much as expected. The -b switch for creating new branches is someting you need to look up once and then just remember - and it does make sense - you are switching to a new branch.
Don't know about China specifically, but "working ridiculously hard" is just "working" if everyone around is doing the same and you had no points of comparison.

If you've seen enough people graduating into non-working class, or you have had yourself, that changes your perspective.
Not wrong, but something I found confusing, in section 2.7.5 (page 11 of PDF):

"Let's say you modified foo.txt but didn't add it. You could: <git command>"

Followed by:

"And that would add it and make the commit. You can only do this with files you added before."

Wait, what? So, I modified foo.txt but didn't add it, and then the command to add and commit at the same time can only be done with files I did add before?

Guide was working great to heal years of git trauma up until that point though!
Do you think a new citizen is a lesser citizen?
The only numbers Israel used were from Hamas government health ministry, which ceased to operate about a year ago.
As a start, Go could separate container and slice types, the way C# did it with T[]/List<T>/other and Span<T>/Memory<T>. No lengthy build process required.
Yeah, after they got into trouble with the law
If you're in Germany or know some Germans, talk as much as you can about how this is what Musk wants to do via the AfD to us here. The election is a little over two weeks away. Right now, the CDU/CSU ("normal" conservatives) look to be getting the largest number of votes, but nowhere near enough to govern on their own. They've been a little too flirty with the AfD (currently in second place), and the worst thing that could happen is that they forget what they learned in school about what happened to the centrist and conservative parties in the early 1930s, and take the AfD as their coalition partner instead of trying to work something out with the SPD and Greens.

There's a reason that Germany's current main center-right parties were both born after the war.
Buzzword bingo with pinches of weasel words. Nothing to see here. Next!
I have a suggestion - at least one of several, which is to understand why we got here. The fact that this is escalating since cable TV, Murdoch, and the internet is not a coincidences.

Democracies globally are facing a similar problem, which is an abuse of a core democractic principle: Free speech.

Free speech is often valued in and of itself. However, free speech in itself is only a tool that serves a greater purpose, which is to enable the search for truth. Free speech is the goal of exchanging ideas between peoples, to foster competition in thought so that collectively we can understand our shared reality.

If such a market place were to become inefficient, or if such a market place were to resolve itself to serve the most attention grabbing takes, we would see much of what the media carries.

THIS ISNT the problem you face! This is the problem we discuss!

The problem is when someone combines the media with a political party. The media itself has no recourse but to play the game of advertizing to survive.

But once it is in service of an entity, then you can create your own justifications for war, and then declare victory yourselves.

This makes the most mercenary of politics the most succesful. It is the natural recourse of people who want to win at all costs. It is far more efficient than doing economic research to understand the pros and cons of a decision.

We can solve the problems we all mutuall face. There is more to life than our polarization.

However, if we are pulled between two magnets, and our goal is to not be pulled apart - then the magnets need to be addresed.
I honestly can't imagine Kagi being worse than Google. At minimum, Kagi lets me derank and ban domains I don't like.
The Hamas only exists since the first intifada in 1987. The Nakba, which displaced many Palestinian goes way back to 1948.
The effort vs economic rewards of growing your own food is horrible. Some people enjoy it as a hobby, I know many of them. But it’s not something that’ll ever really catch on by repealing such laws alone.

Automation/economies of scale + government subsidies + many farmers having massive amounts of specialized knowledge and skills vs what amounts to subsistence agriculture is just wildly in favor of large scale operations.
Ummm, this one spec is trying to accomodate the world's requirement for ... tracking. Enough said.

Join Electronic Frontier Foundation because you should be in control of your data.
I think both of these projects miss what makes TikTok (and reels in general) so effective.

A good TikTok video gets "injected into your brain". You have zero effort to provide and suddenly this stuff is in your mind. I'm not saying it's a good thing, I realize the danger, but that's the core mechanism.

A friend in marketing describes this in terms of "brain calories". Eg if people have to think in order to understand your landing page, you failed to communicate your ideas efficiently, as it "requires too many brain calories". TikTok content requires zero brain calories.

One could say that only very shallow information could be spread this way (eg people dancing, video game clips) but I'm not sure that's true. The real challenge would be to turn an arbitrary source of information (wikipedia, hn) and make it immediately graspable. I suspect modern AI models could already go quite far in this direction.

Veritasium is a good example of interesting yet very graspable content:
https://www.tiktok.com/@veritasium/video/7329576935317622058
I’m a huge fan of Asimov. Years ago I bought a back issue of the Newsweek that this was originally published in, framed it, and still have it hanging in my office: https://aphelis.net/wp-content/uploads/2012/04/ASIMOV_1980_C...
> Huh? How do you think `const char s = "Hello"; const char t = &s[1];` works?

I think you and the parent are using different definitions of granularity. The parent meant that sizeof(t) could be 32 or 64 bits. I think you just meant that the smallest thing the pointer references is the address of a single byte.

Rust already has fat pointers though. A reference to a smaller byte value could be a pointer plus a bit-mask.
Supposed to, but the consequences for not doing so are... overly complicated, see the various impeachments and court cases he's already had and defeated.

The bounds and laws should have been finetuned long ago, reducing the power of the President on the one side, and reforming the government to be more representative instead of a two party Us vs Them system. But that is also a democratic process and neither side has had a majority or incentive to do so.
The alternative is to make consumption the will of the people, so people buy things they want, and from vendors they like.

I think "this isn't free; you pay with ad views and your data is sold" is something that should be on a price tag on services that operate this way, though. It doesn't work if the price isn't clearly advertised.
I don't think a 31 year-old woman, let alone a (gasp!) career-orientated woman could be perceived as a trophy wife in the late 19th century.
That didn’t really answer my question. Let me make it more clear: let’s say two things are true: 1. Your vote for president does matter, so you’re not in a state where it’s almost certainly decided before the vote happens; and, 2. You agree that there are really two parties you can vote for. If you think Party A is really bad or dangerous, would you vote for Party B even if they don’t give a decent candidate, or would you just not vote?
Sorry, that was directed at tsimionescu and their Hitler analogy.
That’s exactly what I was thinking, yeah
I am paying less attention to minor day to day news drama during the orange mans second reign, but even then it feels more chaotic this time.
I'm not dying on any hill. I will sign back up for a €20 euro a month niche search engine when either the war ends or Kagi remove Yandex from their funding list.
When I'm feeling positive about humanity, I think it's a failure of comprehension of the scale of Foxconn. The company is about the size (both population and economic output) of a small country all by itself, and people are bad at imagining things on that scale.

When I'm feeling negative, a Tom Gauld cartoon comes to mind: https://old.reddit.com/r/funny/comments/2xljaz/us_vs_them/
The interface layout has changed since the article (although this specific article doesn't mention interfaces, a later article in the series does). Additionally Go now has generics.

It's true that little has changed, but very little is changing in the data representation of any language, really. Even ones that are evolving rapidly.
I don’t know where either of you are getting your numbers. The total federal revenue is a bit under $5 trillion and about half of that is income tax.

Neither of those numbers include any state revenue or tax.
What makes you think I hate liberalism? I was just pointing out it's not sufficient for a functional society, contrary to the tenets of our civic religion. If it was, our country wouldn't be such a dysfunctional shithole our citizens log on to China's instagram to talk about how much of a dysfunctional shithole this country is. Hilarious and hugely embarrassing.

Granted, I do abhor the part of liberalism that makes people think their voice has any inherent value and that political action begins and ends with voting. I'd like to remind readers that Hitler was voted into office, but the civil rights act was legislated out of fear of cities burning down, and it took a literal civil war to end slavery in this country (outside of prisons anyway). Most of the few labor rights we have in part because the labor movement was bombing buildings and shutting down entire cities. We live in an arguably progressive society in spite of liberalism, not because of it.

Am I naive for thinking americans are capable of making a government we can ACTUALLY not be embarrassed by? That can actually prioritize its own citizens over its GDP and bombing places that never did us wrong? Whose flag isn't seen by many groups of people as a hate symbol? With a culture not based on being proudly ignorant? Probably. But we all need hope. Liberalism certainly ain't gonna get us there by itself—at some point we need actual values to orient around aside from greed and the right to be an asshole in public.
Time, money and labour.

The parties turn on people who show up to do the work. There is a remarkable amount people can achieve if they show up as people who are willing to learn, do the work, and have their own eyes and ears open.
To be clear, there wasn't a no-deal Brexit in the end. There was what was originally called a hard Brexit (https://en.wikipedia.org/wiki/Brexit_withdrawal_agreement), but a no-deal Brexit would have been far worse.

R (Miller) v The Prime Minister (not to be confused with R v Miller, or R (Miller) v Secretary of State for Exiting the European Union (the solution here is clearly to just stop naming people 'Miller', to avoid further confusion)) was probably ultimately more important in its precedent than its concrete outcomes, though, yeah.
Fiwix: Small Unix-Like Kernel
> This is a cliche you hear from right winger in any country that has a progressive tax system.

This ad hominem stuff is very out of place. Why not solely engage with the argument?
as others note, most of this minutia can be automatically enforced. Anything that can be automated is not craft.