Email or username:

Password:

Forgot your password?
2,445 posts total
Devil Lu Linvega

Mods fighting spam like we're playing Quake, whoever has the best ping gets the frag.

spooky blip 👻

@neauoire hit em with the gauntlet so you can hear the "HUMILIATION" voice-over

༒ ɐɥɔǝʇɐɯ ʍǝɹpuɐ ༒

@neauoire damn LPBs! 😄 (wonder how many ppl even know what that is haha)

Devil Lu Linvega

I wish we could see the milliseconds on report resolve time.

Devil Lu Linvega

A new day, a new wave of mastodon.social cryptospam.

Show previous comments
mcc

@neauoire Really, it's at some level confusing why a new user should be allowed to use the word "airdrop"

mosttoast

@neauoire i couldn't imagine outing myself as that type of loser who runs these scams. cringiest shit i've seen all day.

Devil Lu Linvega

Building myself some fancy ass training wheels uguys

Devil Lu Linvega

My uxntal compiler now passes the type-checker, with 1 unsafe definition. Next challenge, type-checking, the type-checker.. :ouroboros_smile:

Chorisssssssst (snake voice)

@neauoire I just started drinking it every day, for blood pressure help 😂

Devil Lu Linvega

@eli_oat each day I see that links you've added to linkhut and I can map a sort of journey. It's fun to follow along your adventures.

Devil Lu Linvega

Elegant Objects (EO) is an object-oriented programming paradigm that renounces traditional techniques like null, getters-and-setters, code in constructors, mutable objects, static methods, annotations, type casting, implementation inheritance, data objects, etc.

elegantobjects.org

Show previous comments
Capital

@neauoire :: Strongly relate to every word of this. The worst part is that some how the Getter/Setter pattern has leaked into language that qoute-unquote renounce OOP practices.

Andy Jones

@neauoire I'm sure that there is some good stuff here but continually reading "this is wrong" turns me right off. There is no objective right and wrong here, any more than there is in a choice of sandwich¹, and I wouldn't want to work with anyone that thought there was.

Also choosing Java to demonstrate the "flaws" of OOP is kind of easy mode — Java is known to get itself tied up in knots.

¹You can't make a milk sandwich, but ham and cheese are not objectively rankable.

Xavier Van de Woestyne

@neauoire hmm there is a lot of invalid(or just against the Scandinavian approach of OOP) statement :/

Devil Lu Linvega

Updating all my code to validate with the type checker.

Show previous comments
spooky blip 👻

@neauoire this conundrum is what leads many folks down the path of true insanity: writing an inference engine.........

Vanja/Vanya

@neauoire what language is this a part of? I thought uxntal had only one type, are you making a new language?

Karsten Schmidt

@neauoire A classic! Alone the opening statement is gold:

"For those of you concerned with theorems and proofs, I apologize, today is going to be a very bad day."

If you haven't done so yet, also recommend checking out his dissertation: "A foundation for typed concatenative languages"

www2.ccs.neu.edu/racket/pubs/d

Devil Lu Linvega

Conal Elliott is like the Allan Watts of computing. I'd love to hear some drum n bass track, where suddenly it's just him saying deep stuff.

Alexander Cobleigh

@neauoire got any conal elliott favourites? never heard of him before

Devil Lu Linvega

When someone uses the word simplicity to mean familiarity 😬

Show previous comments
faun

@neauoire Imagine not knowing that simplicity is actually about having a low sum of inverse argmax code size of every phenomena generating world machine plus the indexes of the observer.

[DATA EXPUNGED]
Devil Lu Linvega

@akkartik I feel like you're going to love this episode on what computing is for, and computational beauty is.
typetheoryforall.com/episodes/

Devil Lu Linvega

I spend 2 hours at the gym, 6 days a week, and so end up burning through podcasts pretty quickly. I've recently completed the FoC, Array Cast and Type Theory Forall catalogues.

- futureofcoding.org/episodes
- arraycast.com
- typetheoryforall.com

Any suggestions for other nerdy fun podcasts of the same style?

Show previous comments
Joe Germuska

@neauoire thanks for these! Future of Coding looks right up my alley.

I don't listen to that many coding podcasts but something else I've really been enjoying is the Many Minds podcast, about all kinds of thinking: human, animal, computer... disi.org/manyminds/

Alexander Cobleigh

@neauoire muse's podcast has some really good interviews in their backlog :)

museapp.com/podcast/

Devil Lu Linvega

I'm writing a sort-of type checker for Uxntal, where arity definitions must match the displacement of the instructions in the function's body.

This exploration is revealing various types of functions, and forcing me to explicitly define these differences for the code to validate.

My tests is a collection of different organizations of functions that people have discovered: git.sr.ht/~rabbits/uxnbal/tree

The source: git.sr.ht/~rabbits/uxnbal/tree

I'm writing a sort-of type checker for Uxntal, where arity definitions must match the displacement of the instructions in the function's body.

This exploration is revealing various types of functions, and forcing me to explicitly define these differences for the code to validate.

My tests is a collection of different organizations of functions that people have discovered: git.sr.ht/~rabbits/uxnbal/tree

Show previous comments
charlie

@neauoire holy fuck???? how

is the distinction between `--` and `-~` here to catch the case when you forget the JMP2r, or when you add an extra JMP2r but you actually mean to fall-thru? Same thing with `-:` but when you in fact mean to carry the return address to the next subroutine?

This is already fucking genius and would take care of like 99% of my debugging time in Uxntal, not even kidding

max22-

@neauoire i've seen that yesterday, maybe it could be interesting for you :
"The Blissful Elegance of Typing Joy"
joypy.osdn.io/notebooks/Types.

Devil Lu Linvega

Looking at the trajectory of the weather in Canada and it is very similar to what preceeded the heat dome of two years ago, if it keeps pointing that way, this summer is going to be brutal. Hopefully we'll be able to escape it by sailing north before it gets here.

Devil Lu Linvega

@klardotsh lemme know when you're ready for some solar panel installation fun, and I'll head right over.

Devil Lu Linvega

Baked break in the sun. 🌻

Yes, we're both a bit incredulous that this worked?!

Show previous comments
Nina Kalinina

@neauoire good job! Is it tasty? Not too soggy?

What do you use for cooking when there's no sun?

Cat - One Creative Cat

@neauoire
I made a solar oven out of a pizza box one summer. We baked some cookies with the kids, it was fun!
(We live in the UK)

Go Up