Toes

@Toes@ani.social

• ⁨Comment⁩ on ⁨Cmon now :(⁩ ⁨⁨2⁩ ⁨days⁩ ago⁩:

  Everyone gets a bigmac

• ⁨Comment⁩ on ⁨Please hold⁩ ⁨⁨3⁩ ⁨days⁩ ago⁩:

  Is there a dystopian Lemmy community anywhere? Perfect content for that haha

• ⁨Comment⁩ on ⁨Buy Windows Vista Ultimate today!⁩ ⁨⁨1⁩ ⁨week⁩ ago⁩:

  .mov? We really are time traveling with this one.

• ⁨Comment⁩ on ⁨Auto update⁩ ⁨⁨2⁩ ⁨weeks⁩ ago⁩:

  If you switch to a package manager you can avoid issues like that.

  community.chocolatey.org/packages/qbittorrent

• ⁨Comment⁩ on ⁨What should the next President of the United States do?⁩ ⁨⁨2⁩ ⁨weeks⁩ ago⁩:

  Here are some brief goals that could improve the country.

  Go through this list and ratify any treaties that are still relevant.

  en.wikipedia.org/…/List_of_treaties_unsigned_or_u…

  Build a new city with homes and opportunities pro bono.

  Guarantee right to repair with complete access to all relevant source code, parts and schematics.

  Eliminate gerrymandering and enforce ranked choice voting for all spheres of government.

  Eliminate the commoditization of essential goods and services (such as food, water, homes, education and healthcare).

  Enrich public transportation to the level of Japan.

  Only do business with entities that respect humanity and ecological life.

• ⁨Comment⁩ on ⁨What's 1+1?⁩ ⁨⁨2⁩ ⁨weeks⁩ ago⁩:

  11

• ⁨Comment⁩ on ⁨Do Costcos usually have an ATM machine?⁩ ⁨⁨4⁩ ⁨weeks⁩ 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⁩ ⁨⁨4⁩ ⁨weeks⁩ ago⁩:

  🤤

• ⁨Comment⁩ on ⁨Whats the best free to play anime gacha game if at any at all?⁩ ⁨⁨4⁩ ⁨weeks⁩ 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⁩ ⁨⁨4⁩ ⁨weeks⁩ ago⁩:

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

• hi :3files.catbox.moe ↗
  Submitted ⁨⁨4⁩ ⁨weeks⁩ ago⁩ to ⁨[deleted]⁩ | ⁨1⁩ ⁨comment⁩
• ⁨Comment⁩ on ⁨There are no odd numbers divisible by 2⁩ ⁨⁨4⁩ ⁨weeks⁩ 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⁩ ⁨⁨5⁩ ⁨weeks⁩ ago⁩:

  I’m guessing a chargeback caused this?

• ⁨Comment⁩ on ⁨[deleted]⁩ ⁨⁨5⁩ ⁨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⁩ ⁨⁨5⁩ ⁨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⁩ ⁨⁨5⁩ ⁨weeks⁩ ago⁩:

  They lost me with the ads. Greedy jerks

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

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

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

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

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

  haha you got me

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

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

• ⁨Comment⁩ on ⁨same shit every day, on god⁩ ⁨⁨1⁩ ⁨month⁩ 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!⁩ ⁨⁨2⁩ ⁨months⁩ 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⁩ ⁨⁨2⁩ ⁨months⁩ ago⁩:

  You’ve been tagged as fridge ads. 🤭

• ⁨Comment⁩ on ⁨Press a button and this SSD will self-destruct with all your data⁩ ⁨⁨2⁩ ⁨months⁩ 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⁩ ⁨⁨2⁩ ⁨months⁩ 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?