Egregoros

3w

@sun https://github.com/storytold/vectorcraft

its horrifying

Replying to @icedquinn@blob.cat

Blurry Moon

@kirby@freerobuxextremist.com remote

3w

@icedquinn I am so excited, this is going to chemo the cancer out of the world

Replying to @sun@shitposter.world

Kirby

3w

@sun >this could DESTROY Sony

yeah in your dreams pal

Replying to @kirby@freerobuxextremist.com

Blurry Moon

3w

@kirby let me dream

Replying to @kirby@freerobuxextremist.com

Blurry Moon

3w

@kirby

Replying to @sun@shitposter.world

Q.U.I.N.N.

@coolboymew@shitposter.world remote

3w

@sun i will be significantly more excited when its not tied to an anthropic datacenter.

although some recent reading about fuzzy tsetlin machines is... promising

Replying to @sun@shitposter.world

cool_boy_mew

3w

@sun jesus christ, this is not just gonna wreck Sony, in 3 years or so this is gonna give a giant middle finger to the entire game industry

Replying to @sun@shitposter.world

Kirby

@kirby@freerobuxextremist.com remote

3w

@sun wrong notif

Replying to @icedquinn@blob.cat

Blurry Moon

@nerthos@shitposter.world remote

3w

@icedquinn yeah I am exaggerating, until local models can do it we're still tied to a vendor one way or another

Replying to @sun@shitposter.world

Saiba Paladin Katze Kattepus

3w

@sun Optimization will be the bottleneck but they started with ps2 recompilations and they're moving up
Consoles will remain a thing because they're accessible to the tech illiterate but it'll be nice to have everything running on everything (what should have been)

Replying to @sun@shitposter.world

Grand Dragon Zero

@William_The_Dragonborn@poa.st remote

3w

@sun Any chance to destroy sony I can get behind, but I do not want them gone, it is the cancer (humans) within the company and the cancer must die.

Replying to @sun@shitposter.world

Christi Junior

@ChristiJunior@detroitriotcity.com remote

3w

@sun Total Clanker LOVE!

Replying to @sun@shitposter.world

Spooner Briggs, captain of the brigantine Mary Celeste

@hj@shigusegubu.club remote

3w

@sun @kirby fun fact from my past:

i made and IRC client in C# once.

it had an /raiden command that would spawn mortal kombat raiden that would fly out of left side of the desktop (multiscreen compatible!) and push the client window off the desktop, closing the application.

it would also play the appropriate sound effect.

Replying to @icedquinn@blob.cat

Blurry Moon

@ergo@sleebytown.net remote

3w

@icedquinn the reason I generally don't respond to your posts about interesting things is you're so far beyond me I don't even know what questions to ask! reading about tsetlin machines now

Replying to @nerthos@shitposter.world

ergo

3w

@nerthos @sun now they should write open source linux drivers for all hardware

Replying to @ergo@sleebytown.net

Blurry Moon

@ergo@sleebytown.net remote

3w

@ergo @nerthos people are already reverse-engineering windows drivers, that problem window is closing rapidly!

Replying to @sun@shitposter.world

ergo

3w

@sun @nerthos I hope it also turbocharges the development of crypto as a viable alternative to fiat bypassing the limitations the banking world has put on it to keep it from going big

Replying to @ergo@sleebytown.net

Blurry Moon

@Rasterman@detroitriotcity.com remote

3w

@ergo @nerthos I hate to say it but crypto is diving. it's getting mainstream acceptance as a shitty borderline scam investment chance but not for like, paying for shit

Replying to @sun@shitposter.world

The Report King

3w

@sun How soon until I can play Astrobot on PC? That's the only PS5 game so far I see I could enjoy, though I've never played a 3D platformer before.

I do have a PS5 controller, though.

Replying to @sun@shitposter.world

Q.U.I.N.N.

3w

@sun

i barely know what i'm doing with this shit half the time. i mostly talk to an LLM about it these days and it stares at me in response.

something particularly weird is how structurally neuromorphic these things are. they get there through funny routes (explicit RNG deciding when to not update = heterogenous neurons)

the fuzzy machine already makes clauses do graded activation so its straightforward enough to group them up and do winner-take-all lateral inhibition, the question is just if that pooler is useful for anything

the bizzare thing is its theoretically possible to do some kind of hopfield memory / autoregressor thing -> decider -> loop without an FPU anywhere in sight.

its a comically cheap substrate that just needs to be puzzled out in the correct order to do something smart. hm.

Replying to @sun@shitposter.world

Blurry Moon

@nerthos@shitposter.world remote

3w

@ergo @nerthos extremely exciting things are happening in crypto but it absolutely is not taking off as a payment system :-(

Replying to @sun@shitposter.world

Saiba Paladin Katze Kattepus

3w

@sun @ergo It has become popular for gambling and for transfering money internationally, but it's too annoying for payment.

Replying to @sun@shitposter.world

@i@declin.eu remote

3w

@sun @nerthos @ergo crypto is solved, the goverment not breaking your legs still needs some work

Replying to @icedquinn@blob.cat

Blurry Moon

3w

@icedquinn have you seen this https://bend-lang.org/

it's kind of funny that the adoption of proofs is going to be to help vibe coders, which I mean, not even ironically, this is all achieving what computer scientists wanted, for the lowest-common-denominator, but with the result of reliable software to solve problems, not jerk off about typing in a console

Replying to @i@declin.eu

Blurry Moon

3w

@i @nerthos @ergo minor disagreement, usability is still in the toilet. for a project I'm using a Ledger with an epaper screen to do a safe multisig and their piece of shit can't decode that onscreen, it still just tells me the multisig contract and an opaque pile of calldata bytes. it will give you better information if you use it on specific blockchains they support in their specific frontend. why? the data is all there.

Replying to @sun@shitposter.world

Q.U.I.N.N.

3w

@sun i haven't seen it, no. i've been adjacent to the proof space recently though. Maude is used for defense verification. (though i'm trying to use maude for codegen, which ran in to some stupid errors.)

there is a controversy right now, though, because openai is flooding math papers with bad proofs.

Replying to @icedquinn@blob.cat

Blurry Moon

3w

@icedquinn bend is interesting but I might be vibe coding something similar for my specific needs

Replying to @icedquinn@blob.cat

Q.U.I.N.N.

3w

@sun i think i've poke claude (but not GLM as much) about it. Lean upstream uses LLMs for proofs, but its safe to do this. they write the term to be proven by hand and let the LLM close it. so the LLM never controls the end goal and the kernel validates intermediate steps are valid.

it is less safe if the LLM is writing the goal because you can--even with dependent types--make a spec that is ass trash and worthless.

Replying to @icedquinn@blob.cat

Blurry Moon

@splitshockvirus@mstdn.starnix.network remote

3w

@icedquinn oh yes I am aware, I try to spot-check just the regular tests that I have the AI generate for me and I always find ones that are bullshit

Replying to @sun@shitposter.world

スプリットショックウイルス †

3w

@sun cool now show me how it gets me a job

Replying to @sun@shitposter.world

Q.U.I.N.N.

3w

@sun i still ultimately think model-based code, with fixed transforms, and a notebook interface, is probably the "best" form of code.

my huge annoyance with years of language cycling is that they all scuff being able to actually reuse patterns. or they make pattern reuse more expensive than it needs to be (lisp, rust, nim, zig, et all, "macros" just dump you with an AST and fuck off. they don't really help you get there faster.)

maude has the tools to try out if term rewriting is gonna work. current side note is something like an Io runtime as a kernel, and then refal-esque for the term rewriting part, though i'm tired of writing parsers and term rewriters are inherently regex machines with extra steps.

a lot of days idk what the point is. i waste time caring about things not breaking while everyone is getting paid to vibe

Replying to @sun@shitposter.world

YBG pern

@pernia@cum.salon remote

3w

@sun ps5 games, microsoft office, adobe suite

neversloppers are worthless slaves of private capital and should be slaughtered.

Replying to @splitshockvirus@mstdn.starnix.network

Blurry Moon

@ElDeadKennedy@shitposter.world remote

3w

@splitshockvirus my snarky answer is I've gotten three jobs already using AI but I admit that AI is wiping out a bunch of jobs that aren't coming back and that's bad.

Replying to @sun@shitposter.world

ElDeadKennedy

3w

@sun but there are no games

Replying to @sun@shitposter.world

Mark

@Mark@nicecrew.digital remote

3w

@sun @nerthos @ergo Things are okay in my corner of the crypto world.
Criminals are criminaling, and the coins can be spent for daily necessities through prepaid debit cards and gift cards.

Also I think this is pretty cool:
https://xmrbazaar.com/

Replying to @sun@shitposter.world

Stone Cold Steve Autism

@mrsaturday@shitposter.world remote

3w

@sun Right now Adobe's wishing they had bars installed on their windows

Replying to @sun@shitposter.world

mangeurdenuage 🌿

3w

@sun
>this could DESTROY Sony,
How much did soyny invest in AI ?

Blurry Moon

3w

@SuperDicq its fun, try it!

Replying to @sun@shitposter.world

mangeurdenuage 🌿

3w

@sun @icedquinn
Only if the legal system recognizes code generated by machine learning to be copyleft or compatible with copyleft.

Blurry Moon

3w

@SuperDicq there is enough room on this Earth for all God's children.

Replying to @icedquinn@blob.cat

Q.U.I.N.N.

3w

@sun oh these guys went after fucking everybody https://github.com/storytold/gridcraft

Replying to @coolboymew@shitposter.world

mangeurdenuage 🌿

3w

@coolboymew @sun
>this is gonna give a giant middle finger to the entire game industry
How much did the gaming industry invest in machine learning ?

Replying to @mangeurdenuage@shitposter.world

Blurry Moon

@coolboymew@shitposter.world remote

3w

@mangeurdenuage @coolboymew I mean game dev has utilized AI since the 80s

Replying to @mangeurdenuage@shitposter.world

cool_boy_mew

3w

@mangeurdenuage @sun probably not a lot

I'm mostly saying this as costs raise, a bunch are hoping to do lazy ass ports. AKA idiots at Square Enix were really happy to tell us that us losing access to games would ultimately means they can just port shit forever

Well, think again fuckers

Replying to @sun@shitposter.world

mangeurdenuage 🌿

@Ree@shitposter.world remote

3w

@sun @coolboymew
Many magic numbers comes from those for example.

Replying to @sun@shitposter.world

Ree ⚧️💚

3w

@sun death to sony

Replying to @icedquinn@blob.cat

Q.U.I.N.N.

3w

@sun > https://github.com/bendlang/bend/blob/main/paper/BendTT.pdf

oh they're doing ATS' ghost code thing. linear typed proofs. very strong if they get it right. ATS' failure was it never got a syntax that was any good. writing it sucked shit, it was effectively unlearnable.

i mewed a time or two about something like term rewrites or constraint handling rules as the type system. goofy, but old and studied, and the strongest part of ATS proofs in general is they stop you from passing shit where it doesn't go. (ATS in particular can attach proofs to FFI boundaries; you can actually state that C code is misbehaved or assert its well behaved and bring the proofs back in.)

eh i'll read the rest of the paper

Replying to @coolboymew@shitposter.world

mangeurdenuage 🌿

3w

@coolboymew @sun
>probably not a lot
.gif

>a bunch are hoping to do lazy ass ports
I know, see the deus ex remaster port they tried to shit.

Replying to @icedquinn@blob.cat

Blurry Moon

3w

@icedquinn yeah I have heard good things about this

Replying to @sun@shitposter.world

mangeurdenuage 🌿