Email or username:

Password:

Forgot your password?
2,452 posts total
Devine Lu Linvega

'Beware of first- hand ideas!' exclaimed one of the most advanced of them. 'First-hand ideas do not really exist. They are but the physical impressions produced by love and fear, and on this gross foundation who could erect a philosophy? Let your ideas be second-hand, and if possible tenth-hand, for then they will be far removed from that disturbing element – direct observation.

#theLibrary

wiki.xxiivv.com/docs/machine_s

Michael Gothard in The Machine Stops
berry

@neauoire
'It is contrary to the spirit of the age,' she asserted.

'Do you mean by that, contrary to the Machine?'

Devine Lu Linvega

The #uxntal type-checker can now be used inline, along with any other gizmos you're already using for development, like a linter.

source: git.sr.ht/~rabbits/uxnbal
download(2600 bytes): rabbits.srht.site/uxnbal/uxnba
docs: wiki.xxiivv.com/site/uxntal_ty

R. L. Dane :debian: :openbsd:

@neauoire

Have you considered adding full-line comments to uxnasm?

I saw some forth code in FreeBSD and noticed that backslashes (\) were used as comments (like # in shell or // in C++)

I thought I might just add a simple bash preprocessor to strip out extra comments before the code gets sent to uxnasm.

... when I finally get some time to work on it. XD
Too busy. I need to find a boat or something, lol ;)

Devine Lu Linvega

@klardotsh Could I borrow your badass electric saw machine thing this afternoon? I feel like making a big hole in a locker.

spooky blip 👻

@neauoire I'll repeat my usual mantra: you're welcome to borrow whatever you want, whenever you need it :) so yes

I'll be moving my boat over there in the next hour or so I think

Devine 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)

Devine Lu Linvega

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

Devine 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.

Devine Lu Linvega

Building myself some fancy ass training wheels uguys

Devine Lu Linvega

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

Chorist

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

Devine 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.

Devine 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 :/

Devine Lu Linvega

Updating all my code to validate with the type checker.

Painting the names of things on things.
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

Devine 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

Devine 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]
Devine 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/

Go Up