Skip Navigation

silent_water [she/her]
silent_water [she/her] @ silent_water @hexbear.net
Posts
0
Comments
435
Joined
4 yr. ago

I give back what I recieve just as the law requires

Jump

  • self-study. it's been a decade since I was in school and kept encountering references to it, so I've been working through a lecture series and the book.

    • I give back what I recieve just as the law requires

    Jump

  • the model provided is a lazy cauchy sequence so any given real number can be computed to arbitrary precision. the theorems about real numbers are directly provable and potentially machine checkable, assuming decidable type checking works out.

    • I give back what I recieve just as the law requires

    Jump

  • because I was misinformed?

    • Newest "anti-woke" tantrum: Right-wingers don't think kids of different races can be friends

    Jump

  • "Dungan referred to a first grade student whose parent claimed they were so upset by a poster showing hands of people of different races, that they transferred classrooms."

    can't wait until the Supreme Court reverses Brown

    • I give back what I recieve just as the law requires

    Jump

  • homotopy type theory has a way to describe the reals in full generality via cauchy sequences, so if type checking ever gets proven to be decidable, this won't be true any longer. it's chapter 11 in the hott book.

    • I give back what I recieve just as the law requires

    Jump

  • oh this is a neat argument I'd never encountered before. I was also under the impression that we hadn't proved there were infinities with cardinality greater than ℵ₁.

    • I give back what I recieve just as the law requires

    Jump

  • there actually is a way to represent the reals with full generality in homotopy type theory -- work is still on-going to implement it in a real programming language/prove type checking is decidable, but the theory is already in place -- via Cauchy sequences.

    • The era of cheap streaming is officially over

    Jump

  • note that you can run your own headscale server rather than paying tailscale for the privilege.

    • You’ve heard of bike gutters, get ready for people gutters!

    Jump

  • sharing the road with cars is not walkable

    • I love Twitter rule

    Jump

  • heavy-handed moderation to keep it that way is a good idea. if someone engages in soft transphobia/chaser shit, warn and ban -- don't leave room for debates about how much trans positivity is too much.

    • China courts Germany's far-right populist AfD

    Jump

    • McConnell on Ukraine proxy war: "We haven’t lost a single American in this war. Most of the money that we spend, is spent on replenishing weapons, so it’s actually employing people here."[paraphrased]

    Jump

  • the person you replied to was talking about the last 9 years

    • McConnell on Ukraine proxy war: "We haven’t lost a single American in this war. Most of the money that we spend, is spent on replenishing weapons, so it’s actually employing people here."[paraphrased]

    Jump

  • there's no way to sell public infrastructure to the highest bidder that won't result in a massive drop in quality of life. it's got very little to do with your government and entirely to do with the introduction of bourgeois rule.

    • McConnell on Ukraine proxy war: "We haven’t lost a single American in this war. Most of the money that we spend, is spent on replenishing weapons, so it’s actually employing people here."[paraphrased]

    Jump

  • Ethnic cleansings in those territories are a fabricated casus beli for Russia 'green man'.

    there have been reports of Ukranian paramilitaries shelling the Donbas going back almost a decade. multiple peace treaties were signed over it, all aiming to stop the ethnic cleansing. each and every one of those treaties were violated. this is all extremely well-documented. can you even prove that a single of these reports is fabricated?

    • McConnell on Ukraine proxy war: "We haven’t lost a single American in this war. Most of the money that we spend, is spent on replenishing weapons, so it’s actually employing people here."[paraphrased]

    Jump

  • yes, capitalism is marked by class war, between the class who own things, and the class who labor. liberalizing the Soviet bloc destroyed the prospects of the working class.

    • McConnell on Ukraine proxy war: "We haven’t lost a single American in this war. Most of the money that we spend, is spent on replenishing weapons, so it’s actually employing people here."[paraphrased]

    Jump

  • jokey one-liners: you have no arguments

    well-reasoned point: I'm not reading all that, I have a job

    • McConnell on Ukraine proxy war: "We haven’t lost a single American in this war. Most of the money that we spend, is spent on replenishing weapons, so it’s actually employing people here."[paraphrased]

    Jump

  • sure but forgetting the historical context just provides justification for NATO aggression

    • McConnell on Ukraine proxy war: "We haven’t lost a single American in this war. Most of the money that we spend, is spent on replenishing weapons, so it’s actually employing people here."[paraphrased]

    Jump

  • yeah, I suggested you do that and got no response. I stand by it.

    • McConnell on Ukraine proxy war: "We haven’t lost a single American in this war. Most of the money that we spend, is spent on replenishing weapons, so it’s actually employing people here."[paraphrased]

    Jump

  • And we know that the separatist fascists are Russian plants.

    this you?

    • McConnell on Ukraine proxy war: "We haven’t lost a single American in this war. Most of the money that we spend, is spent on replenishing weapons, so it’s actually employing people here."[paraphrased]

    Jump

  • I'll take that as a no. expecting liberals to refrain from dehumanizing people is just too much, I guess.