Show newer

Apparently Google's Bard did some bullshitting in the very ad they used to introduce it, making up a fact that could've been trivially checked with a plain ol' Google search. 🤦‍♂️

The big announcement!!! The book is officially out from Springer. You can now order it at the source or download it if you have a subscription:

The book aims at university teaching of language design and technology, with lots of small examples and exercises. Supported by a code repository.

BTW. We are not getting any money when you download, but please go ahead and download!!! :D

#pleaseBoost #WeAreDone! CC: @tberger @seresearchers

One of my professors during PhD used to say “You can drive a truck through the holes in any given paper. So you look for what you *can* learn instead.” And being the smartass grad students we used to think driving that truck was fun. After so many years, I now appreciate her wisdom more than ever. All scholarly work has limitations but it’s refreshing when people critically evaluate what’s the actual value of the research. It's about humility, honesty, rigorous intellectual work.

Have we really not yet standardized a “lttp:” protocol for linking to resources from The Wayback Machine? You know, a link to the past.

Today's password validation error: "Must be at least 8 characters in length with 1 uppercase and lowercase letter, 1 number and 1 special character".

A dozen rejections that definitely satisfied these constraints later, I discover the actual problem: my 20 character (super reasonable!) random passwords were too long.

I get that both security and data validation are hard, but I don't get how so many companies/websites get the easy stuff so wrong. See also disabling clipboard paste and forcing frequent changes. Super easy things to just *not do*.

Accepted a job offer today that I'm super excited about! My start date is three years and one day after getting the news that my college was recommending against my promotion and tenure. Feels like I'm finally landing on my feet and I'm excited about my career for the first time since then.

Just want to give a quick thanks to everyone who reached out with support over the last few years, and to those who offered leads and contacts over the last few months.

Will share more details once I start!

Release Engineering Is Exhausting So Here's cargo-dist!

Helping your Rust projects ship prebuilt binaries that others can actually use without you having to become a Github CI Expert (or Rust Toolchain Expert) ((or OS integration expert)) (((or...)))

I don't want to talk about Black history yet. I want to talk about why if you grew up in the North or West, your high school history book likely talked about the "Articles of Secession,"

but if you grew up in the South, those parts are removed and lied about.🙂🙃


You can literally go and read the "Declaration of Causes of Seceding States," primary documents written by confederates themselves, on why they are Seceding.

Some schools refuse to teach this.

Show thread

OpenAI released a tool which purports to detect AI-generated text. At the highest end of detection, it labels text "possibly" or "likely" AI-generated. 21% of human-written text falls under "possibly" and 9% of "likely" does. That's 3 in 10 students being defamed and/or harmed.

Just like other providers of academic surveillance software, OpenAI states that their detector "should not be used as a primary decision-making tool".

It will be, though. And harm will follow.

My wife is a freelancer and just got a "hi, you were recommended to me" email from a client that stiffed her on a project 6 years ago... 🤔​

"I worry that, as a culture, we’re getting the AI we deserve. As the journalist Sarah Kendzior has noted, on the internet, journalism is paywalled but disinformation is free. A paper-writing machine that spews out disinformation at a record clip almost seems too on-the-nose to be real."

"If Americans continue to depend on cars at the current rate, by 2050 the US alone would need triple the amount of lithium currently produced for the entire global market, which would have dire consequences for water and food supplies, biodiversity, and Indigenous rights."

#climate #climatechange #evs #electriccars #transportation

Love this Axios Visuals look at the evolution of pickup trucks and their popularity in the US (and how they are used for shopping / daily driving much more than hauling boulders) . This view of the inversion of the ratio between cab and cargo bed tells the story.

The Twitter API lockout of third-party apps is only the latest reminder of centralization's most important rule: The platform owner has the right to capriciously wreck the businesses of people who accepted the platform's invitation to run a business on the platform.

Because it has to be repeated again and again: We need to drastically reduce the number of cars to solve our problems.

Just learned about this community maintained version of Learn You a Haskell for Great Good!

It updates some stuff that fell out of date and cleans up some text, but best is that they removed the fat and gay jokes. Students always seemed to really like the book, but I never recommended it in classes because of those.

every paragraph in this paper is blowing my mind even as someone who already believed in the infinite variety of language, there are just so many deeply researched counterexamples to basically anything you think is universal (especially if you're using english as your basis for "universal")

Show older

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.