sinedpick @ sinedpick @awful.systems

Posts

1

Comments

236

Joined

2 yr. ago

I have a scattered interest in lambda calculus too so I'd love to follow this project. Tromp's BLC definitely hits a sweet spot of complexity/size when it comes to describing computation in a way that's deeply satisfying.

Have you looked into interaction nets/other optimal beta-reduction schemes (there's a project out there called HVM)? Probably way too high level for now though. I am fascinated by the possibility of these algorithms making church-representations more asymptotically efficient (or even balanced ternary)

can you please talk more about your lambda calculus projects?

Jesus fuck, I hate myself so I couldn't help but take a peek. The first comment says "TL;DR but I will still counterargue!" The OP then responds "that's stupid" and gets slapped by the admin for personal attacks. So basically, you can make personal attacks if your account has a history of agreeing with the zeitgeist and you veil them behind enough qualifiers. What an absolute joke of a message board.

It's impossible to stop returning to that steaming pile of dogshit post and find something new to sneer at:

As Delicious Tacos aptly put it, a Far Left phase is treated like a woman eating pussy in college, while a Far Right phase is treated like a man sucking cock.

SO? WHATS THE FUCKING DIFFERENCE YOU WASTE OF SPACE?

I wasn't exactly sure where to put it, so I searched "charter city" and Lemmy threw up a few times but eventually showed me an older SneerClub post about prospera. I would have posted it in techtakes otherwise.

You guys notice how he capitalizes "white" but not "black" even when they're used in the same sentence? A pathetic little weirdo to the last little detail.

This is (not) the greatest essay in the world, no. This is just a tribute.

So who are you going to vote for, and what do you hope to achieve with that?

Dude, if you have a degree in econ I think your uni should lose its accreditation. I am dead serious.

You have zero understanding of cause and effect or you are looking at this conflict through a pinhole. Stop supporting and lapping up the propaganda of genocidal settler-colonialists like an useful idiot. Learn history and have some morals.

It must be so exhausting to carry water for a settler-colonial ethnostate whose very foundations are genocidal violence.

hey, you banned me from r/badphil for arguing that LLMs don't have feelings. I probably was being an ass but the username/sub combo in your message triggered the memory.

More details on the rust thing? I can't find it by searching keywords you mentioned but I must know.

Solving the is-ought problem is super easy when you change what "ought" means.

even technical communities use discord now. It's SO fucking over.

The first footnote makes me want to give myself a lobotomy with a no. 2 pencil:

I wish to note here that Richard took this “as evidence that John would fail an intellectual turing test for people who have different views than he does about how valuable incremental empiricism is”. Of course I couldn’t just ignore an outright challenge to my honor like that, so I wrote a brief reply which Richard himself called “a pretty good ITT”.

If this guy doesn't masturbate his successful polemicizing every 1.5 paragraphs, he'll go into septic shock.

More like "People want things and hurt if they don't get them. Also, look at me saying things like utility function! Function is math! Math is smart. I am smart! Isn't that so cool?"

Phase 1: (January 2024) Sell to biohackers in Prospera for $20,000.

Huh? oh. This prospera. https://www.astralcodexten.com/p/prospectus-on-prospera

Does anyone have any updates on wtf is even going on there? Is it actually the libertarian utopia that I was promised? Or is it just a place for people with nice comfy remote jobs to exploit cheap Honduran labor to live large.

It would do you a lot of good to actually read about communism and political theory in general instead of acting as a conduit of brain rot.