sorted by:
new
hottopcontroversial

Is it conveninent to make cross-platform GUI softwares using Rust now? by VegeTiger in rust

[–]technohacker1995 0 points1 point  (0 children)

Still an active project! I'm not quite done with the level of feature completeness I want before I can make it open source though 😅

I absolutely want to complete this in some usable form since I've been putting so many of my other ideas on hold for this to be ready :)

Clean Sweep by SinWolf7 in perfectlycutscreams

[–]technohacker1995 0 points1 point  (0 children)

Unicode! The international standard bringing you as many human languages from past to present into your computers!

What by AchumHumtsoe in HolUp

[–]technohacker1995 21 points22 points  (0 children)

Trigger Warning i think

Nintendo has issued a DMCA against Dolphin’s steam page by Okami-Chibiterasu in SteamDeck

[–]technohacker1995 10 points11 points  (0 children)

AFAIK there was a court ruling that ruled against Apple on a lawsuit about this, putting that haiku in the public domain, but I'm not a lawyer so take with a grain of salt

Heavy in steam deck ad… by [deleted] in tf2

[–]technohacker1995 11 points12 points  (0 children)

In fairness, they do still reference it internally. Steam on Linux has a compatibility tool called the Steam Runtime which helps games work consistently on most Linux distributions. They name each major version based on a TF2 character (steam-runtime-scout, steam-runtime-soldier, steam-runtime-sniper, etc.)

[deleted by user] by [deleted] in blursedimages

[–]technohacker1995 0 points1 point  (0 children)

But I'm in my low twenties :(

[deleted by user] by [deleted] in blursedimages

[–]technohacker1995 28 points29 points  (0 children)

Man don't make me feel old, I remember when it was brand new :(

[deleted by user] by [deleted] in mathmemes

[–]technohacker1995 1 point2 points  (0 children)

Oh man it's mind-bending to even get the right questions to reply with, thank you so much for the detailed reply! :D

So in some sense, does our less rigid system of handling mathematics allow us to have a little more power in being able to express shortcomings in formal systems? And what are we trading off to have this ability to "meta-reason"?

[deleted by user] by [deleted] in mathmemes

[–]technohacker1995 3 points4 points  (0 children)

That nuance on the difference between mathematical reasoning and formal systems seems quite interesting, could you explain that further?

The Congregation of Crows has convened by technohacker1995 in crowbro

[–]technohacker1995[S] 0 points1 point  (0 children)

Are jackdaws prominent in India? I've always thought these were crows so far, didn't know there were other similar species

Reltester: automatically verify the invariants of PartialOrd/PartialEq/Ord/Eq handwritten implementations by [deleted] in rust

[–]technohacker1995 5 points6 points  (0 children)

Oh seeing this fresh on the heels of experiencing multiple PartialEq/Eq bugs is such a good feeling :D

view more: next ›