mbac32768

I wonder if bong hits ever helped him with his Makefile.

Sounds a bit like surrender here.

There's no reason to read the code anymore.

The LLMs produce it inhumanly fast.

They can usually debug and fix problems faster than Haskell can compile the project.

Meanwhile the open source communities are in basic denial about AI, so trying to change things by making compilation faster or advancing a Haskell interpreter are going to meet with fierce resistance.

Whatever. Give up. Just ship Python.

I sympathize.

Lyme disease is not the only tick disease.

There's alpha gal (red meat allergy ) and also ascending paralysis. And more.

My child almost died from a tick. Other children do die.

I would gladly kill every tick on Earth and whatever relies on eating them so no human has to lose a kid to this again.

At the minimum I might say you only allow Chrome to access Google Workspace/SSO, which is needed to access like 95% of company resources. This is, in fact, the topic of the OP.

You can do additional device management to lock down the rest of the machine. You can force Chrome and restrict Safari/Firefox/etc on Mac just fine. Same for Windows.

It's possible some people thought they were there to move zines. But then there's this.

In addition to the encrypted messaging group chats, Song, Arnold, Morris, and others met in person on July 3 at a "gear check" at Morris and Arnold's residence. There, Arnold asked Song whether they would be bringing guns to the July 4 action. Song replied that they would because he would not be going to jail. Song repeated words to this effect multiple times throughout the evening, putting everyone there on notice of his intent to shoot at police rather than be arrested.

Some of these people had to know they were entering an armed conflict. The fact that their leader went on to shoot a cop looks real bad for the rest of them tagging along.

This is the correct answer. Having your users run multiple browsers by default (instead of with whitelisted exceptions) is now multiple attack surfaces the org has to manage.

It's incredible how hard it is for firms to migrate away from platforms. Clearly you could just give something away for nearly free for 20 years and then jack the price up and make bajillions.

Even better if you can charge a mildly high license fee for 20 years first and then jack it up to something outrageous and still have customers who just can't drop you.

Dr Newman showed that the highest rates of achieving extreme old age are predicted by high poverty, the lack of birth certificates, and fewer 90-year-olds. Poverty and pressure to commit pension fraud were shown to be excellent indicators of reaching ages 100+ in a way that is ‘the opposite of rational expectations’.

Blue Zones absolutely destroyed.

After spending years on end doing functional programming I used to stumble when looking at for loops until I got used to thinking that way again. It's funny how different the skills are.

Lisp actually kind of sucks and the community is insufferable but a lot of good things in computer science are unachievable without lambda calculus. Compilers, type inferencing, Rust's borrow checker, some parts of React, async/await desugaring all flow from monk-like practice of the lambda calculus.

You could possibly invent these things as a Turing machinist but it'd be by stumbling backwards into them and likely doing a shitty job.

probably the best use of s-expressions is as an alternative to json which you can implement in 50 lines of code

e.g. pretty good for config files or basic serialization

We're so close to realizing the answer was with us the entire time.

midwit meme template

guy on left: katie u want meet 3pm discuss project

midwit: Hi Katie, I hope this message finds you well and that your week has been off to a productive start. I wanted to reach out and proactively touch base regarding an opportunity to align on some of the ongoing project-related workstream...

guy on right: katie u want meet 3pm discuss project

The irony of these fancy FP languages that were designed to develop compilers or to get PL academics off is that they're actually also really good at the most mundane code imaginable.

Being able to minimize boilerplate and have strong refactoring and bug resistant types is a huge edge.

The only problem is their ecosystems are limited so you might spend more time than you like implementing an API or binding a system library.

Given this is "BBC Future" let me guess, barely above significance and n=16?

Yes, chronically disturbed sleep is the obvious confounder and is well known to drop T and explains the observed small changes a lot better.

Not only does the US not respect the commitments it already agreed to, it hasn't done so for the past 10 or years.

These commitments were commitments by the administration in the White House at that time. They were not accords or treaties ratified by Congress. Agree with them or don't, they should have been understood as what they were: limited in legitimacy and free to be canceled by the next administration with no discussion.

This isn't a matter of arcane political skullduggery, it's spelled out in the US Constitution's definition of treaty, Article II, Section 2, Clause 2. The people were not formally heard.

A year ago I would have agreed but lately, when it comes to stuff linked off of HN, it's actually more likely to be clear and readable if it's AI written.

Not including Reddit probably boosts its IQ 25 points.

You have to be a craven, hollowed out husk of a person if you let the DoD demand your AI be used for killing people or surveillance of Americans. Even if you believe America serves a positive role as world police, even if you're pro-Trump, you just have to see what a terrible precedent this sets.

Here's where I would expect the CEOs of the other AI labs to stand by Anthropic and say no.

It's interesting that despite how common polyamory is in SV, even "eccentric" tech billionaires have to be presenting as monogamous.

Polyamory still comes off as a low status behavior.

Every time see this story I think "oh, this is the story about the packet TTLs being set stupidly low or something but you wouldn't be able to narrow that exactly to 500 miles" and have to click and learn again the the first time it's about the connection timeout being set stupidly low.

This is almost the origin story for the EDM producer deadmau5's name.

It's only fair you ask an LLM to review it for you.

Yann joins Ilya, Karpathy, Sutton + Carmack when he says LLMs are a dead end, though.

Karpathy is probably the most careful not to write off LLMs entirely but he seems pretty skeptical.

Once you accept Curry-Howard, untyped FP languages are hard to take seriously as a foundation for reliability. Curry-Howard changes the entire game. FP and strong types were clearly meant for each other.

Untyped FP languages can be productive, flexible, even elegant (I guess) but they are structurally incapable of expressing large classes of correctness claims that typed FP makes routine.

That doesn’t make them useless, just, you know. Inferior.

To paraphrase Bjarne Stroustrup, there are two kinds of programming languages. There are abominations and then there are the ones nobody uses.

I'm impressed Torvalds managed to not know what he was referring to (the Twitter firings).

The missing context whenever this comes up is the fact that it was a surprise one off.

If developers have no idea they're going to be graded by lines of code at some random future date that's a much different situation than saying you're going to give bonuses away every month based on how many lines of code were written.

Everyone knows the second is bad, it'll be gamed massively. The first one could be useful though.

And yes doing it as a one off is still problematic and you can think of all kinds of exceptions, but if you think the organization is full of dead weight in general and overhired massively, a crude stack ranking by lines of code is a pretty good metric for figuring out which (e.g.) 50% is the bottom.

Last April I asked Claude Sonnet 3.7 to solve AoC 2024 day 3 in x86-64 assembler and it one-shotted solutions for part 1 and 2(!)

It's true this was 4 months after AoC 2024 was out, so it may have been trained on the answer, but I think that's way too soon.

Day 3 in 2024 isn't a Math Olympiad tier problem or anything but it seems novel enough, and my prior experience with LLMs were that they were absolutely atrocious at assembler.

https://adventofcode.com/2024/day/3

Yes. Anyone who thinks you can ship a datacenter to space and save has never managed a datacenter.