Toes
@Toes@ani.social
- Submitted 56 minutes ago to animepics@reddthat.com | 0 comments
- Submitted 1 day ago to [deleted] | 1 comment
- Submitted 1 day ago to animemes@ani.social | 2 comments
- Comment on Quentin Tarantino probably got into movie making after misunderstanding what film footage meant. 1 day ago:
That’s the kind of dedication we need in the cinema industry!
- Comment on What is the cheapest console to get and collect for that still holds up? 1 day ago:
The SNES was my favourite console. Huge game library, still looks great on a oled or crt screen.
However, a modded handheld could play all those games and more such as a vita.
- Comment on There are no odd numbers divisible by 2 1 day 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 appliessn 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 { //
labelis printed before the closure is created, so the closure // does not capture any non‑'static reference. println!(“Build successor”); Rc::new(move |s| { //inneris 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 I miss breaks lol, savor them 3 days ago:
Prime anime_irl material here
- Comment on another winter sale victim 4 days ago:
I’m guessing a chargeback caused this?
- Comment on I've seen a lot but this leaves me speechless 4 days ago:
I can’t see the post 😭
- Comment on Do you ever watch old classic TV shows and realize that they are all dead 4 days ago:
Star Trek is going to be really difficult to watch once captain Picard joins Q for the last time.
- Submitted 5 days ago to animepics@reddthat.com | 0 comments
- Comment on [Discussion] Which character is the cutest for you? 1 week ago:
lol, why are they making that face?
- Submitted 1 week ago to animepics@reddthat.com | 0 comments
- Comment on big tobacco stopped paying 1 week ago:
I wonder what a chicken nugget version of this would look like.
- Comment on Judging by how many users on the internet telling Americans to "just move to another country lolz", people must think immigration laws are very lax or something... (it's not) 1 week ago:
I read that you can’t hold multiple citizenships as a citizen of Japan. So I’d imagine your kid will be forced to give one up when they become an adult?
- Submitted 1 week ago to [deleted] | 2 comments
- Comment on This meme is super funny, Especially for people in the UK 2 weeks ago:
haha you got me
- Submitted 2 weeks ago to animemes@ani.social | 1 comment
- Comment on Preloading File Explorer in Windows 11 Doubles RAM Usage, Offers Minimal Speed Boost 3 weeks ago:
They should just rollback to windows xp and patch the security issues.
- Comment on Netflix kills casting from phones 3 weeks ago:
My buddy had success running it off a pi.
But he had to encode everything ahead of time as h264.
- Comment on Netflix kills casting from phones 3 weeks ago:
I love the syncplay feature i just wished it worked much better with large groups.
- Comment on same shit every day, on god 3 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 Windows 11's adoption is much slower compared to Windows 10, claims Dell 3 weeks ago:
Heh, you know it’s bad when the OEMs are throwing shade.
- Submitted 4 weeks ago to animepics@reddthat.com | 0 comments
- Comment on Labcoat! 4 weeks 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 4 weeks ago:
You’ve been tagged as fridge ads. 🤭
- Comment on Me when Valve releases a phone 5 weeks ago:
Would be crazy if it was also running steamos (arch)
- Comment on Valve Announces New Steam Machine, Steam Controller & Steam Frame 5 weeks ago:
I’m really hoping that the price of the car headset meets or beats the Facebook models.
- Comment on [Episode] Gnosia - Episode 4 discussion 1 month ago:
👀
- Comment on PC Master Race 1 month ago:
Enjoy your library being mostly 30fps 720p games.
