[-] corbin@awful.systems 4 points 1 day ago

libuv is a very common way to get a portable event loop. If you're logged into GH and can use their search then you can look at the over fifty packages in nixpkgs depending on it. I used it when I developed (the networking and JIT parts of) the reference implementation for Monte, to give a non-nixpkgs example.

[-] corbin@awful.systems 4 points 2 days ago* (last edited 2 days ago)

I have time to quote at you now. Ziz's thoughts about dual-core brains sound like the thought experiments from "I" is a Strange Loop. In Chapter 15, "Entwinement", Hofstadter introduces the Twinwirld thought experiment: imagine a world where almost everybody is an identical twin, each pair of twins is given one name, twins go everywhere together, and identity is oriented around pairs instead of individuals. Quoting p215 from my copy:

In Twinwirld, there is an unspoken and obvious understanding that the basic units are pairsons, not left or right halves, and that even though each dividual consists of two physically separate and distinguishable halves, the bond between those halves is so tight that the physical separateness doesn't much matter. That everytwo is made of a left and right half is just a familiar fact about being alive, taken for granted like the fact that every half has two hands, and every hand has five fingers. Things have parts, to be sure, but that doesn't mean that they don't have integrity as a whole!

The entire section is written like this. I've read a bit of the Zizian lore and it sounds like it was lifted straight out of this chapter with words replaced. p216 in particular really shows off the Hofstadter tendency towards neopronouns:

The pronoun "you" also exists in Twinwirld, but it is plural only, which means that it is never used for addressing just one other dividual — it always denotes a group. "Do you know how to ski?" might be asked of an entire family, but never of just one twild or one pairent.

A young pairson in Twinwirld grows up with a natural sense of being just one unit, even though twey consist of two disconnected parts.

I don't really know about Vassar's writing. I do think that jailbreaking is somewhat related. I think that Hofstadter lays out their entire thesis in the first paragraph of Chapter 18, "The Blurry Glow of Human Identity", p259:

Among the beliefs most universally shared by humanity is the idea "One body, one person", or equivalently, "One brain, one soul". I will call this idea the "caged-bird metaphor", the cage being, of course, the cranium, and the bird being the soul. Such an image is so self-evident and so tacitly built into the way we all think about ourselves that to utter it explicitly would sound as pointless as saying, "One circle, one center" or "One finger, one fingernail"; to question it would be to risk giving the impression that you had more than one bat in your belfry. And yet doing precisely the latter has been the purpose of the past few chapters.

The second paragraph, right after that, might as well be quoted from LW. Check it out:

In contrast to the caged-bird metaphor, the idea I am proposing here is that since a normal adult human brain is a representationally universal "machine", and since humans are social beings, an adult brain is the locus not only of one strange loop constituting the identity of the primary person associated with that brain, but of many strange-loop patterns that are coarse-grained copies of the primary strange loops housed in other brains. Thus, brain 1 contains strange loops 1, 2, 3, and so forth, each with its own level of detail. But since this notion is true of any brain, not just of brain 1, it entails the following flip side: Every normal adult human soul is housed in many brains at varying degrees of fidelity, and therefore every human consciousness or "I" lives at once in a collection of different brains, to different extents.

Buddhism's not part of the book. It is part of the roots of IFS, though! So I think that you'd be better served looking at IFS or the ways that people quote Hesse if you want to find those Buddhist influences.

[-] corbin@awful.systems 5 points 2 days ago

It's Hofstadter, isn't it? That's the author who I recognize most in these discussions, followed closely by Hermann Hesse.

[-] corbin@awful.systems 10 points 5 days ago

Previously, on Awful, I predicted that Oracle would be all-in on the bubble:

Microsoft knows that there’s no money to be made here, and is eager to see how expensive that lesson will be for Oracle; Oracle is fairly new to the business of running a public cloud and likely thinks they can offer a better platform than Azure, especially when fueled by delicious Arabian oil-fund money.

But, uh, there's not going to be any Arabian money while we're dancing in the desert, blowing up the sunshine. The lawnmower is now running low on gas. Today, Oracle continues to make astoundingly bad business decisions:

Oracle is the only major player funding the AI buildout with debt, carrying over $100 billion on its books while free cash flow has gone negative.

[-] corbin@awful.systems 8 points 6 days ago

Due to KYC requirements, Bitcoin has a negative expected price for me; I'll actually pay people to take my coin from me so that I can certify my nocoin status to my bank. $0 is a mercy.

[-] corbin@awful.systems 5 points 6 days ago

Possibly too mean: the books3 guy is divorced and lonely.

[-] corbin@awful.systems 1 points 6 days ago

By "fossil fuel" do you mean LNG, coal, or something else? There are hundreds of planned LNG plants across the country, yes.

I’ve designed some of the things you mention.

Then put up numbers already. I've been to The Dalles and Prineville and think that I've put forward a decent slice of understanding how datacenters operate. You don't get any points for unsubstantiated authority or expertise.

I'm increasingly concerned that folks just aren't able to condemn Facebook based on the fact that it contributes to three genocides. Making up bullshit about electricity usage is not helpful in that discussion.

7

Okay, previously, on Awful, we established that vibecoding can't produce working compilers. Let's try some other side projects of mine. I have important stuff to work on and a deadline, so I'm not matching these projects with my own submissions. Instead, I've laid out a psuedo-objective rubric and I'm going to say that par is 10/10 points.

70
[-] corbin@awful.systems 41 points 1 month ago

Okay guys, I rolled my character. His name is Traveliezer Interdimensky and he has 18 INT (19 on skill checks, see my sheet.) He's a breeding stud who can handle twenty women at once despite having only 10 STR and CON. I was thinking that we'd start with Interdimensky trapped in Hell where he's forced to breed with all these beautiful women and get them pregnant, and the rest of the party is like outside or whatever, they don't have to go rescue me, I mean rescue him. Anyway I wanted to numerically quantify how much Hell wants me, I mean him, to stay and breed all these beautiful women, because that's something they'd totally do.

9

I’m tired of hearing about vibecoding on Lobsters, so I’ve written up three of my side tasks for coding agents. Talk is cheap; show us the code.

23

Happy Holiday and merry winter solstice! I'm sharing a Nix flake that I've been slowly growing in my homelab for the past few months. It incorporates this systemd feature, switches from CppNix to Lix, and disables a handful of packages. That PR inspired me, and I'm releasing this in turn to inspire you. Paying it forward and all that.

Should you use this? As-is, probably not. It will rebuild systemd at a minimum and you probably don't have enough RAM for that; building from this flake crashed my development laptop and I had to build it on a workstation instead. Also, if you have good taste in packages then this will be a no-op aside from systemd and Lix, and you can do both of those on your own.

Isn't this merely virtue-signalling? I think that the original systemd PR was definitely signalling, since it's unlikely to ever get deployed on the systems of our friends. However, I really do sleep better at night knowing that it's unlikely that jart or suckless have any code running on my machines.

Why not make a proper repository and organization? Mostly the possibility that GitHub might actually take down a repository named nixpkgs-antifa. If there's any interest then I could set up a Codeberg repo. However, up to this point, I've only used it internally and my homelab has its own internal git service.

Mods: You've indicated that you don't like it when people write code to approach our social problems. That's fine; I'm not publishing an application or service and certainly not starting a social movement, just sharing some of my internal code.

14
submitted 2 months ago* (last edited 2 months ago) by corbin@awful.systems to c/techtakes@awful.systems

Did catgirl Riley cheat at a videogame, or is she just that good? Detective Karl Jobst is on the case. Are the critics from platform One True King (OTK), like Asmongold and Tectone, correct in their analysis of Riley's gameplay? Or are they just haters who can't stand how good she is? Bonus appearance from Tommy Tallarico.

Content warning: Quite a bit of transmisogyny. Asmongold and Tectone are both transphobes who say multiple slurs and constantly misgender Riley, and their Twitch chats also are filled with slurs. Jobst does not endorse anything that they say, but he also quotes their videos and screenshots directly.

too long, didn't watch

This video is a takedown of an AI slop channel, "Call of Shame". As hinted, this is something of a ROBLOX_OOF.mp3 essay, where it's not just about the cryptofascists pushing the culture war by attacking a trans person, but about one specific rabbit hole surrounding one person who has made many misleading claims. Just like how ROBLOX_OOF.mp3 permanently hobbled Tallarico's career, it seems that Call of Shame has pivoted twice and turned to evangelizing Christianity instead as a result of this video's release.

30

A straightforward dismantling of AI fearmongering videos uploaded by Kyle "Science Thor" Hill, Sci "The Fault in our Research" Show, and Kurz "We're Sorry for Summarizing a Pop-Sci Book" Gesagt over the past few months. The author is a computer professional but their take is fully in line with what we normally post here.

I don't have any choice sneers. The author is too busy hunting for whoever is paying SciShow and Kurzgesagt for these videos. I do appreciate that they repeatedly point out that there is allegedly a lot of evidence of people harming themselves or others because of chatbots. Allegedly.

19

A straightforward product review of two AI therapists. Things start bad and quickly get worse. Choice quip:

Oh, so now I'm being gaslit by a frakking Tamagotchi.

12

The answer is no. Seth explains why not, using neuroscience and medical knowledge as a starting point. My heart was warmed when Seth asked whether anybody present believed that current generative systems are conscious and nobody in the room clapped.

Perhaps the most interesting takeaway for me was learning that — at least in terms of what we know about neuroscience — the classic thought experiment of the neuron-replacing parasite, which incrementally replaces a brain with some non-brain substrate without interrupting any computations, is biologically infeasible. This doesn't surprise me but I hadn't heard it explained so directly before.

Seth has been quoted previously, on Awful for his critique of the current AI hype. This talk is largely in line with his other public statements.

Note that the final 10min of the video are an investigation of Seth's position by somebody else. This is merely part of presenting before a group of philosophers; they want to critique and ask questions.

20

A complete dissection of the history of the David Woodard editing scandal as told by an Oregonian Wikipedian. The video is sectioned into multiple miniature documentaries about various bastards and can be watched piece-by-piece. Too long to watch? Read the link above.

too long, didn't watch, didn't read, summarize anyway

David Woodard is an ethnonationalist white supremacist whose artistic career has led to an intersection with a remarkable slice of cult leaders and serial killers throughout the past half-century. Each featured bastard has some sort of relationship to Woodard, revealing an entire facet of American Nazism which runs in parallel to Christian TREACLES, passed down through psychedelia. occult mysticism, and non-Christian cults of capitalism.

15
15

Cross-posting a good overview of how propaganda and public relations intersect with social media. Thanks @Soatok@pawb.social for writing this up!

12
Busy Beaver Gauge (bbgauge.info)

Tired of going to Scott "Other" Aaronson's blog to find out what's currently known about the busy beaver game? I maintain a community website that has summaries for the known numbers in Busy Beaver research, the Busy Beaver Gauge.

I started this site last year because I was worried that Other Scott was excluding some research and not doing a great job of sharing links and history. For example, when it comes to Turing machines implementing the Goldbach conjecture, Other Scott gives O'Rear's 2016 result but not the other two confirmed improvements in the same year, nor the recent 2024 work by Leng.

Concretely, here's what I offer that Other Scott doesn't:

  • A clear definition of which problems are useful to study
  • Other languages besides Turing machines: binary lambda calculus and brainfuck
  • A plan for how to expand the Gauge as a living book: more problems, more languages and machines
  • The content itself is available on GitHub for contributions and reuse under CC-BY-NC-SA
  • All tables are machine-computed when possible to reduce the risk of handwritten typos in (large) numbers
  • Fearless interlinking with community wikis and exporting of knowledge rather than a complexity-zoo-style silo
  • Acknowledgement that e.g. Firoozbakht is part of the mathematical community

I accept PRs, although most folks ping me on IRC (korvo on Libera Chat, try #esolangs) and I'm fairly decent at keeping up on the news once it escapes Discord. Also, you (yes, you!) can probably learn how to write programs that attempt to solve these problems, and I'll credit you if your attempt is short or novel.

[-] corbin@awful.systems 31 points 8 months ago

The orange site has a thread. Best sneer so far is this post:

So you know when you're playing rocket ship in the living room but then your mom calls out "dinner time" and the rocket ship becomes an Amazon cardboard box again? Well this guy is an adult, and he's playing rocket ship with chatGPT. The only difference is he doesn't know it and there's no mommy calling him for dinner time to help him snap out of it.

[-] corbin@awful.systems 25 points 1 year ago

Meanwhile, actual Pastafarians (hi!) know that the Russian Federation openly persecutes the Church of the Flying Spaghetti Monster for failing to help the government in its authoritarian activities, and also that we're called to be anti-authoritarian. The Fifth Rather:

I'd really rather you didn't challenge the bigoted, misogynist, hateful ideas of others on an empty stomach. Eat, then go after the bastards.

May you never run out of breadsticks, travelers.

[-] corbin@awful.systems 27 points 2 years ago

He's talking like it's 2010. He really must feel like he deserves attention, and it's not likely fun for him to learn that the actual practitioners have advanced past the need for his philosophical musings. He wanted to be the foundation, but he was scaffolding, and now he's lining the floors of hamster cages.

[-] corbin@awful.systems 47 points 2 years ago

This is some of the most corporate-brained reasoning I've ever seen. To recap:

  • NYC elects a cop as mayor
  • Cop-mayor decrees that NYC will be great again, because of businesses
  • Cops and other oinkers get extra cash even though they aren't business
  • Commercial real estate is still cratering and cops can't find anybody to stop/frisk/arrest/blame for it
  • Folks over in New Jersey are giggling at the cop-mayor, something must be done
  • NYC invites folks to become small-business owners, landlords, realtors, etc.
  • Cop-mayor doesn't understand how to fund it (whaddaya mean, I can't hire cops to give accounting advice!?)
  • Cop-mayor's CTO (yes, the city has corporate officers) suggests a fancy chatbot instead of hiring people

It's a fucking pattern, ain't it.

view more: next ›

corbin

joined 2 years ago