Register a SA Forums Account here!
JOINING THE SA FORUMS WILL REMOVE THIS BIG AD, THE ANNOYING UNDERLINED ADS, AND STUPID INTERSTITIAL ADS!!!

You can: log in, read the tech support FAQ, or request your lost password. This dumb message (and those ads) will appear on every screen until you register! Get rid of this crap by registering your own SA Forums Account and joining roughly 150,000 Goons, for the one-time price of $9.95! We charge money because it costs us money per month for bills, and since we don't believe in showing ads to our users, we try to make the money back through forum registrations.
 
  • Post
  • Reply
Sham bam bamina!
Nov 6, 2012

ƨtupid cat

Improbable Lobster posted:

quote:

I am working to improve myself for God’s glory.
You cannot in a million years convince me that there is any sincerely spiritual motivation behind your horrible bullshit.

I am honestly angry that these people are using religion as a post-hoc moral justification for their disgusting ideas about, hell, everything. It's such a loving lie.

Adbot
ADBOT LOVES YOU

Phobophilia
Apr 26, 2008

by Hand Knit

Dean of Swing posted:

I wonder if he would see eye to eye with that libertarian who locked up that teenager in the shipping container.

holy poo poo you gotta elaborate on this

was he to be smuggled to the coding pits?

Sham bam bamina!
Nov 6, 2012

ƨtupid cat

Phobophilia posted:

holy poo poo you gotta elaborate on this

was he to be smuggled to the coding pits?
The bitcoin mines.

AKA Pseudonym
May 16, 2004

A dashing and sophisticated young man
Doctor Rope
I've sat down and thought about it for a really long time and one thing I'd really like to do is figure out a way to make a lot of money so I can retire early

Dean of Swing
Feb 22, 2012

Phobophilia posted:

holy poo poo you gotta elaborate on this

was he to be smuggled to the coding pits?

There is a thread on it in gbs.

quote:

During Kibby's arrest on the trespassing and assault charges, Conway police seized the pistol he was carrying at the time. In a petition to the court to get the Ruger LC9 returned, Kibby called the seizure "an immoral and irrational unconstitutional restriction of my civil rights."

He also called any suggestion that he is a danger to the public "absurd and not credible based upon my character and my objectivist libertarian moral code."

Silver2195
Apr 4, 2012

Konkvistador posted:

You don’t seem to understand what I’m saying. You seem to be interested in modern relevant politics like healthcare. This bores me to death and isn’t relevant.

Jim posted:

A reference? You mean Harvard official truth? Of course I cannot give you a reference.

icantfindaname
Jul 1, 2008


Just in case anyone isn't aware, there's a pretty well known book mocking a dude exactly like this. A fat manchild in his 30s lives with his mother and spends all his time reading medieval Catholic theology, which he considers innately superior to degenerate modern pop culture and normal people

http://en.wikipedia.org/wiki/A_Confederacy_of_Dunces

It was written in 1980, so I'd say it's pretty prescient

Basil Hayden
Oct 9, 2012

1921!

icantfindaname posted:

It was written in 1980, so I'd say it's pretty prescient

Technically it was written way back in the '60s, and just wasn't published until 1980 for various reasons including the untimely, self-inflicted death of the author.

Excellent book though.

Centripetal Horse
Nov 22, 2009

Fuck money, get GBS

This could have bought you a half a tank of gas, lmfao -
Love, gromdul

I don't think people like Ignatius Reilly are new, the internet just makes them easier to see.

Tiberius Thyben
Feb 7, 2013

Gone Phishing


There used to be a literal neo-nazi in D&D, and he said that even fascists find these guys to be hilarious losers, and asked who the hell calls themselves a reactionary.

Tiberius Thyben has a new favorite as of 06:43 on Oct 6, 2014

Krotera
Jun 16, 2013

I AM INTO MATHEMATICAL CALCULATIONS AND MANY METHODS USED IN THE STOCK MARKET
Urbit, Arvo, Nock, and Hoon (by Mencius Moldbug, a genius of the Dark Enlightenment)

code:
!:             ::  To write Nock as an Arvo application in Hoon
|=  *          ::
|=  [a=* ~]    ::  For educational purposes only
:_  ~  :_  ~   ::
:-  %la        ::  Preserve this mysterious boilerplate square
%+  sell  %noun::
.*  a          ::  Replace the formula with your own
:::::::::::::::::
               ::  Formula: increment
[4 0 1]

quote:

In some languages, especially functional languages, types are dangerous scary concepts that involve a lot of math. For those who like this sort of thing, that's the sort of thing they like. For the rest of us, there's Hoon. It's a functional language, but not one of those scary ones.

quote:

In this case, looking directly at the type noun is preferable. But for a core, the type actually contains the entire codebase.

quote:

Essentially all Hoon compiler errors are in a sense type failure. Generally, the compiler wants to shield you from the direct details, because most ways of presenting the direct details automatically would, at least in certain cases, just belch all over the screen.

quote:

Syntactically, any atomic constant can be preceded by % to generate a cube. The exception is @tas, which always needs % and is always cubical.

quote:

An unsigned decimal not broken into groups is a syntax error.

quote:

The semantics of the time system are that UGT (Urbit Galactic Time) is GMT/UTC as of leap second 25.

quote:

A loobean, or just bean, is 0 or 1. 0 is yes, 1 is no. People who find this strange are probably strange themselves.

quote:

We've seen @p used for ships, of course. But it's not just for ships - it's for any short number optimized for memorability, not for arithmetic. @p is great for checksums, for instance.

That said, @p is subtly customized for the sociopolitical design of Urbit as a digital republic. For example, one feature we don't want is the ability to see at a glance which carrier and cruiser issued a destroyer. Consider the carrier 0x21. It issues 255 cruisers, including 0x4321. It issues 255 cruisers, including 0x4321. Of course, anyone who can juggle bits can see that ~famsyr-dirwes is a close cousin of ~lidlug-maprec. But she actually has to juggle bits to do it. Obfuscation does not prevent calculated associations, just automatic ones.

quote:

@tas, a term, is our most exclusive odor.

quote:

Our mutual hope is that by the time you do know Hoon, you will simply be able to see a twig like

code:
|=  a=@
=|  b=@
|-  ?:  =(a +(b))
      b
    $(b +(b))
and, far from merely able to follow this code, actually observe in your mind's eye the function itself - not unlike Keanu with kung fu. You will simply look at this strange collection of squiggles and see decrement.

(Our feeling is that the use of reserved words in most languages, by instead activating the verbal lobes, disrupts this sense of directly, or at least visually, perceiving the program itself. If you object that this sounds too much like Science, Science implies testing hypotheses whereas we generally just wing it.)

... If we had to read this twig, omitting the spaces (which only a real purist would pronounce), we'd say: "bartis A is pat tisbar B is pat barhep wutcol tis pel A lus pel B perper B bucpel B luspel B perper." The authorities would then arrive, and drag us out in a big net. Definitely don't do this at the airport.

quote:

What is a tile? First, concretely, a tile is an AST subtree that's reduced statically into a twig. It can be reduced in four ways - cryptically called bunt, clam, fish, and whip. A tile is always some leg of a twig, and that twig defines how the tile is reduced.

... A tile is actually two steps away from being a type, in the strict sense of ++type. The tile is converted statically into a twig, which in turn may (depending on the conversion) produce the icon, test for it, etc. And always, the icon is some function of the tile and its subject.

quote:

The rules for using an %iron core are that (a) the context is opaque (can neither be read nor written), and (b) the sample is write-only. Why? Because it's absolutely okay to use as your comparator a gate which accepts a more general sample than you'll actually call it with. You can write a more specialized noun into this sample - but if you read the default value and treat it as more specialized, you have a type loophole.

A %zinc (covariant) core is the opposite - the context remains opaque, the sample is read-only. We don't use any %zinc at present, but this is only because we haven't yet gotten into inheritance and other fancy OO patterns. (Hoon 191 had inheritance, but it was removed as incompletely baked.) You make a %gold core %zinc with ^& (ketpam, %ktpm).

Finally, the entire payload of a %lead (bivariant) core is immune to reading or writing. So all that matters is the product of the arms. You make a lead core with ^? (ketwut, %ktwt).

quote:

When the arm we're executing is %elm, not %ash, there is actually no check that the payload in the actual core, type p, nests in the original payload q.q.

Moreover, %elm arms (defined not with ++ or slus, which means %ash, but +- or shep) are actually not even type-checked when compiled. They have to generate valid nock, but all verification is disabled.

quote:

Let's deploy this boy! Here is ++list:

++ list |*(a=_,* $|(~ [i=a t=(list a)]))
Don't worry. This is just grievously badass hardcore Hoon - as irregular as Marseilles street slang. As a novice Hoon monkey, you won't be writing ++list or anything like it, and you can stick to French as she is spoke in Paris.

On the other hand, at least this grizzled old baboon has no trouble parsing the apparent line noise above. Why so funky? Why, oh why, _,*? Because for various irrelevant reasons, the ++list here is trying as hard as possible to build itself out of tiles.

quote:

Note that list and lust do the same thing and are perfectly compatible. But sadly, lust still looks like line noise. Let's slip into something more comfortable.

quote:

There are three main ways we can talk about a core: its variance model, %gold, %iron, %zinc or %lead, %gold by default; the inference approach of each of its feet, %ash or %elm, informally dry or wet, dry or ash by default; and its payload pattern, which makes it a gate, reef, book, trap or tray. There are also several ways of using cores: you can pull, kick, slam or slug them

...A core whose payload is either another core, or a constant (%cube), is a book...A book whose payload is either another reef, or a cube, is a reef. Effectively, a reef is an entirely constant core...Any core with one arm named %$ is a trap. "It's a trap!"...A gate is a trap whose payload has the form [sample context], sample being dynamic data and context being anything...A tray is any core whose payload has the form [sample context]...Every reef is a book. Every gate is a trap. Every gate is a tray.

As we already know, a name or axis (which of course applies to all nouns, not just cores) is a limb. A list of limbs is a wing.

To access a wing or limb in a core is to pull it. When we write a.b.x, we pull the wing a.b (ie, a within b) from x. If the result is defined as a subtree of x, the wing is a leg. If it is computed from x by a formula, it's an arm.

To pull %$ - the empty name - on a core is to kick it. To replace the sample with a in gate g then kick the gate, is to slam g with a.

[many paragraphs later]

The gonad rune is ;~, [%smsg p q]. A gonad has one go, the V part - p in [%smsg p q] - and one or more nads, the F, G, H or I parts (q).

(If you want a real thrill, read the chapter on type inference!)

Krotera has a new favorite as of 06:47 on Oct 6, 2014

Political Whores
Feb 13, 2012

Is the name Hoon a reference to something?

Krotera
Jun 16, 2013

I AM INTO MATHEMATICAL CALCULATIONS AND MANY METHODS USED IN THE STOCK MARKET

Political Whores posted:

Is the name Hoon a reference to something?

He makes occasional cryptic references to Australia, where it's a slang term for a rude person, but none of the terms or mnemonics have explicit justifications, and that includes the name.

Oh, by the way, this is articulated in a few different places but not super clearly and not all that consistently -- these are the apparent meanings of the terms he uses for things related to his language:

Nock: the assembly language
Hoon: the compiled language a few inches above the assembly language
Arvo: the OS/bridge to conventional system functionality (Arvo : Hoon :: UNIX : C)
Urbit: the combined infrastructure and philosophy

I don't understand Hoon well enough to concisely describe what the entities being manipulated are and his prose style's a little too grandiose and self-important to draw clear definitions from. Nock is exhaustively specified but the Hoon material is more of a tutorial series, and it's a pain to decipher even though the breezy style makes it seem like it ought to be pretty simple.

Razorwired
Dec 7, 2008

It's about to start!

Y-Hat posted:

Justine Tunney.

Her slapfight with gbs was amazing. Does anyone have a link so I can relive her declaring herself Queen poo poo of Google. Also her supervisor told her to knock off the bullshit and her Twitter went private.

Dean of Swing
Feb 22, 2012

Krotera posted:

He makes occasional cryptic references to Australia, where it's a slang term for a rude person, but none of the terms or mnemonics have explicit justifications, and that includes the name.

Oh, by the way, this is articulated in a few different places but not super clearly and not all that consistently -- these are the apparent meanings of the terms he uses for things related to his language:

Nock: the assembly language
Hoon: the compiled language a few inches above the assembly language
Arvo: the OS/bridge to conventional system functionality (Arvo : Hoon :: UNIX : C)
Urbit: the combined infrastructure and philosophy

I don't understand Hoon well enough to concisely describe what the entities being manipulated are and his prose style's a little too grandiose and self-important to draw clear definitions from. Nock is exhaustively specified but the Hoon material is more of a tutorial series, and it's a pain to decipher even though the breezy style makes it seem like it ought to be pretty simple.

I feel like I am reading an alien text.

Lottery of Babylon
Apr 25, 2012

STRAIGHT TROPIN'

Dean of Swing posted:

I feel like I am reading an alien text.

Nock, Avro, Urbit Tertius

Sham bam bamina!
Nov 6, 2012

ƨtupid cat

Political Whores posted:

Is the name Hoon a reference to something?
Blind Melon.

UnoriginalMind
Dec 22, 2007

I Love You

Razorwired posted:

Her slapfight with gbs was amazing. Does anyone have a link so I can relive her declaring herself Queen poo poo of Google. Also her supervisor told her to knock off the bullshit and her Twitter went private.

Ha ha, her supervisor silenced her? That's delicious.

I've been waiting for this thread for ages. I can't get enough of the loving magic cards. How do they not realize how ridiculous that looks?

Rough Lobster
May 27, 2009

Don't be such a squid, bro
My favorite Dark Enlightenment Thinker would have to be

:darksouls: DARKDIVER GRANDAHL from the dark as heck game DARK SOULS II :darksouls:


He's a creepy old dude in a wheel chair who somehow makes his way into remote, creepy, and dangerous places. When you come across him he's usually just sitting there in the pitch black all creepy like. He's on some kind of pilgrimage to meet the Truest Dark or Embrace the Deepest of Dark or something.


So he's gotta count, right?

Woffle
Jul 23, 2007

The bad guy from Command and Conquer who is half of the Patreon campaign for the Sarkesian Effect is one of these guys. I'm not going to link it because gently caress those fools but his youtube videos are worth a watch if you enjoy looking at monsters. Imagining him practicing his smoking cadence is one of the saddest things I can think of.

Aurini is his name, FYI.

Ratoslov
Feb 15, 2012

Now prepare yourselves! You're the guests of honor at the Greatest Kung Fu Cannibal BBQ Ever!

That Hoon poo poo is some of the most deliberately impenetrable documentation for anything I have ever seen. Is there actually a compliler for this pile of poo poo?

uber_stoat
Jan 21, 2001



Pillbug

Rough Lobster posted:

My favorite Dark Enlightenment Thinker would have to be

:darksouls: DARKDIVER GRANDAHL from the dark as heck game DARK SOULS II :darksouls:


He's a creepy old dude in a wheel chair who somehow makes his way into remote, creepy, and dangerous places. When you come across him he's usually just sitting there in the pitch black all creepy like. He's on some kind of pilgrimage to meet the Truest Dark or Embrace the Deepest of Dark or something.


So he's gotta count, right?

Also, they don't tell you this straight up, but he really hates Jews. It's in the flavor text on a sword or something.

MinistryofLard
Mar 22, 2013


Goblin babies did nothing wrong.


What was wrong with a regular Boolean that necessitated an almost, but not quite, identical type?

Strategic Tea
Sep 1, 2012

The hilarious thing about these 'naturalistic' might makes right types is that, for now, plutocratic democracy won. The modern West casually obliterates the dark enlightenment's super efficient rationally correct horrific dictatorships when it wants to. At home, their protests are completely ignored. If they turn off their self importance for just a second, the dark rationalists are condemned by their own ideology.

Might makes right means that whoever is winning deserves it, and it sure ain't the dark enlightenment...

Nanomashoes
Aug 18, 2012

Strategic Tea posted:

The hilarious thing about these 'naturalistic' might makes right types is that, for now, plutocratic democracy won. The modern West casually obliterates the dark enlightenment's super efficient rationally correct horrific dictatorships when it wants to. At home, their protests are completely ignored. If they turn off their self importance for just a second, the dark rationalists are condemned by their own ideology.

Might makes right means that whoever is winning deserves it, and it sure ain't the dark enlightenment...

Well you see they didn't win because of might though, they won because of an international Jewish cabal to destroy the white race.

uber_stoat
Jan 21, 2001



Pillbug
Don't worry, soon the USA will collapse, the cities will burn at the hands of the urban thugs, and a new order will arise from the ashes, guided by pure-blooded northern european tech nerds/arisocrats.

The Vosgian Beast
Aug 13, 2011

Business is slow

UnoriginalMind posted:

Ha ha, her supervisor silenced her? That's delicious.

I've been waiting for this thread for ages. I can't get enough of the loving magic cards. How do they not realize how ridiculous that looks?

iirc they had to take down the Magic Card page because someone told Wizards of the Coast

Which is hilarious

Phobophilia
Apr 26, 2008

by Hand Knit
I don't think any of these guys will get to command a column Emperor Schmidt's technicals and raid outlying villages for slaves and booty. At best, they'd be a catamite, at worse, a comfy footstool.

The Time Dissolver
Nov 7, 2012

Are you a good person?
They made the magic cards themselves? I had figured it was the work of some admirer.

Krotera
Jun 16, 2013

I AM INTO MATHEMATICAL CALCULATIONS AND MANY METHODS USED IN THE STOCK MARKET

Ratoslov posted:

That Hoon poo poo is some of the most deliberately impenetrable documentation for anything I have ever seen. Is there actually a compliler for this pile of poo poo?

If I remember right, the implementation was actually pretty good! That said, I didn't work on it personally, and the language itself is not very computationally tractable for the same reason that Peano numbers aren't -- the issue being that Peano numbers can be optimized-around (see i.e. Idris) while expressing literally everything in terms of weird tree traversals is harder to do that for.

Look up the "jet" feature if you want an explanation of how the language was supposed to become computationally tractable: it's basically a hashtable from Nock entities (plus some heuristics for more general patterns) to native code with some simple laws to prevent people from doing anything foolish. (speaking in relative terms)

Just being clear if you didn't figure this out from the documentation -- it's basically a notation for side-effect free tree traversals (Nock) and a bunch of opaquely-named macros that implement an idiosyncratic type system with inference (Hoon). (Like I said, the type inference rules are really strange and hilarious: among other things he claims it only works "forwards", not "backwards" -- which is a pretty ridiculous notion if you try to apply it to for instance Algorithm W or a Prolog evaluator.) Anyway, he then wrote a bunch of software on top of that (Arvo) and released it all to the internet (Urbit).

The novel features were basically supposed to be

- builtin distributed computing functionality better than what you get trying to repurpose Unix et al for cloud computing. He probably failed at this because Urbit's weird numeric representations make a lot of constant-time algorithms unanticipatedly linear or worse, so your code overall scales badly no matter what. (Numbers aren't the only thing Urbit represents strangely, but they're a great example.)

- a syntax and mnemonics that intuitively corresponds to how people think about algorithms in ways that the syntax in related languages (probably Lisp, Haskell) doesn't. I'm not a cogpsych student and neither is he, so who knows if he got it right? (He probably didn't.) He starts from a similar jumping-off point to Haskell in that names in Hoon don't have to be meaningful so long as they're distinctive, but I'd argue that his mnemonics are deliberately obfuscating in a way that Haskell's just aren't. It's like how "functor" and "superman" don't mean anything in the context of programming to someone who hasn't been told, but "functor" at least doesn't have an alternate denotation to distract you from what's really meant.

- a type system that teaches people to think about algorithms in a way that makes code easy to maintain and reason about. (explicitly less powerful than the type systems in related languages like Haskell and Agda, which he claims are too confusing for the average programmer) I'm skeptical of some of the advantages he proposes and I think most of the ground he's claiming isn't new, but was already found in dynamic languages like Lisp. I think several of the features of his type system are needlessly confusing and I'd personally rather start by simplifying Haskell (Readerizing typeclasses, expressing records in terms of sugar over other types like i.e. in Vinyl, coming up with a way to emulate dependent types that isn't confusing, etc.) -- minding that I'm a Haskell nerd so of course I'd say that.

- new control flow and organizational primitives that make it easier to express algorithms in his languages than in other languages. I'd argue he's reclaiming the same ground as goto -- clearly in the sense that you can express any control flow you want, goto is the most powerful control primitive. By designing his language as a transparent layer for tree manipulation, obviously you get all the power of tree manipulation, but most of the time what we want isn't tree manipulation or unconditional jumps anyway, but strong abstractions around it, and I don't trust Hoon's abstractions given that they take him forever to explain and don't make sense after even three or four readings. (compare to i.e. continuations and monads, which are grokkable after one reading and a pot of coffee respectively, once you're experienced with the prerequisites.)

MinistryofLard posted:

What was wrong with a regular Boolean that necessitated an almost, but not quite, identical type?

It wasn't "intuitively right." Just trust him.

Dean of Swing posted:

I feel like I am reading an alien text.

That's a design feature.

Krotera has a new favorite as of 05:25 on Oct 9, 2014

Peel
Dec 3, 2007

The Time Dissolver posted:

They made the magic cards themselves? I had figured it was the work of some admirer.

This is a group that called itself 'The Dark Enlightenment'. Figure nothing.

Chocolate Teapot
May 8, 2009

Peel posted:

This is a group that called itself 'The Dark Enlightenment'. Figure nothing.

I find the contrast of an admittedly well-drawn picture captioned with "urgh loving muslims" pretty loving hilarious myself.

Arsonist Daria
Feb 27, 2011

Requiescat in pace.
Man, nerdy white guys sure come up with a lot of crazy, elaborate ways to say "I loving hate black people."

Orange Fluffy Sheep
Jul 26, 2008

Bad EXP received
It's a bad sign when Yudkowsky's paragraph of nonsense is the least stupid sounding. At least it's about an abstract quality and sounds like some smug hyper-intelligent rear end in a top hat wizard rather than someone who really hates Muslims.

Peel
Dec 3, 2007

Does Yudkowsky even want to be associated with these people? It's a different and way worse flavour of daft to his stuff.

MizPiz
May 29, 2013

by Athanatos

Peel posted:

Does Yudkowsky even want to be associated with these people? It's a different and way worse flavour of daft to his stuff.

If I had to guess, I'd say they're each others reason they can say "See, we rise above your petty ideological fighting".

Silver2195
Apr 4, 2012

Peel posted:

Does Yudkowsky even want to be associated with these people? It's a different and way worse flavour of daft to his stuff.

No, he doesn't. I believe he said that Moldbug's mind was so destroyed by politics that he could no longer distinguish between positive and normative statements. (This struck me as an odd thing to single out at when I first read it, but then I realized it was a pretty apt condemnation of the bizarre "might makes right" arguments Moldbug made in his early posts.)

poorlifedecision
Feb 13, 2012
Lipstick Apathy
I don't think I ever really knew what it was like to be a jock in an 80's movie until I discovered this subculture of loser-nerds. I want to swirlie all of them.

WickedHate
Aug 1, 2013

by Lowtax

Silver2195 posted:

No, he doesn't. I believe he said that Moldbug's mind was so destroyed by politics that he could no longer distinguish between positive and normative statements. (This struck me as an odd thing to single out at when I first read it, but then I realized it was a pretty apt condemnation of the bizarre "might makes right" arguments Moldbug made in his early posts.)

Do you have a source on this? It's nice to see assholes call out other assholes on being assholes.

Adbot
ADBOT LOVES YOU

Silver2195
Apr 4, 2012

WickedHate posted:

Do you have a source on this? It's nice to see assholes call out other assholes on being assholes.

I can't find the specific quote, although I did find other examples of Yudkowsky saying he doesn't like Moldbug.

http://unqualified-reservations.blogspot.com/2013/11/mr-jones-is-rather-concerned.html

http://lesswrong.com/lw/fh4/why_is_mencius_moldbug_so_popular_on_less_wrong/

Edit: Actually, the quote is in the second link.

Eliezer_Yudkowsky posted:

Politics mindkilled him; he cannot separate the normative and the descriptive.

Silver2195 has a new favorite as of 18:40 on Oct 10, 2014

  • 1
  • 2
  • 3
  • 4
  • 5
  • Post
  • Reply