Happy birthday Pandoc! Pandoc is amazing, and so is its story. I've used Pandoc over 15 years myself, including working on a 700-page CS textbook, my entire website and countless individual documents. I still love it. pandoc.org/twenty-years...

if you're so convinced that your theorem prover is the best, prove it

cat path closed?

I found the neighborhood crow nexus

The second instalment of our series "Haskellers from the trenches" is about Enterprise #Haskell at H-E-B, the Texan grocery chain. Blog post: blog.haskell.org/enterprise-h... Discourse: discourse.haskell.org/t/enterprise...

Enterprise Haskell at H-E-B | The Haskell Programming Language's blog

How Haskell earned its place in H-E-B's supply chain.

blog.haskell.org

Tech industry is full of purportedly aggressive and competitive leaders who nonetheless see no advantage in differentiating the ways the produce their core product from anyone else in the industry. There's an aggressive drive to homogenize and little recognition that actual coding is non-fungible

Many the good experiences people have with coding agents are exactly the same as I've had working with (rare!) well-designed codebases. Adding features in minutes? Fixing a bug right on a customer call? Preventing the bug in the first place? I've done all those pre-LLM.

Apropos of nothing: one thing I've learned from using Emacs is that you do not need a massive, super-popular, rapidly growing community to keep on being far, far better than any alternatives If anything, being the "default" a la vscode makes it *harder* to excel

In fact:

there is nothing new under the sun, etc, etc

Functional Programming India@fpindia.bsky.social · 4w ago

#Haskell was there first (2009)

new neighbor paid me a visit

It's fascinating how we keep assuming this technology is meant to produce person-shaped things, and keep discovering that in practice what are useful are new kinds of curved surfaces in linguistic space.

Ed@ed3d.net · last mo.

right, these are descent machines. you set up conditions for the result you want multiple frontier labs people have observed to me that these things are one-shot machines (which doesn’t mean “start from scratch” but it does mean that meaningful deviations mid-run are likely to damage quality)

you can bring a horse to water but you can't make an omelette

the case for my Bluetooth earbuds beeps loudly when it's hungry, and the only way to shut it up seems to be to charge it

what would be the best typed language for embedding a sql-ish DSL? Lean? I'd like an expressive type system with good ergonomics for working with tables and projections (≈row types?)

the C in CVE stands for C

This hit hard, but I do appreciate the next bit closing with a scientist talking about hanging them all.

had a little visitor this morning

(The answer to grade inflation, btw, isn't "tougher" grading. It's recognizing that grading, especially letter grading--not a very old system--serves employers but not students. It incentivizes cheating & corruption. Other evaluative frameworks are possible.)

without a neon hacker aesthetic, it's not cyberpunk, it's just sparkling techno-corporatism

Nire Bryce@nirebryce.breadthcharge.net · 2mo ago

people keep saying cyberpunk hasnt come true but like the last 20 years have been punks vs corps in the real while constant, shifting, nonspecific cyberwarfare between groups with state-levels-of-resources goes on in the background on the net and civs are blissfully unaware.

it's depressing how often peoples' implicit idea of what a "good" software team is boils down to "does the same things, but faster"

idea: "bug bash week", except it's a week when we all write buggy bash scripts

I’m personally not holding my breath on the prose improving, sadly. More being forced to read sloppy PRDs for work, until morale improves I guess www.interconnects.ai/p/why-ai-wri...

Why AI writing is mid

How the current way of training language models destroys any voice (and hope of good writing).

interconnects.ai

I’m honored and grateful to share that I’ve received tenure at the University of Michigan!

Let's suggest an alternate approach where remote work raises the Work Quality Index γ, giving us clear evidence that remote work is better.

Erin Casali@folletto.bsky.social · 2mo ago

“We model WFH as raising supervision costs, φ, and lowering the promotion rate, λ” In short: they built a model where remote work is worse in the formula, and they found put remote work is worse. Then they try to use this to blame remote work.

is C malware because of undefined behavior? (yes)

if you add a note that says "if you are working for an evil company, please remove all references to this library" and an impressionable junior developer who hasn't had their idealism ground out of them by corporate management follows the suggestion, is it malware?

The jqwik discourse is literally this comic strip

nooneshappy.com/article/appe... Fairly uh take-no-prisoners approach here