Toes

@Toes@ani.social

• ⁨Comment⁩ on ⁨Do Costcos usually have an ATM machine?⁩ ⁨⁨1⁩ ⁨week⁩ ago⁩:

  You can call your local one and ask.

  It probably varies from store to store.

  Your bank will also be able to tell you about any in network ones to save on fees.

• ⁨Comment⁩ on ⁨Thats enough internet for today⁩ ⁨⁨1⁩ ⁨week⁩ ago⁩:

  🤤

• ⁨Comment⁩ on ⁨Whats the best free to play anime gacha game if at any at all?⁩ ⁨⁨1⁩ ⁨week⁩ ago⁩:

  The Danmachi game recently went offline forever. They released a standalone version to play at home. I’m told its tuned to be a bit more fun and you can get all the stuff. Not sure if its been mirrored somewhere.

  droidgamers.com/…/danmachi-battle-chronicle-eos/

• ⁨Comment⁩ on ⁨Why Japan’s internet looks weird — unless you live here⁩ ⁨⁨1⁩ ⁨week⁩ ago⁩:

  I remember reading somewhere that japan and Korea still need to worry about internet explorer 6 support.

• hi :3files.catbox.moe ↗
  Submitted ⁨⁨1⁩ ⁨week⁩ ago⁩ to ⁨[deleted]⁩ | ⁨1⁩ ⁨comment⁩
• ⁨Comment⁩ on ⁨There are no odd numbers divisible by 2⁩ ⁨⁨1⁩ ⁨week⁩ ago⁩:

  By god they are right, this might change the future of mathematics!

  `// 2024‑edition Rust use std::rc::Rc;

  /// Church numeral: given a successor s: fn(u32) -> u32, /// returns a function that applies s n times. type Church = Rc<dyn Fn(fn(u32) -> u32) -> Rc<dyn Fn(u32) -> u32>>;

  /// 0 ≡ λs.λx.x fn zero() -> Church { println!(“Define 0”); Rc::new(|_s| Rc::new(|x| { println!(" 0 applied to {}“, x); x })) }

  /// succ ≡ λn.λs.λx. s (n s x) fn succ(n: Church) -> Church { // label is printed before the closure is created, so the closure // does not capture any non‑'static reference. println!(“Build successor”); Rc::new(move |s| { // inner is the predecessor numeral applied to the same successor let inner = n(s); Rc::new(move |x| { // first run the predecessor let y = inner(x); println!(” predecessor applied to {} → {}“, x, y); // then apply the extra successor step let z = s(y); println!(” +1 applied to {} → {}“, y, z); z }) }) }

  /// Convert a Church numeral to a Rust integer, printing each step. fn to_int(n: &Church) -> u32 { let inc: fn(u32) -> u32 = |k| { println!(” inc({})“, k); k + 1 }; let f = n(inc); // f: Rc<dyn Fn(u32) -> u32> println!(” evaluate numeral starting at 0"); f(0) }

  /// Even ⇔ divisible by 2 fn is_even(n: &Church) -> bool { to_int(n) % 2 == 0 } fn is_odd(n: &Church) -> bool { !is_even(n) }

  fn main() { // ---- build the numerals step‑by‑step ---- let zero = zero(); // 0 let one = succ(zero.clone()); // 1 = succ 0 let two = succ(one.clone()); // 2 = succ 1

  // ---- show the numeric values (trace) ----
  println!("\n--- evaluating 0 ---");
  println!("0 as integer → {}", to_int(&zero));
  
  println!("\n--- evaluating 1 ---");
  println!("1 as integer → {}", to_int(&one));
  
  println!("\n--- evaluating 2 ---");
  println!("2 as integer → {}", to_int(&two));
  
  // ---- parity of 2 (the proof) ----
  println!("\n--- parity of 2 ---");
  println!("Is 2 even? {}", is_even(&two)); // true
  println!("Is 2 odd?  {}", is_odd(&two));  // false
  
  // Proof: “divisible by 2” ⇔ “even”.
  // Since `is_odd(&two)` is false, no odd number can satisfy the
  // divisibility‑by‑2 condition.
  assert!(!is_odd(&two));
  println!("\nTherefore, no odd number is divisible by 2.");
  

  } `

• ⁨Comment⁩ on ⁨another winter sale victim⁩ ⁨⁨2⁩ ⁨weeks⁩ ago⁩:

  I’m guessing a chargeback caused this?

• ⁨Comment⁩ on ⁨[deleted]⁩ ⁨⁨2⁩ ⁨weeks⁩ ago⁩:

  I can’t see the post 😭

• ⁨Comment⁩ on ⁨Do you ever watch old classic TV shows and realize that they are all dead⁩ ⁨⁨2⁩ ⁨weeks⁩ ago⁩:

  Star Trek is going to be really difficult to watch once captain Picard joins Q for the last time.

• ⁨Comment⁩ on ⁨Where's my old hat⁩ ⁨⁨2⁩ ⁨weeks⁩ ago⁩:

  They lost me with the ads. Greedy jerks

• ⁨Comment⁩ on ⁨‘Baldur’s Gate 3’ Maker Promises ‘Divinity’ Will Be ‘Next Level’⁩ ⁨⁨2⁩ ⁨weeks⁩ ago⁩:

  They better have cosmetic slots or I’m going to write them a strongly worded letter

• ⁨Comment⁩ on ⁨big tobacco stopped paying⁩ ⁨⁨3⁩ ⁨weeks⁩ ago⁩:

  I wonder what a chicken nugget version of this would look like.

• ‎ 🌽🔫ani.social ↗
  Submitted ⁨⁨3⁩ ⁨weeks⁩ ago⁩ to ⁨[deleted]⁩ | ⁨2⁩ ⁨comments⁩
• ⁨Comment⁩ on ⁨This meme is super funny, Especially for people in the UK⁩ ⁨⁨4⁩ ⁨weeks⁩ ago⁩:

  haha you got me

• ⁨Comment⁩ on ⁨WTF Just Happened? | The Corrupt Memory Industry & Micron [GN]⁩ ⁨⁨4⁩ ⁨weeks⁩ ago⁩:

  Cruical was the EVGA for ram & SSDs. Sad to see them go this way :(

• ⁨Comment⁩ on ⁨same shit every day, on god⁩ ⁨⁨4⁩ ⁨weeks⁩ ago⁩:

  Hold up, I think you’re onto something.

  There are episodes of the warp core exploding in slow mo. It’s just huge amounts of steam!

• ⁨Comment⁩ on ⁨Labcoat!⁩ ⁨⁨1⁩ ⁨month⁩ ago⁩:

  I had a classmate that managed to dump nitric acid all over themselves doing that. Luckily it wasn’t strong enough to not be funny.

• ⁨Comment⁩ on ⁨Radon⁩ ⁨⁨1⁩ ⁨month⁩ ago⁩:

  You’ve been tagged as fridge ads. 🤭

• ⁨Comment⁩ on ⁨Press a button and this SSD will self-destruct with all your data⁩ ⁨⁨1⁩ ⁨month⁩ ago⁩:

  My friends kid loves to press the power button on her computer. This looks too tempting. haha

• ⁨Comment⁩ on ⁨Me when Valve releases a phone⁩ ⁨⁨1⁩ ⁨month⁩ ago⁩:

  Would be crazy if it was also running steamos (arch)

• ⁨Comment⁩ on ⁨PC Master Race⁩ ⁨⁨2⁩ ⁨months⁩ ago⁩:

  Enjoy your library being mostly 30fps 720p games.

• ⁨Comment⁩ on ⁨What's your answer? And in the picture which news story is being reported?⁩ ⁨⁨2⁩ ⁨months⁩ ago⁩:

  For myself that would be 9/11. I remember being confused when the teacher put it on the tv. Thought we were watching an action movie.

• ⁨Comment⁩ on ⁨What are the most popular conspiracy theories?⁩ ⁨⁨2⁩ ⁨months⁩ ago⁩:

  The most destructive one I’ve seen has been the anti-vax crowd. Almost feels like a state actor trying to gaslight the world.

• ⁨Comment⁩ on ⁨Looking for a good idle game on android⁩ ⁨⁨2⁩ ⁨months⁩ ago⁩:

  I’ve been playing turn based gameboy games on my phone. Perhaps that would be a suitable candidate?

• ⁨Comment⁩ on ⁨Are there good Movies, TV Shows, Anime, with wholesome family (particularly parent-child) relations?⁩ ⁨⁨2⁩ ⁨months⁩ ago⁩:

  Usagi Drop is an anime about an unwanted orphan being adopted by someone with a big heart and no experience. anilist.co/anime/10162/Usagi-Drop/

• ⁨Comment⁩ on ⁨transformations⁩ ⁨⁨2⁩ ⁨months⁩ ago⁩:

  I wanna see RNA become DNA before my eyes.

• ⁨Comment⁩ on ⁨Are there communities online where artists share their art for free / donation?⁩ ⁨⁨2⁩ ⁨months⁩ ago⁩:

  www.pixiv.net/en/ artists post all kinds of works and the ones that want donations typically have a fanbox or something similar in their bio.

• ⁨Comment⁩ on ⁨It's just a fancy new name for a lobotomy⁩ ⁨⁨2⁩ ⁨months⁩ ago⁩:

  Free lobotomy!

• ⁨Comment⁩ on ⁨How's gaming and streaming on T-Mobile home internet?⁩ ⁨⁨2⁩ ⁨months⁩ ago⁩:

  Any wireless technology will be problematic for applications sensitive to jitter. Such as VoIP and gaming. It’s fine for a summer vacation to the cottage but a terrible replacement for a regular connection.

  Streaming services like Netflix and YouTube will be fine as long as it has suitable bandwidth to buffer.

  That said, I’ve had friends, and clients try to make this happen with mixed results. I wouldn’t recommend it.

• ⁨Comment⁩ on ⁨Is there a way to listen to only the radio topics I actually care about?⁩ ⁨⁨2⁩ ⁨months⁩ ago⁩:

  Try satellite radio like XM. Lots of channels to surf