skysight-inc/HackerNews huggingface dataset:
It seems ShellCheck errs on the side of caution when checking arithmetic expansions and some of its recommendations are not relevant in the context they are given. For example, on `cat.sh`, one of the lines that are marked in red is:

In examples/compiled/cat.sh line 7:
: $((_$__ALLOC = $2)) # Track object size
^-- SC1102 (error): Shells disambiguate $(( differently or not at all. For $(command substitution), add space after $( . For $((arithmetics)), fix parsing errors.
^-----------------^ SC2046 (warning): Quote this to prevent word splitting.
^--------------^ SC2205 (warning): (..) is a subshell. Did you mean [ .. ], a test expression?
^-- SC2283 (error): Remove spaces around = to assign (or use [ ] to compare, or quote '=' if literal).
^-- SC2086 (info): Double quote to prevent globbing and word splitting.

It seems to be parsing the arithmetic expansion as a command substitution, which then causes the analyzer to produce errors that aren't relevant. ShellCheck's own documentation[0] mention this in the exceptions section, and the code is generated such that quoting and word splitting are not an issue (because variables never contain whitespace or special characters).

It also warns about `let` being undefined in POSIX shell, but `let` is defined in the shell script so it's a false positive that's caused by the use of the `let` keyword specifically.

If you think there are other issues or ways to improve Pnut's compatibility with Shellcheck, please let us know!

0: https://www.shellcheck.net/wiki/SC1102
What I mean is if you’re against “woke” things and you define “woke” as things you’re against those two things can’t be in conflict.

I’m not saying what he (or anyone else) says today is consistent with anything else he says or has said. Just that that one statement is _internally_ consistent.
Hey, I gotta ask a few questions here, given this oportunity:

How many people actually 'worked' there? Like, really did something all day?

What was the pay like?

What were the internal politics like?

Any good stories?
Julia != J. Or K. Or anything like either of those. It's not an array language.

It's a very readable language that anybody who knows Python etc could understand and has nothing to do with any of this.

EDIT: LOL, downvotes why?
If it's a work machine, you probably have network drives. Git bash is incredibly slow when working with network drives.
If I ask an LLM to generate new words for some concept or category, it can do that. How do the new words form, if not from joining letters?
The race organizers actually don't care about the bikes or sponsors the same way. The race organizers (at the world tour level) have a solid income stream. The biggest races are bigger than the World Tour and are older, and will still be around when the current World Tour setup folds.

It is the teams that are begging for money, all the teams need sponsorships for bikes and everything else. Teams in cycling have no home stadium and have no place they own and can sell tickets. They aren't in control of TV rights or anything like that for races that are big enough to be televised.

It's one of the unique things in cycling. Even at the grassroots levels clubs were often volunteer but race organizers might have been or are for-profit. Even at the grassroots level the organizer charges entry fees.
I think this headline should read specific to C/C++ for Linux.

I'm still not sure that I agree with the above, but I do know for sure I couldn't say this about Python, Java, Go, web, etc. because development on Windows for any of these most popular languages is braindead simple in those cases. In fact it's much easier than setting up in Linux or Mac for the same thing. Especially in a multi platform enterprise environment with lots of security controls and a need for cross platform file sharing.

To put this in perspective, this article is a tour of trying to do cross platform development in C/C++ on the only desktop OS that it's reasonable to do that in at all.
Years ago, my wife did some contracting work for a team responsible for the voice assistant at one of the major tech companies. Her role required her to work with the directors and VPs and she came home one day to tell me how one of them laid out their grand vision for the product and was talking about how, not only will people use these things to buy every day items, but one day people will be making major purchases like cars with these things.

I can't speak for the Alexa team, but if the execs at Amazon are anywhere close to that delusional, it's no wonder these things are falling short of expectations.

The problem IMO is trust. These devices get simple commands like, "turn off the lights" wrong on a semi-regular basis. No one is going to trust Alexa to buy the right thing until they're confident that it consistently understands them correctly and currently the error rate is just too high. Even if it does understand me, I don't trust Amazon to send me a quality product.
I was really pissed when Alexa tried to sell me "Despicable me" movie as the first thing when I announced good morning. Never tried that again.
Doesn't work with Firefox, what a shame. https://support.apple.com/en-us/120585
A municipality installed a camera just outside a Swedish Redditor's balcony
Bruce Sterling's sci-fi novel Heavy Weather (1994, about climate-change tornado chasers looking for 'the big one') had a brief bit that struck me then and had stuck with me hard:

All software is basically free, except groupware, which everyone pays a small monthly per user fee to host & run.

It rings so true, is a prediction for that world that has had ever more prescience about where the real world has headed. Service-as-a-Software-Substitute has provided a constant revenue stream for companies that is very desirable, there's no way to pirate a service (well, password sharing sort of...), and software is just far more useful to us when it's connected software, when it's multiplayer. It's been fascinating to watch, and alas sad too, because there are so few common footholds for open-source ethos to get out & really be core to this new world, unless we start asking people to run to servers or succeed in operationalizing p2p as a viable option. Groupware has set a bar for software that we don't have good means to provide or develop for, short of making far off clouds and enterprises to back it.
And now consider daylight savings time changes.
How? I don't think the kernel cares what the directory looks like - userspace will break in funny ways, but you can boot without procfs even mounted (well, I say boot, but more like "you can start a shell and some things will still work")
PyTorch 2.4: Python 3.12, AOTInductor freezing
Even used rr?
Oh yes, very easily, although you'd be surprised at how much works without a functional /proc.
This is wrong on so many levels. Linux started out as a hobby project. In contrast, Windows NT started out as a well designed system made by seasoned professionals.
You're right, thanks for the bug report. It should now be fixed :)
There's no need, there's already this thing of beauty:

https://keymacs.com/
If we’re going to do some time travel, I’d also like to make the DNS packets easily versionable and add some space for additional version codes, the current extension mechanism with eDNS is quite cumbersome.
Have we gone full circle?

Wasn't the point of OCSP to provide a low-latency and low-data alternative to CRLs, which might become massively huge?
Having only recently dropped Windows as my OS of choice for professional matters, I can get behind this statement. On rare occasions, the line ending stuff got weird. Other than that, it was smooth sailing.
Really the only semi-interesting part of this is "if you make a private repo public, data from other private forks might be discoverable", but even that seems pretty minor, and the best practice for taking private repos public is to copy the data into a new repo anyway.
Maybe AI as a service? End user pays for AI once and most things that need AI capabilities offload it to that provider.
I was talking to my physical therapist this morning about my experience with the recent exercises he'd given me, and I pulled up my Garmin workout calendar to show him my inconsistency. He'd told me to do a particular stretch every 3 hours or 6x/day, and I'd been having several days a week where I'd only completed the routine 4 or 5 times.

He said that level of consistency was fantastic, that at least a third of his patients flat-out told him they hadn't done any of the exercises at all, another third showed no improvements above baseline and he suspected they had lied about it, and the remainder had moderate compliance. When he'd told me 6x/day, he was anticipating 2x on the high end. We adjusted to 4x/day, where morning, lunch break, after work, and before bed were easier habits to stick to than trying to drop and do press-ups in the middle of my 9:00 meetings.

And that's at a sports and fitness-focused PT organization, not an average general practitioner working with median diets and advising a society that by default trends towards diabetes.
Nobody tells it like Zitron:

https://www.wheresyoured.at/pop-culture/

> What makes this interview – and really, this paper — so remarkable is how thoroughly and aggressively it attacks every bit of marketing collateral the AI movement has. Acemoglu specifically questions the belief that AI models will simply get more powerful as we throw more data and GPU capacity at them, and specifically ask a question: what does it mean to "double AI's capabilities"? How does that actually make something like, say, a customer service rep better? And this is a specific problem with the AI fantasists' spiel. They heavily rely on the idea that not only will these large language models (LLMs) get more powerful, but that getting more powerful will somehow grant it the power to do...something. As Acemoglu says, "what does it mean to double AI's capabilities?"
"All problems are people problems"

-Gerald Wineberg
The post you're replying to didn't say "on Linux" - IIRC, unix ps worked by reading /dev/kmem or so

Edit: My mistake, it was /dev/mem - https://github.com/lsahn-gh/unix-v6/blob/master/source/s2/ps...
I've been developing on Windows the last year and a half. I came from a Linux background and wanted to learn how to use Windows in the same way I used Linux, that is to say, I wanted to avoid finding "bash on Windows" solutions and calling it a day.

My advice, install Visual Studio (or just the build tools), fire up the developer command prompt for your architecture, then learn the cl (compiler) and ml (the assembler) command line invocations. Many common Unix commands have an equivalent command prompt command you can learn. It just takes some repetition to remember them.

I will be the first to admit, it's very funky. Copy and move have some quirks (use xcopy or robocopy). Batch scripts execute in a really uninituitive way. There are a lot of rough edges but you can develop C and C++ like you would on Linux with a terminal and text editor, it just takes some getting used to.
Terence Tao's Comment on Mathematical Notation
In general music is a business you go into if you want to lose money. At Amazon's size they can probably negotiate better deals than smaller companies can, but it's still a painful business to be in.
This is a pro Blind post and I appreciate that you took the time to write it up in such detail :)
The biggest gotcha here is probably that if you start of with a private repo and a private fork, making the repo public also makes the fork "public".

GitHub may very well say that this is working as intended, but if it truly is then you should be forced to make both the repo and fork public at the same time.

Essentially "Making repo R public will make the following forks public as well 'My Fork', 'Super secret fork', 'Fork that I deleted because it contained the password to my neighbours wifi :P'.

OK. I'm not sure if the last one would actually be public, but I wouldn't be surprised if that was "Working as intended(TM)" - GitHub SecOps
Thanks for clarifying. I can see that's what he meant now.
Come on, this is not surprising.

"Private repositories" were never private as I said before. [0]

[0] https://news.ycombinator.com/item?id=23057769
For me: winget still is missing critical tools that I need, most notably maven. I've also found scoop extremely easy to contribute too. I also don't need to worry about it pulling packages from the windows store or running installers that won't install to my user directory.
> Based on the testing performed before the initial deployment of the Template Type (on March 05, 2024), trust in the checks performed in the Content Validator, and previous successful IPC Template Instance deployments, these instances were deployed into production.
Semioscape.org
It just needs a little hint

Me: spell "strawberry" with 1 bullet point per letter
ChatGPT:
S
T
R
A
W
B
E
R
R
Y
Me: How many Rs?
ChatGPT: There are three Rs in "strawberry".
> willing to buy things “site unseen”

Heh - that eggcorn is actually applicable in this case, as they have not seen the Amazon website.
Hardware failure hosed or just needing a re-image hosed?

Unless the hardware was already near failure I don’t see how this could cause hardware failure. The worst case scenario was the machine just constantly rebooting but after 3 (I think, somewhere around that number) it should have launched into WindowsRE.
UCI has barely ever had the willpower to do this.

Tons of teams are still run by folks who were heavily involved in the 1990s and 2000s doping scandals. They all claim they're all clean and reformed but most of them were never really punished.
I daily drive hyprland and would recommend switching. The pace of devel is awesome. Their community gets a bad rap because they are classical liberals (i.e they express their distaste by disagreeing vigorously but they will defend your right to say something they disagree with) vs thinking someone's feelings will get hurt and that being reason enough for silencing someone. That being said, their main discord channels are kept a lot more on topic and away from sensitive topics than they have been even just a year ago, so this is mostly not a problem unless one is actively looking for a problem. Basically, if you think the triggernometry podcast is a stimulating thought exercise that you often disagree with, you will be fine. If you think it's a hate crime you won't be.
Without regulation, best practices are simply opinions and suggestions. “Please do” is insufficient for critical infrastructure. See: financial infra regulatory apparatus.

Incentives, outcomes, the usual.
Ask HN: What's up with the ChatGPT spam here lately?
I noticed in the past few days a large uptick in probably ChatGPT-generated comments. These accounts have low or negative karma, were registered in the past few months, started posting less than a week ago, and seem to just rephrase the title or the contents of a post with some faux "questions" at the end.

Had anyone found reasonable heuristic to block them? Can someone maybe collect a small dataset to train a classifier? If HN becomes a target for this, manual moderation may quickly prove insufficient.
A great summary that should encourage more Linux developers to use Windows. Lots of utility with WSL2 and Hyper-V built in, you can run any Linux distro you like with a single click from the MS Store, while enjoying the great performance and UX on Windows 11 (once you turn off the ads -- yeah I know).

I use a combination of VS Code with WSL2 Debian -- so it's identical to my prod environment. It's polished, consistent with prod and efficient on my hardware.

Compared to the Mac I find the Windows experience to be far better, because of the native Hyper-V VM support, better Linux compatibility with WSL2 and the much more diverse hardware options. The PC ecosystem is incredible.

Even the Windows ecosystem is nice, Visual Studio Community is free, the CLI compiler is available, winget makes installs easier, Powershell has a lot of utility and Windows Terminal is excellent.

Given that you can pick up a capable mini PC for about $200 , it's worth testing out. Windows is great for Linux development.
Free just got cheaper.

Yeah, I know using free software isn’t a panacea. Still it would be a step in the right direction, plus I could not refrain from the cheap shot at M$ Windows.
This was exactly my problem with the dash buttons, and with Amazon's recurring order system.

And I'm not certain, but I believe that sellers game this system- you can see certain things that make sense to order on a recurring schedule have unconscionable prices. Once you have a certain threshold of recurring orders, why not increase the price 10x? Especially because Amazon puts so many dark patterns in the way of a user canceling a "subscription".
You cannot just tell kids not to do it, you have to engrave it into their identity.
> It's plenty of space for a portable drive, it's enough for a Linux installation

RHEL9 installer is 10GB.
Its like showing someone a color and asking how many letters it has. 4... 3?
blau, blue, azul, blu
The color holds the meaning and the words all map back.

In the model the individual letters hold little meaning. Words are composed of letters but simply because we need some sort of organized structure for communication that helps represents meaning and intent. Just like our color blue/blau/azul/blu.

Not faulting them for asking the question but I agree that the results do not undermine the capability of the technology. In fact it just helps highlight the constraints and need for education.
Unfortunately it only knows integers and rounds 15% up to 20% and 12% down to 10%.
> Midjourney's images just don't give me that much control to create the kind of ads I exactly want. I get a poor approximation at best.

It's quite paradoxical, is it not?

The genie is bottle-unbound. But, not yet controlled ...

> This is the same problem across all current LLM applications. Great for small businesses, hustlers, entrepreneurs. But not enough control for the big boys

What you posit - which may be true - does offer an interesting corollary: It would act as an "equalizer" favoring the 'small guy'?
$5.4B seems way too low given the number of flights Delta cancelled and will be on the hook to refund.

https://www.washingtonpost.com/transportation/2024/07/23/del...
> but this seems like the beginning of that world.

It's not the beginning, it's mere continuation.

Walled gardens have existed since the AOL days. They deteriorate over time but it doesn't prevent companies from trying (each time, in bigger attempts).
> Except we allow people to call themselves engineers without having professional accreditation.

Naturally. We allow people to practice engineering without professional accreditation. It would be completely nonsensical to prevent someone from being able to state literally what they do. Some specific engineering areas (those most likely to cause human harm) may be more discriminating with respect to who is allowed to do the work, but with respect to engineering in general it is open season. Anyone with the will is free to do it.

We don't (at least with some assumptions about jurisdiction) allow people to practice law or hair styling without professional accreditation. Anyone claiming to be those things without the professional accreditation is lying, so there is at least some logic in trying to stop people from lying. But not so is the case for engineer. Not having professional accreditation does not imply the same.

Except in my country we do prevent engineers from calling themselves engineers unless they have professional accreditation, even though we quite happily allow engineers to practice engineering without professional accreditation. It's the stupidest thing.
How do you "discriminate" data gathering at web-scale, though? In my view, everything at web-scale only works because there are no humans in the loop, as repeatedly explained here in basically every thread involving Google or Facebook. Yes, since it's a scientific paper they should have defined their usage of the word, but I see nothing wrong with the basic premise that automation at large-scale implies indiscrimate use of content.
I am a layperson who doesn’t work with the “lower register” as discussed in the article very often (if at all), and this makes a lot of sense to me in a way that most discussions about pinning do not.

I respect, maybe even envy, the clarity and humble conviction in your writing.

I learned a lot reading this.
Well, 'security' check boxes have consequences.
Everything about the equipment has been a charade for many decades.

All the real improvements in bikes have been banned for a very long time and pro racing is used these days to sell all kinds of things which have been sideways moves at best.
> the music likes you not.

> You don't like the music

Shouldn't it be "the music like you not"? Since the music is the object and thus no 's' added to the verb for 'you'?

Also, wouldn't accusative make the word order arbitrary at the time written?
Or shat-beryllium?
So very timely, reading The Economist from last week
https://www.economist.com/europe/2024/07/16/russias-vast-sto... (https://archive.is/Z9j7Y no paywall). I'd definitely trust The Economist over most anything on this kind of research.

Some choice quotes:
"Vladimir Putin has the old politburo to thank for the huge stockpiles of weapons that were built up during the cold war"

"Russia’s ability to build new tanks or infantry fighting vehicles, or even to refurbish old ones, is hampered by the difficulty of getting components. <...> The lack of high-quality ball-bearings is also a constraint."

"They [military firms] also largely depend on machine tools imported years ago from Germany and Sweden, many of which are now old and hard to maintain."

Given that the country has no ability to produce ball bearings - and in other news, even nails, and can only cast gun barrels in single digits on western equipment, consider me HIGHLY skeptical that any rocket modernization that was supposed to have transpired has gleaming ready to fly stuff. More likely the money was "razpil" (разпилено) - literally "sawn off".

Still, lets hope we don't have to find out
Sort of a weird question but who's using Intel anymore? Most tech people are using Macs on the laptop side, AWS is going Graviton first, RaspberryPi/small form factor is ARM, and then of course there's all the higher level abstractions that are common where you can't even know what processor is under the hood.
MSYS2 plus its CLANG64 environment is great stuff:

https://www.msys2.org/docs/environments/
https://news.ycombinator.com/item?id=41054756

Please tell me you aren’t carelessly repeating a braindead figure you read because an LLM TOLD SOME GUY SO. Because you wouldn’t do that, right? Please.
Certainly rude but also possibly legally problematic. If they were judged to be in a dominant position in a market and were found making deals with exclusivity then it can get expensive.

It all depends of course what the market is. If one looks as reddit not as a whole but as a collection of niches then one could imho find niches where reddit has a dominant knowledge position.
Nature published a computer science paper???!

"Given that training a single moderately large model produces twice the American lifetime’s worth of CO2 (ref. 15), we opted to not run such an experiment and instead focus on a more realistic setting for a proof of concept."