Rick Elrod

So many really important concepts and techniques Haskell makes available aren’t even representable in Rust, and it makes me sad because I really want Rustaceans to be able to think those thoughts.

It’s definitely grown out of the Haskell/pure/dependently-typed FP world. I do wish more people would spend a little time writing Haskell, just so more of the good ideas can be imported to other languages; Rust has already benefited heavily from this dynamic but there is SO MUCH MORE.

Grabbed a new #mechanical #keyboard over the weekend, a Womier RD75. Loving it so far, it's my first keyboard with linear switches. I'm not sure if I can ever go back now.

Wrote up a silly "review" elrod.me/blog/womier-...

Ich suche einen Deutschen Tandem-Partner/in, mit dem ich über technische Themen reden könnte. Ich bin auf Niveau B1-ish. Bitte sag mir Bescheid.

I'm looking for a #German tandem partner to talk with about technical topics for practice! Please reach out if that sounds fun!

Ah okay, sorry, I misunderstood. That makes sense and seems much more interesting.

That is: I'm not sure the kind of guarantees you get from gradual typing really get you that much closer to the goal in the end. When you can nigh arbitrarily decide what is "worth" proving, it makes it impossible to really give any stronger guarantees about the system as a whole.

I know people who have put a *lot* of work into gradual typing research. In the end, it didn't seem like they had much to show for it. I'm not convinced it's the way. This might be a strong opinion but I'm not sure there's really room for a stepping stone here.

@orphaninstance.bsky.social Hey, I don't know you but your profile picture brought back so many childhood memories of playing SkiFree, and you showed up in my Rust feed, and your first post was about you reading Okasaki, so you seem cool 🤣

Whereas if I update and deploy a new dep version in some JS or Python app without any kind of compile time indication that there's incompatibility until runtime, it's less fun to have the rug pulled out from under me if my users start seeing errors/wrong behavior unexpectedly.

Interesting question.

I imagine the tooling in question also dictates this somewhat? In a language that I can reasonably trust the type system to tell me if a change breaks me, I'd imagine it's more "okay" to purposely break in a minor release for a CVE fix.

cmd/compile: slow escape analysis in large package in the typescript compiler · Issue #72815 · golang/go Go version go version go1.24.1 linux/amd64 Output of go env in your module/workspace: AR='ar' CC='gcc' CGO_CFLAGS='-O2 -g' CGO_CPPFLAGS='' CGO_CXXFLAGS='-O2 -g' CGO_ENABLED='1' CGO_FFLAGS='-O2 -g' ...

TypeScript team: rewrites compiler in Go.

Go community: what do you mean your new compiler takes more than a minute to compile? Unacceptable. Dishonorable even. We are so sorry for this sub par experience. Not how we do things around here.

Two days later: WIP 5x speedup.

HN: why pick Go anyway?

@johncrickett.bsky.social i just found out about codingchallenges.fyi today. Some really cool project ideas as I'm learning Rust. Just wanted to say thanks for your efforts!

This is what I think too. I think when I say it there's a difference, but for me it's very subtle.

I think the funniest criticism of Rust in the kernel is “but what if there’s a better language after rust, shouldn’t we wait for that?” and when you ask what that would even look like they’re like “I dunno”

There’s always gonna be another language. Sure. But that’s not a concrete plan.

A bad hire can introduce friction. A bad management hire can introduce friction and also convert friction into dysfunction.

'Self' is an English word with cognates across the Germanic languages: Danish selv, Dutch zelf, German selbst, Swedish själv, and silba in Gothic.

Beyond Germanic, its origin is uncertain, but intriguingly "sselboi-sselboi" ('for himself') turns up in the ancient Venetic language of northern Italy.

Well, my German (or use of the metric system) is coming along well... I just accidentally ordered 400 lbs of pepper salami at the meat counter. That was the moment they switched to English on me. Sigh 😂

I didn't get that sense at all, reading the thread. The author says they are amenable to putting out a version that fixes it, but that yes it would be a breaking change since it would change existing behaviour. It sounds to me like someone just needs to open a PR and the author would merge it.

Announcing Rust 1.85.0 and Rust 2024 | Rust Blog Empowering everyone to build reliable and efficient software.

#rustlang 2024 is here! blog.rust-lang.org/2025/02/20/R...

"zuverlässig" in German is kinda cool. Meaning reliable/dependable, from verlassen.

sich verlassen auf etw. - to rely/depend on someone/something.

We have similar in English, "I'm leaving this problem to you." Was it developed independently or did Germanic have both meanings? 🤔

#etymology

Interested in remote #rust work (full time and must be able to work from Germany). Still learning - not an expert yet - but loving Rust and eager to grow!

Please DM if you know of anything! #rustlang

I think there's still an implicit contrast in that usage, but it's more subtle. Like, it's hinting at "the artwork is impressive.. kind of... compared to what it could have been, at least."

Or "The art is impressive per se, independent of its historical significance" - contrasting the artwork itself against any historical value it may have.

I think where it gets tricky is that it's also used just on its own. "The art is impressive, per se." - and here to me it implies hesitation/doubt

Hm. I think it's at least always setting up a contrast of some kind, even if there's no explicit negation. "Gold is valuable per se, regardless of its form" - implying a contrast against other things where form might matter.

Ehh. The OP said the mac is a year old, so it's Apple Silicon - which auto-enforces FDE. That makes things a lot harder.

Anyone have any good DevOps-related podcasts they enjoy and can recommend?

Or maybe it's more like "I think (so) not." or "I think (that) not." - but it's still negating the action of "thinking/believing something". Hmm.

I would argue it does, actually - but a different definition of "think". German differentiates between denken and glauben where English normally uses 'think' for both.

In German: "Du kommst mit?? Ich glaube nicht!"

"I believe not!" just doesn't have the same ring to it in English 😅

Some other examples of "not" at the end:

"she loves me.... she loves me not"
or
"You're going with me?! I think not!"

That's really interesting, thanks for explaining. I guess it being a sprite makes sense, since I think it's the only part that can move on the title screen. Is this project open source? Interested in taking on a similar project at some point.