Toes
@Toes@ani.social
- Comment on 20 hours ago:
Probably around the same time Christmas songs become irrelevant.
- Comment on Best recent homebrew games for GB/GBC ? 4 days ago:
Do customized ROMs count? They fixed yellow version.
- Comment on Auto update 5 days ago:
If you switch to a package manager you can avoid issues like that.
- Comment on GB and GBC 6 days ago:
Fun fact, while the gameboy is turning on you can press a specific button combination to change the colour palette being used by the legacy gameboy games.
You can read about it here: yuhao-c.github.io/…/changing-screen-color/
- Comment on What should the next President of the United States do? 1 week 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? 1 week ago:
11
- Comment on Do Costcos usually have an ATM machine? 2 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 2 weeks ago:
🤤
- Submitted 2 weeks ago to animepics@reddthat.com | 0 comments
- Submitted 2 weeks ago to animepics@reddthat.com | 0 comments
- Submitted 2 weeks ago to animepics@reddthat.com | 0 comments
- Submitted 3 weeks ago to [deleted] | 1 comment
- Submitted 3 weeks ago to animemes@ani.social | 2 comments
- Comment on Quentin Tarantino probably got into movie making after misunderstanding what film footage meant. 3 weeks 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? 3 weeks 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 3 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 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 weeks ago:
Prime anime_irl material here
- Comment on another winter sale victim 3 weeks ago:
I’m guessing a chargeback caused this?
- Comment on [deleted] 3 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 3 weeks ago:
Star Trek is going to be really difficult to watch once captain Picard joins Q for the last time.
- Submitted 3 weeks ago to animepics@reddthat.com | 0 comments
- Comment on [Discussion] Which character is the cutest for you? 4 weeks ago:
lol, why are they making that face?
- Submitted 4 weeks ago to animepics@reddthat.com | 0 comments
- Comment on big tobacco stopped paying 4 weeks 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) 4 weeks 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 4 weeks ago to [deleted] | 2 comments
- Comment on This meme is super funny, Especially for people in the UK 5 weeks ago:
haha you got me
- Submitted 5 weeks ago to animemes@ani.social | 1 comment
- Comment on Preloading File Explorer in Windows 11 Doubles RAM Usage, Offers Minimal Speed Boost 1 month ago:
They should just rollback to windows xp and patch the security issues.
- Comment on Netflix kills casting from phones 1 month ago:
My buddy had success running it off a pi.
But he had to encode everything ahead of time as h264.
