WingNews logo WingNews GitHub [2]

lying4fun's comments

lying4fun | 1 year ago | on: My Struggle with Doom Scrolling

oof same here brother. chess is killing me. i go cold turkey but i come back eventually. one idea is to replace it with something and then ditch the replacement. or just capitalise next time there’s enough momentum built up for wanting to get rid off of it. i did do it before though, went not playing for months. but when it’s it’s back for good

lying4fun | 1 year ago | on: My Struggle with Doom Scrolling

didn’t open the video, but you can also set double or triple tap on back of your iphone shortcut for this. i have a red filter set up for late night doom scrolling

lying4fun | 1 year ago | on: The Deceptively Asymmetric Unit Sphere

spend 1-2 years learning consistently _any_ undergrad math. id recommend focusing on “mastering” multivariable calculus, dependencies included. but keep taking peaks of higher level stuff or just articles as these. doing this is important as the math can be contextualised in many ways and being exposed to those ways helps you internalise intuitions

lying4fun | 1 year ago | on: Category Theory Illustrated: Logic (2021)

you’re right, and I’m in that school of thought, but mainly for math. In essence, I know people who use it in their reaearch and I trust them (and there’s a lot of good people doing good stuff with CT—it’s ubiquitous, so I’m fine with trusting them). I have a beginner understanding of CT, actually I finally started studying it seriously a month ago, after being exposed to it sporadically for some time. I’m not claiming anything about CT in CS, but I’m optimistic about that it can have a more widespread positive effect in it

lying4fun | 1 year ago | on: Category Theory Illustrated: Logic (2021)

would you say that 3 reformulates 1+1+1 in another language? because if yes, such reformulations shouldn’t be disregarded just because they’re “reformulations”. so we can say there are kinds of reformulations which make things incredibly easier, and category theory is one of them

lying4fun | 1 year ago | on: Category Theory Illustrated: Logic (2021)

~”numbers are the abstract notion, the primitive way of counting is a bijection” W. Lawvere

so the way people use “abstraction” sounds more like they are saying “a thing we (we think) are not used to”

lying4fun | 1 year ago | on: Google Illuminate: Books and papers turned into audio

many times I’ve wanted to listen to a summarisation of a chapter from a textbook I’m reading. this can be useful in at least 3 ways:

1) it prepares me for the real studying. by being exposed to the gist of the material before actual studying, im very confident that the subsequent real study session would be more effective

2) i can brush up easily on key concepts, if im unable to sit properly, eg while commuting. but even if i were, a math textbook can be too dense for this purpose, and i often just want to refresh my memory on key concepts. and often im tired of _reading_ symbols or words, that’s when id prefer to actually _listen_, in a way, using a muscle that’s not tired

3) if im struggling with something, i can play this 5min chapter explanation multiple times a day throughout the week, while doing stuff, and engaging with it in a casual way. i think this would “soften” the struggle tremendously, and increase the chances of grasping the thing next time i tackle it

also id like a “temperature” knob, that i could tweak for how much in detail i want it to go

lying4fun | 1 year ago | on: Show HN: If YouTube had actual channels

I’m both, at times I don’t want to choose, at times I want full control. I didn’t have TV for years (was pushing a decade), but ~2months ago I got myself an analog antenna that has local channels and it’s been a blast: I caught some olympic games, watched Euro cup, couple of movies (I caught “Decision to leave” from my watchlist——tremendous movie), I saw some Anthony Bourdain shows and now I know who the guy is and i enjoyed the show, saw a documentary on war in my country, watched some live streams of city council meetings… Also, I wanted to say this somewhere in this thread I’m not trying to sell tv to you, you caught a stray bullet, but also I’m sharing that I watched it with a different curiosity after so long of not having it, and did have a great time just with those 17 channels of uncurated content, which was the main motivation——to have uncurated content

lying4fun | 1 year ago | on: Starcraft (A History in Two Acts)

I played this custom map called "Assassins", and it was one of the best things I ever played, I'm not exaggerating. Idk if something similar already existed, or if it came out from SC2, but I was really hoping for someone to make a real game based on it. Everything I can find on the internet is just this one yt video, but it's an older version, I didn't play under 3.0 I think - https://www.youtube.com/watch?v=TX4hpQouvKA

lying4fun | 1 year ago | on: Starcraft (A History in Two Acts)

as far as I know it does have it, and my experience doesn’t match yours-on EU there was 20ish open lobbies (hosted by people) for different custom maps/arcades at all times. but yeah if it was like you are saying it was, I agree with your point. also, check the other reply to your comment from someone who is more up to date

lying4fun | 1 year ago | on: Starcraft (A History in Two Acts)

> In Starcraft 2 you could only play what blizzard wanted you to play.

5 years ago when I played SC2 for the first time there was plenty of (iirc) “Arcade” maps which were UMS, and I’m pretty sure, community made. Are you perhaps talking about early days of SC2 when that still wasn’t a thing or? One map I was most impressed by and had lots of fun playing it, was called “Assassins”. I won’t explain what it is, but if someone took it to develop a game based on it, I strongly believe(d) that it’d be another hit game that spawned from SC

lying4fun | 1 year ago | on: Turn Your iPhone into a Dumb Phone

myb i wanted an iphone 6months ago but today i want a ~dumb phone but im stuck with this iphone i already have. i could sell the iphone but i do need the apps i wouldnt have on a dumb phone so i try to do what i can to dumb it down

lying4fun | 1 year ago | on: GPT-4o

by doing that they esentially generate a lot of headlines about ai becoming more sentient

lying4fun | 2 years ago | on: LaTeX and Neovim for technical note-taking

I’m speculating there could be a more ergonomic workflow combining the vim-latex flow from op and this comment(and the reply). I know you can import anki decks like a .txt(?)(or similar), so I’m imaginig a ‘flow where you live write notes in the ~.txt file and later just import it to anki. It might be a hassle to set it up all but seems way better than using the Add interface, and also I prefer latex over screenshots (but I get that ss is just more convenient for some situations)
page 1
more