skysight-inc/HackerNews huggingface dataset:
> or the “lazy caterer’s sequence” (1, 2, 4, 7, 11, 16, 22, 29,...), the maximum number of pie pieces that can be achieved by n cuts.

My brain just did not want to accept "7" as the fourth number in the series.

I even drew it, and it was still damned difficult to make my hand offset the line to leave that shit piece in the middle!

Makes me wonder if there's some forth dimension that humans are quantized to ignore. Like right now, there is an alien traffic jam on some sprawling inter-dimensional superhighway caused by a human who plopped down like a duck to check on the price of an NFT.
The first one is 157 characters, and what it is doing can be grokked at a glance, in less than 10 seconds, by a competent developer. Choosing to format the body across 5 lines for clarity does not change that. I consider that "basically" a one-liner.

> What's the point of spending the time writing your own interface, implementation, and tests of every single util

I would not write tests for many of these, and the interfaces usually require no design because these are familiar functions like map, filter, etc, to most experienced developers.

I gave the main reasons answering your questions in my last post, and I think those reasons are powerful enough that I would consider using a lodash a mistake in most situations.

You are essentially making the "leftPad" argument, it's a kind of inverse "NIH" ethos: Why should you ever write your own anything when someone else has done it? And the answer, again, is the same: dependencies have a non-trivial cost.
Basically, you can look at [the list of nuclear plants under construction](https://world-nuclear.org/information-library/current-and-fu...) and see that the Russians VVER series are still going up around the word (over 20), the Chinese are building a bunch (of many different international and domestic designs, I don't think they've built one for another country yet), the South Koreans have 4 under construction around the world, there are 4 AP1000 (two in China, two in Georgia) and 6 EPR (2 in China, 1 in France, 1 in Finland, 2 in UK). (Plus a couple of oddities like Argentina and India building a new domestic design each.)

I think an under-appreciated point is that if you do a pause on nuclear construction, say because of the Fukushima Dai Ichi or Three Mile Island or whatever, you lose the skills to deliver them on time and quickly very fast, and it actually seems to be harder to rebuild than it was to build the first time. My suspicion is that the first time your standards are lower, and so you don't design as aggressively and your workmen deliver okay workmanship. Then you pause for a while, all your experience scatters to the wind, but you need to deliver next generation performance, and you just don't have the industrial base to actually build it on time and under budget.

This doesn't seem to be a just-America problem: France alone built ~60 reactors in the 1970's and 1980's and Germany and the UK built more, but the EPR has been just as big as disaster as the AP1000, because they didn't build new reactors in the 1990's and that experience withered away, but are still trying to deliver that next generation performance.
What wireless technology would you recommend instead then?
French engineers were still allowed to travel abroad and work on other French projects which were overdue and over budget.
well, no, it's an entry in the tree object
> It is the basis of US-Taiwan relations as a starter.

Only in the context of the PRC. The reality of US-Taiwan relations would be much clearer if it was not PRC policy to sever diplomatic relationship with any country that recognizes Taiwan.

On the topic of Taiwan, it's a mistake to reason about de facto relationships from de jure "official positions." Basically, the "official positions" are lies, and the actual positions are not directly stated. For instance, if the US really considered Taiwan as "part of China," it wouldn't be war-gaming how to militarily repel an invasion from the PRC.
gil or no gil is mostly irrelevant for numpy, an extension that does most work with gil released.
APS 2023 March meeting is finally back in Las Vegas!

https://march.aps.org/

From the article:

> The casino’s take that weekend was so low that the group was allegedly asked never to return to the MGM Grand, or to the city of Las Vegas—or so says the legend the APS has repeated for the last 32 years. The most effective way to take the house, it seems, is to simply refuse to play its games.
Agreed, why can't the user override the rules for mice/keyboard vs microphone/speaker or overall? I never use my MacBook in clamshell mode. I would prefer that closing it cancels ALL Bluetooth connections and prevents reconnect as well.
Google has no motivation to improve Google Search until a runner-up makes serious inroads into its popularity.

Running a search engine probably isn't like a marathon, where if you're a front-runner by 800 meters, you still care about setting a personal best or breaking a record.
Show HN: Pagerly – Manage Oncalls on Slack
here "wealthy" is a dig on the employee
Chase, largest bank in the US, doesn't support TOTP yet there ar no articles how someone lost almost $100k by a sim card attack. Coinbase inability to detect and mitigate a sim card attack is on them and their lack of security.
Very few people are in a position to pay for all their shares upon accepting a job. Which an 83b election entails.

Change my view.
> We are Pro pros around here. (Is this post prose from the Pro pros? I suppose.)

Should have ended with “i supPROse”
Old people in said countries implemented said surveillance anyway.
> I've seen more than one system where the database itself was directly responsible for things like rendering final HTML for use by the end clients.

I did this for a side project a few months ago and even used postgrest to serve the page with correct headers for html. It felt simultaneously really cursed and obvious. Shit you could even use plv8 to run mustache or whatever in the db if you really wanted to piss people off.
Flagged again.

Can't help but notice what kind of political bend we see in the things that get flagged here.
Super weird to me that the OEIS only stores "first 180 or so characters of a number sequence". Of course that's going to completely mess up the analysis in the article. They do mention this. There's something strange to me about how often analysis doesn't have disclaimers like "0.1% of data wasn't available but we think that's fine" but more like "the writing samples were collected on napkins with Sharpie in a Denny's at 4am and every sample from someone with a last name starting the letters M-Z was lost in a fire" then goes on to make a bunch of conclusions about modern essay writing or something.

Anyway, it'd be cool if the OEIS had the numbers up to some limit. Maybe 2^16 so it fits into two bytes. It would be at most 1.2MB per entry, but generally way way smaller.
Well, like they say...

https://cs14.pikabu.ru/post_img/big/2022/10/20/9/16662766691...

(when you're French and can't read War and Peace because of all the inserts in Russian)
The lesson is that shockingly few people have realized is that the problem space is not, nor has it ever been, served by declarative solutions. You can describe the state you want a system to be in but there will inevitably be procedures involved to do some of the work. It is unavoidable. At the point people began developing templating around their configuration, ah, templates... which themselves have imperative language constructs awkwardly (and badly, cough Golang) embedded in them, it should have been clear to everyone with a shred of talent that it wasn't a good solution.

Declarative configuration is wholly expressible by imperative languages. The converse is not true. Declarative configuration is appropriate for declaring state (i.e., values), and not for describing procedures.

Stop using half-baked YAML crap and start using real tools.
Room 7?
Very, very screwed up. Duct tape and bubble gum. My goal over the next 24 months is to get enough of the projects, automation, and other sustainability issues resolved that I can tackle the SRE team problem.

Starting with firing 90% of them once all processes are automated away and they can no longer justify headcount(3x the headcount of DevOps). It will be a battle, that VP has nothing but SRE under them and the only reason they werent fired years ago is because of their connections with the CEO.
It also allows thieves to figure out which cars have a laptop in the trunk.
You can't just fix that in code. FTP and SFTP are completely different protocols that use different servers.

You need a new server to talk to in order to fix that. And if it's a customer server maybe it can only do FTPS rather than SFTP.
You should be doing oil changes every 5k (Some say 3k) miles/6 months. Once a year is not enough with the distance you are putting on it. You should have had about 10-16 oil changes. That would explain premature wear on your timing chain (More likely you have broken guides).
Ask HN: Mac Apps You Pay For?
It seems like that “lack of motivation” applies to many other medical conditions as well, and people like me who actually want to and have and will commit to the “hard fix” are confused about just how “incurable” something is, and whether something like surgery really is necessary.

Thoracic Outlet Syndrome for example can typically be cured with either months of exercise and stretching, and being cognizant of one’s posture throughout the day, OR a relatively simple and quick and minimally-invasive surgery. I get why most people opt for the surgery and probably even lie to themselves by saying surgery is the only pragmatic option.
We should make a list of organizations that have one mission and fail in that mission. It would take much time.
> There's a long history of attackers reliably detecting logging keys with audio using just inter-keystroke latency and some histograms

I wrote some fiction about this. The cosmic microwave background is hiding an audio signal. It's the sound of a keyswitch. Humanity uses the radio astronomy equivalent of these techniques to discover which keystroke caused the big bang.
> If you are trying to mix NonEmpty and AllEven and AllGreaterThan100 for the List example, then you would get the combinatorial explosion of types.

This is overthinking it. Usually, when people are not used to doing constructive data modeling, they get caught up on this idea that they need to have a datatype that represents their data in some canonical representation. If you need a type that represents an even number, then clearly you must define a type that is an ordinary integer, but rules out all odd numbers, right?

Except you don’t have to do that! If you need a number to always be even (for some reason), that suggests you are storing the wrong thing. Instead, store half that number (e.g. store a radius instead of a diameter). Now all integers are legal values, and you don’t need a separate type. Similarly, if you want to store an even number greater than 100, then use a natural number type (i.e. a type that only allows non-negative integers; Haskell calls this type `Natural`) and store half that number minus 102. This means that, for example 0 represents 102, 1 represents 104, 2 represents 106, 3 represents 108, etc.

If you think this way, then there is no need to introduce a million new types for every little concept. You’re just distilling out the information you actually need. Of course, if this turns out to be a really important concept in your domain, then you can always add a wrapper type to make the distinction more formal:

newtype EvenGreaterThan100 = EvenGreaterThan100 Natural

evenGreaterThan100ToInteger :: EvenGreaterThan100 -> Integer
evenGreaterThan100ToInteger (EvenGreaterThan100 n) = (toInteger n * 2) + 102

integerToEvenGreaterThan100 :: Integer -> Maybe EvenGreaterThan100
integerToEvenGreaterThan100 n
| n < 100 = Nothing
| otherwise = case n `quotRem` 2 of
(q, 0) -> Just (EvenGreaterThan100 q)
(_, _) -> Nothing

Of course, this type seems completely ridiculous like this, and it is. But that’s because no real program needs “an even number greater than one hundred”. That’s just a random bag of arbitrary constraints! A real type would correspond to a domain concept, which would have a more useful name and a more useful API, anyway.

I wrote a followup blog post here that goes into more detail about this style of data modeling, with a few more examples: https://lexi-lambda.github.io/blog/2020/08/13/types-as-axiom...
It's a meme asking what exactly he did, which is a completely valid question for someone who clearly wasn't working and then launched a public smear campaign to get paid.

> and that is a spurious reach.

Halli himself tweeted that he "did what his manager told him to" but didn't actually say that he did any material work, instead citing that he had been waiting forever from HR without any response. I cannot believe people are trying to defend that this dude was actually working when it's very clear he wasn't.
Can the title be renamed to "software engineering blogs"? Perhaps this should be obvious but in the 30+ I checked they were just variations of software engineering.
If they were the earliest employees the stock should have been at par value, making the tax payment minimal.

Later employees typically get options, which don't have the tax issue.

So I'm still unclear where the tax bill is coming from.
Pretty cool project. While I never did NES games, I did assembler on the C64 for a while. The language alone minus the NES parts would already have been super useful back then at least for the high level parts of the programs I wrote.
Well, do you have any suggestions? (earnest question)

I have been thinking/reading about this a lot in the past months (to the detriment of my mental health, unfortunately), and it seems like even non-FLOSS operating systems are somewhat invasive when it comes to privacy, let alone the software you run on them.
As long as you don't care about UB or edge cases. Every time Rust makes something hard, it's forcing you to handle an edge case up front.
Wow, what fx are you running -- and does that or could that include convoluted reverb?

(Convoluted reverb is utterly awesome but more processor intensive than almost anything else)

Edit: and sorry, to be helpful, by low latency, could you meantion how many ms that is -- because while I'm very happy for you, and really interested, 15ms is very different to say 5ms or lower
Regardless, I do wish products containing them were labeled better. My dad is allergic to most of them. We nearly had to make an ER visit after he ate some pickles because Kosher decided that they suddenly needed to put artificial sweetener in their pickles.
Maybe they didn't have time to target all four pipes or couldn't get enough explosives or or or.

Even plans with a lot more money, planning and time aren't executed perfectly.

Edit because of one comment suggesting it was a russian group pretending to be Ukrainian:
Maybe it was a Ukrainian group pretending to be russian that's why they only blew up 3 pipes.
Too bad, zoomers, nobody asking you a permission. In fact, you are the first digital surveillance generation that delivering steady stream of data from your birth to your death. It will greatly help to fine tune digital gulag your children (if any) will live in 30 years.
I've often said that Airpods are the best bluetooth headphones I've ever bought, and they still suck.
Ukraine wants to use Starlink to make war, so when Elon intervenes to prevent the use of Starlink for certain applications in making war, he is making Starlink less usable for Ukraine.

You're raising an argument for why it is in your view justifiable for Elon to do this, but that doesn't make the basic elements of what the commenter above said false.

Nuclear weapons are far more destructive, and indiscriminately destructive, than the use of satcomms with conventional weapons, so I think that choice of comparison is hyperbolic and unreasonable. This seems more like Garmin sending GPS units to Ukraine but refusing them to be issued to tanks, and as much as Elon has the right to determine the use of the technology his firm is donating to Ukraine, people have the right to criticize his choice to do that. Ukrainians will die because of this decision, and it is fair for people to criticize the choices that lead to that result.

Edit: I can't reply any further so I will just reiterate in reply here. Ukraine is using starlink for war, so making starlink unusable for weapons is making it less usable for Ukraine's use case, defending their country from invasion. How you choose to morally equivocate the invaders to the defenders is your decision, but it doesn't make what the commenter above said "fake" and it doesn't insulate Elon from criticism over his own decision.
If you don't mind: What would you working on it look like, on a typical work-day look like, hour wise? Raise up at 5am and hack away for 2h, or come back from day job and straight into the fun thing, or wait a bit and than hack away... What worked for you?

Lately, I seem to manage 1-3 days of coding on my hobby project after work, provided I have some features where I can see meaningful success within 90 minutes of coding (+ the same time for debugging or researching new libraries, if needed)
I had sketched an idea for a web ui that would talk to a VCV instance, outputting signals to a real eurorack device with an expert sleepers module… need to keep hacking on that.
There are a bunch of USB over IP boxes you can buy, so it depends on the m what you're looking for, port-wise. That plus a wifi router gets you what you're looking for.

Eg https://www.digi.com/products/networking/infrastructure-mana...
I've got uses for my own pickup, which is a 2000 Ford Ranger.

Really about all I need is a 1980s sized Toyota Pickup/Hilux with a long bed would be great, updated for modern standards.

The idiotic way that trucks are turning into massive 4-door tanks with tiny 4.5 foot beds is not what I want as a consumer who wants to own a truck.

The market seems to very much be driven by people who aren't hauling lumber based on the bedsize. There's more and more pics showing up on social media now of idiots with 2x4s sticking out of the passenger compartments of new trucks because the bed size is so shit small.

I'm a big fan of all the derision that he pours on the trucks that are being sold right now.
New in Chrome 111
Unfortunately there is always that clever one than can't let go of writing C style code, regardless of what kind of pointers are being used.

It is one of my favourite languages, but I also acknowledge that C compatibility is a big pain point for security.
Shouldn't the strike of the options make them worthless at grant time? I was under the impression that the 83b election is awesome because it basically gives you tax free grants.
Indeed, one gets to write macro like code on the same language.
FCPX, Reading List, Stoic, Hemingway Editor, Xnapper :)
Intuitive Compiler, a TypeScript lib for converting source code into tokens
The Intuitive Compiler TypeScript library is a compact string tokenizer that makes it easy to define your own custom LR(1) programming language!

State machines can be built using simple code that is easy to read and write, yet powerful enough to convert a string of that language into tokens for further processing.
The Futhark Programming Language: Functional Array Programming in GPU
Until you need to update it, or apply it to multiple environments, or any number of tasks where the concepts of configuration parameters and dependencies become important.

Edit: I'm not saying Ansible is an appropriate substitute (it absolutely isn't), rather that `kubectl -f` is not a scalable solution.
Yes, Elon did exactly that.

Thorleifsson repeatedly inquired of HR, then made a single tweet to Musk.

As I pointed out, Musk could have 1) simply ignored it, 2) ignored it and cc'd HR to reply, or 3) publicly replied something brief and to the point, such as "Yes, terminated, cc:HR to close out paperwork".

Yet, musk chose to do none of the above, instead choosing to escalate the situation, evidently while underestimating his opponent.

This is absolutely 100% on Musk, it's his company, his response, and he's the wealthiest and one of the most powerful men in the world. He chose it, and the fact that he got publicly pwnd is entirely his own doing.

But, as usual, there's that meme about some weird nerd who always throws himself in front of a valid point to try to protect Elon. (If it matters, I also posted on HN several things defending Musk, but this is indefensible)
> How does driving a 2000kg car harm anyone?

/me waves in the general direction of 40,000 traffic and pedestrian fatalities a year...
We all saw how we overestimated the capabilities of russia.

So I doubt that Russia could pull such sort of attack.
Sugar isn't the only industry either, Dairy operated the same ways. Funding nonsensical research about how healthy and great it is, meanwhile the study is just on added vitamin D, something milk doesn't have naturally. It's how they get away with it, and all you would see in news and ads is "drink milk it's healthy!"

Dairy even worse in many ways, because there was no requirement in the food pyramid (and it's related forms) to have a bunch of sugar. However, it's been standard for decades to push multiple full cups of milk per day.
Who’s to blame for all the SPAC implosions?
Obligatory http://www.autofish.net/shrines/rox/
The hostility is what I think is more damaging than anything else. When people have an objection to something that is resulting from them misunderstanding the thing, telling them they're stupid, lazy, or even malicious just makes them disengage (and correctly so).

The end result is that they will continue to object to the thing, but won't raise their objections to the experts anymore. And why would they? Nothing good came from it the first time.

It turns what should be a cooperative relationship into a combative one. I see this happen in pretty much every discussion of IPv6 around, including this one.

The other issue is that the subject matter experts rarely actually explain anything. They just toss out acronyms and buzzwords and consider the matter corrected. But it's not -- they're talking as if their audience is another subject matter expert, when it's usually not. Acronyms and buzzwords mean little to them.

And telling them to "google it" likewise does little good. The audience isn't a subject matter expert, doesn't want to be, and shouldn't have to be. If IPv6 really is so complex that you have to be an expert in order to use and configure it properly, then isn't that a problem with IPv6?

My assumption is that's not the case (but I'm not sure on this point), but instead, the experts are failing to actually teach people about this stuff.

In the end, I blame the rollout of IPv6 itself. Exactly zero attention and effort was paid to evangelizing and educating people about it. There was no gradual rollout plan put into place and encouraged.

The IPv6 rollout effort failed to do the things that are necessary to facilitate a shift of this magnitude. This makes the whole thing very confusing and leads people who aren't elbows deep in the topic to lean toward "I don't feel that I can do this safely, so it's better that I don't do it at all". Which is not an unreasonable stance.

The tragedy is that it all could have gone so much better than it has. It could have been a thing everyone unified about rather than a thing that is rapidly becoming a kind of holy war.
Does Cargo support building C or C++ dependencies? I see a lot of projects with a mix of Rust and C/C++ and I’d assumed that just meant I’d have to deal with 2 build systems.

I looked at Nix to help with multi-language builds (and cross compiling), but only had limited success.