There have been multiple accounts created with the sole purpose of posting advertisement posts or replies containing unsolicited advertising.

Accounts which solely post advertisements, or persistently post them may be terminated.

programmer_humor

This magazine is from a federated server and may be incomplete. Browse more on the original instance.

Carighan , in How TeX.web is versioned since the early 90's (literal text inside)
@Carighan@lemmy.world avatar

This is smart. As pi is a non-repeating, you can even at some point start showing just the “current” digits if it ever gets too much, and will always be able to find a finite length of digits that does not match a previously user version number.

vithigar ,

Not necessarily. Non-repeating doesn’t mean the are no repeated sections. For example, in the first hundred million digits “1412” is found three times.

0x0 ,

For practical purposes, it’s probably good enough. You could write a program to check whether it’s non-repeating up to N digits, so just set N high enough that it will last you for a few thousand releases…

edinbruh , in How TeX.web is versioned since the early 90's (literal text inside)

You forgot the part where TeX was created by a CS professor because he didn’t like how his editor printed the formulas in his book

SamiDena OP ,

Yeah tom7 did a video on ‘badness’ in TeX: www.youtube.com/watch?v=Y65FRxE7uMcI am learning ins-and-outs of TeX because I am implementing it in OCaml. btw, tom7 is a really stand-up fella. His thesis on “Modal types for Mobile Code” seems very interesting. He mentions it in the video. This is the thesis: www.cs.cmu.edu/…/modal-types-for-mobile-code.pdf

(mobile code is ‘network’ code, basically JavaScript – Tom’s work, I believe, is concerned with formal verification of web code – if you are a webdev, read it!)

maxprime ,

I think you mean “Model types”

Endmaker , in How TeX.web is versioned since the early 90's (literal text inside)

Since we are on the topic of funny stuff in code, here’s one encounter I had earlier:

do not use or you will be fired

SamiDena OP ,

Truly, truly literate text! :D

guemax , in How TeX.web is versioned since the early 90's (literal text inside)

And each version of Metafont gets an additional digit of e (currently at 2.71828182).

SamiDena OP ,

I have not looked at METAFONT. I really wanna design a font with it one day. It was the first font creation software I hear.

desmosthenes , in Up up and away we go
@desmosthenes@lemmy.world avatar

oh the days before fzf

ExtraMedicated , in Up up and away we go

I open the text file where my powershell history is stored when the command I want isn’t recent enough.

cupcakezealot , in This is my life now, until I finally understand Cmake.
@cupcakezealot@lemmy.blahaj.zone avatar

sudo make me a cmake

gmtom , in Overfitting moment

Hey Ted do you want to go out and fly our human flesh coloured hot air balloons together?

CanadaPlus ,

That’s one of those moments the question is so ridiculous you have to say yes. Like, I don’t own any such thing and don’t have a licence, but it would be hilarious to do.

johny , in Overfitting moment

Respect for turning an awful boomer meme into a reasonable programming meme with just two words.

rambling_lunatic ,

What was the original?

errer ,

Just didn’t have “machine learning” on top

werefreeatlast ,

The word Learning has three R’s.

dejected_warp_core , in Up up and away we go

There is an advantage to this approach though: fewer errors. You’re plucking a known working command from a list instead of manually typing a (possibly) broken version of it. Worse yet is when it’s a command where typematic mistakes cause unintended side effects like data loss. So, mashing up 100 times can be pretty smart, especially if you’re not a great typist.

benjaminV ,

@dejected_warp_core That is true if you assume your history contains only working commands...

dejected_warp_core ,

Oh no, I have to press up 200+ times if we’re counting all the detritus and failure in my command history.

usualsuspect191 , in Overfitting moment

Everything reminds me of her him

hex , in Up up and away we go

At work, was recently working on a script that alters the repo significantly. Every time I tested the script, I used the up arrow to get the git clean and git checkout HEAD – files commands to reset the repo. I must’ve used those 100+ times.

Fedegenerate , in Up up and away we go

Me looking for apt update && apt upgrade -y

Aurenkin , in Up up and away we go

I’ve been using Atuin on my work computer and found it to be pretty good if you want something a bit fancier than Ctrl + R

recursive_recursion , in Up up and away we go
@recursive_recursion@programming.dev avatar
  • All
  • Subscribed
  • Moderated
  • Favorites
  • random
  • [email protected]
  • lifeLocal
  • goranko
  • All magazines