|
Improbable Lobster posted:
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.
|
# ? Jul 30, 2014 02:47 |
|
|
# ? May 8, 2024 05:17 |
|
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?
|
# ? Jul 30, 2014 02:49 |
|
Phobophilia posted:holy poo poo you gotta elaborate on this
|
# ? Jul 30, 2014 02:50 |
|
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
|
# ? Jul 30, 2014 03:13 |
|
Phobophilia posted:holy poo poo you gotta elaborate on this 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."
|
# ? Jul 30, 2014 03:40 |
|
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.
|
# ? Oct 6, 2014 04:53 |
|
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
|
# ? Oct 6, 2014 05:06 |
|
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.
|
# ? Oct 6, 2014 05:11 |
icantfindaname posted:http://en.wikipedia.org/wiki/A_Confederacy_of_Dunces I don't think people like Ignatius Reilly are new, the internet just makes them easier to see.
|
|
# ? Oct 6, 2014 05:14 |
|
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 |
# ? Oct 6, 2014 05:59 |
|
Urbit, Arvo, Nock, and Hoon (by Mencius Moldbug, a genius of the Dark Enlightenment)code:
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. 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 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. 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. 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. quote:Let's deploy this boy! Here is ++list: 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 (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 |
# ? Oct 6, 2014 06:42 |
|
Is the name Hoon a reference to something?
|
# ? Oct 6, 2014 07:15 |
|
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.
|
# ? Oct 6, 2014 07:53 |
|
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.
|
# ? Oct 6, 2014 08:49 |
|
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. I feel like I am reading an alien text.
|
# ? Oct 8, 2014 05:38 |
|
Dean of Swing posted:I feel like I am reading an alien text. Nock, Avro, Urbit Tertius
|
# ? Oct 8, 2014 05:44 |
|
Political Whores posted:Is the name Hoon a reference to something?
|
# ? Oct 8, 2014 11:01 |
|
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?
|
# ? Oct 8, 2014 19:05 |
|
My favorite Dark Enlightenment Thinker would have to be DARKDIVER GRANDAHL from the dark as heck game DARK SOULS II 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?
|
# ? Oct 8, 2014 21:37 |
|
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.
|
# ? Oct 8, 2014 21:53 |
|
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?
|
# ? Oct 8, 2014 21:54 |
Rough Lobster posted:My favorite Dark Enlightenment Thinker would have to be 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.
|
|
# ? Oct 8, 2014 22:44 |
|
What was wrong with a regular Boolean that necessitated an almost, but not quite, identical type?
|
# ? Oct 8, 2014 23:44 |
|
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...
|
# ? Oct 9, 2014 00:45 |
|
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. Well you see they didn't win because of might though, they won because of an international Jewish cabal to destroy the white race.
|
# ? Oct 9, 2014 01:04 |
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.
|
|
# ? Oct 9, 2014 01:21 |
|
UnoriginalMind posted:Ha ha, her supervisor silenced her? That's delicious. iirc they had to take down the Magic Card page because someone told Wizards of the Coast Which is hilarious
|
# ? Oct 9, 2014 01:54 |
|
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.
|
# ? Oct 9, 2014 02:08 |
|
They made the magic cards themselves? I had figured it was the work of some admirer.
|
# ? Oct 9, 2014 02:42 |
|
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 |
# ? Oct 9, 2014 05:06 |
|
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.
|
# ? Oct 9, 2014 12:18 |
|
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.
|
# ? Oct 9, 2014 22:27 |
|
Man, nerdy white guys sure come up with a lot of crazy, elaborate ways to say "I loving hate black people."
|
# ? Oct 9, 2014 23:25 |
|
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.
|
# ? Oct 10, 2014 00:15 |
|
Does Yudkowsky even want to be associated with these people? It's a different and way worse flavour of daft to his stuff.
|
# ? Oct 10, 2014 01:15 |
|
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".
|
# ? Oct 10, 2014 01:21 |
|
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.)
|
# ? Oct 10, 2014 01:39 |
|
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.
|
# ? Oct 10, 2014 17:20 |
|
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.
|
# ? Oct 10, 2014 18:03 |
|
|
# ? May 8, 2024 05:17 |
|
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 |
# ? Oct 10, 2014 18:23 |