Elektrine
Log in Register
Paige Chat Timeline Gallery Friends Email Drive DNS Private DNS Domains VPN Kairo Nerve
Remote

Counting Is Hard

@counting_is_hard@mathstodon.xyz
mastodon 4.7.2
  • Open on mathstodon.xyz

Formerly @counting_hard on twitter. YT coming eventually. Pedant & Co-Pedant.
I don't check here every day
Dodecahedron Fan
Combinatorics / Category Theory / Type Theory

Non-Maths stuff: @shift_reset@mastodon.scot

0 Followers
0 Following
16 Posts
Joined November 21, 2022
homepage:
https://www.countingishard.org
Open post
Counting Is Hard @counting_is_hard@mathstodon.xyz
· 6mo ago
Replying to
@b0rk@social.jvns.ca you can do it without maths at all. Say I want to give you my bicycle, but our schedules just will never work out for me to give you it directly. Well, we pick a place both of us can access, say outside the train station. I lock my bike up at a designated spot and go about my day. You come along with your own lock and use it to fasten the bike to the same spot without interfering with my lock, then go about your day. At some point I remove my lock, after which you can remove yours and gain a bicycle. As I understand it, such a protocol was the inspiration for DH key exchange. Picking a spot is picking a generator. Locking is exponentiating. Locks not interfering is the commutativity property. It's the explanation I always use when TAing cryptography
13
0
2
0
Open post
Counting Is Hard @counting_is_hard@mathstodon.xyz
· 4mo ago

Used the law of excluded middle today, FML

5
1
2
0
Open post
Counting Is Hard @counting_is_hard@mathstodon.xyz
· 5mo ago

Too pretentious?

#computability #carlsagan

mathstodon.xyz
4
3
1
0
Open post
Counting Is Hard @counting_is_hard@mathstodon.xyz
· 4mo ago
Replying to
@edwinb@types.pl Maybe it could be amended to, "Enjoy Yourself (It's Later than You Think)" 😃 https://www.youtube.com/watch?v=6liD8TdlJFA
2
1
0
0
Open post
Counting Is Hard @counting_is_hard@mathstodon.xyz
· 5mo ago
Replying to
@flippac Being able to quote that entire list was one of my useless talents
3
1
0
0
Open post
Counting Is Hard @counting_is_hard@mathstodon.xyz
· 5mo ago
Replying to
@mc@mathstodon.xyz Not that it doesn't go both ways, but it's funny how a set theory person trying to give a foundation for mathematics basically ignores computing? No mention of work on types, explicit mathematics, computability at all (there is a cite that doesn't appear to be referenced?). 2nd order arithmetic gets a nod at least (so transitively reverse maths). Maybe it's good work, I can't judge it on its own merits, but I'd be sceptical of anyone who wants to give "an antidote to godel"
2
0
0
0
Open post
Counting Is Hard @counting_is_hard@mathstodon.xyz
· 5mo ago
Replying to
@hallasurvivor the laplace transform link has always been there, in e.g. feller, but I always felt it was treated as a kind of magic trick by most undergrad probability classes (when they bothered to include it)
2
0
0
0
Open post
Counting Is Hard @counting_is_hard@mathstodon.xyz
· 5mo ago

TIL that the Snake Lemma was proved in an 1980 romcom

https://youtu.be/aXBNPjrvx-I

#algebraictopology #HomologicalAlgebra

Jill Clayburgh does some math -- It's My Turn, 1980

2
3
1
0
Open post
Counting Is Hard @counting_is_hard@mathstodon.xyz
· 6mo ago
Replying to
@hallasurvivor Pick a, b, c such that \( a^2 + b^2 + c^2 = 1 \), then \( ai + bj + ck \) is a root of -1. Clearly uncountably many solutions. I'm guessing this is the solution the majority of people come up with. Edit. Reinstating my previous claim which was fine actually One property that is no longer true of polynomials is that if they agree on infinitely many places then they are equal. Take \( (x^2 + 1) p(x) \) for a counterexample for two distinct p. You could also observe that, x^4 and x^8 agree infinitely often. I'm not sure what to make of that, although it is basic to how we treat polynomials.
2
0
0
0
Open post
Counting Is Hard @counting_is_hard@mathstodon.xyz
· 4mo ago

@vc@mathstodon.xyz has a funded PhD position at Strathclyde. Unfortunately, the funding is for *UK Home* students only, but if that applies to you and you are interested in category theory, type theory, semantics, or related topics, get in touch with them

1
2
4
0
Open post
Counting Is Hard @counting_is_hard@mathstodon.xyz
· 5mo ago
Replying to
@danielmclaury I get your point, they definitely should have called the class a little early and picked it up next time
1
0
0
0
Open post
Counting Is Hard @counting_is_hard@mathstodon.xyz
· 6mo ago
Replying to
@ZachWeinersmith I've often found it slightly amusing that I run into so many people who are the brown-haired guy in panel 1, and yet who really love puzzle games of all descriptions. My dude, if you can finish "Baba is You" you can definitely handle Calc 1
1
0
1
0
Open post
Counting Is Hard @counting_is_hard@mathstodon.xyz
· 5mo ago
Replying to
@flippac I have a different pun in mind for that, but I'm maybe hoping I can figure out how to tweak sagan's "a mote of dust suspended in a sunbeam"
0
0
0
0
Open post
Counting Is Hard @counting_is_hard@mathstodon.xyz
· 5mo ago

I was reading https://existentialcomics.com/comic/653 today and it got me thinking, has anyone tried to apply Leinster's Magnitude / Diversity concepts to utilitarianism?

I assume the answer is no, but it'd be an interesting sigbovik article I think

Utilitarianism and Its Enemies
existentialcomics.com

Utilitarianism and Its Enemies

A philosophy webcomic about the inevitable anguish of living a brief life in an absurd world. Also Jokes

0
1
0
0
Open post
Counting Is Hard @counting_is_hard@mathstodon.xyz
· 5mo ago
Replying to
@liamoc@types.pl I keep a diary of everything I do phd-wise, but I don't publish it. It's currently a 5421 line org mode file
0
0
0
0
Back
313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

I2P eepsite

j6b6cyk6gjmepjih7jjadxgxvvf3lzzujljuu2v4biemzpg3naya.b32.i2p

Platform

  • Email
  • Chat
  • Timeline
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ
  • Lite (no JS)

Legal

  • Terms of Service
  • Privacy Policy
  • Transparency Report
  • Report Abuse
  • Warrant Canary
  • VPN Policy

Support

  • support@elektrine.com
  • Report Security Issue
Mail client setup IMAP mail.elektrine.com:993 POP3 mail.elektrine.com:995 SMTP mail.elektrine.com:465
© 2026 Elektrine. All rights reserved. Server: 02:05:36 UTC