@brokenix@emacs.ch titelbild
@brokenix@emacs.ch avatar

brokenix

@brokenix@emacs.ch

data Free f a = Pure a | Free (f (Free f a))
⊢ V : C ✓
classical logic corresponds to the mechanism of first-class continuation under the Curry-Howard isomorphism
all partial functions are computable

Dieses Profil is von einem föderierten Server und möglicherweise unvollständig. Auf der Original-Instanz anzeigen

foone , an Random Englisch
@foone@digipres.club avatar

Time to look inside a thing!
I got this at the ewaste place a few weeks ago.

brokenix ,
@brokenix@emacs.ch avatar

@foone

(defun game-repl() (loop (print (eval (read)))))   

(game-repl()) look()

??
You always have a choice

(require 'cl) (loop (setq x (read)) (if (eq x 'exit) (return) (print (eval x))))

To put work in breaking out of loops , which re infinite if you don't change the way you do things

foone , an Random Englisch
@foone@digipres.club avatar

I could go down the long rabbithole of figuring out how to call g*mp's image manipulation tools from a commandline or API, or getting imagemagick installed on this PC and figuring out how to port it over there...

or I could be silly and take advantage of the fact that I'm applying gamma ramps to an 8-bit greyscale image. What's the difference between the "before" and "after" images? a different palette.

brokenix ,
@brokenix@emacs.ch avatar

@foone 3 - figuring out a clever way, only to realise how stupid it was in retrospect

  • Alle
  • Abonniert
  • Moderiert
  • Favoriten
  • •
  • random
  • haupteingang
  • Alle Magazine
    •