Conversation

Notices

1. rice (rice@netzsphaere.xyz)'s status on Thursday, 20-Jan-2022 03:52:59 JST rice
   really hate how people still haven’t figured out how to properly treat epilepsy, neuralgia and migraines, because no one knows how it occurs most of the time. so i’m left with being sometimes completely disabled and semi functioning most of the time
   • バツ子（痛いの痛いの飛んでけ;; (shmibs@tomo.airen-no-jikken.icu)'s status on Thursday, 20-Jan-2022 03:52:51 JST バツ子（痛いの痛いの飛んでけ;;

     in reply to
     @rice here's is somehow same even though still under construction; went mri other day and everyone/thing just feels too small and sadfor school and all that, though, just doing at all is a huge thing really. always been personally very impressed (maybe intimidated slightly? ????) by you. but maybe everyone has a personal "ought" that can't be met, but physical limitations always appear later or sooner and really just surviving is itself already a lot...ah dunno, maybe that's stupid but, well but good luck and thinking of you
   • rice (rice@netzsphaere.xyz)'s status on Thursday, 20-Jan-2022 03:52:53 JST rice

     in reply to
     the hospital gave up on itself
   • rice (rice@netzsphaere.xyz)'s status on Thursday, 20-Jan-2022 03:52:54 JST rice

     in reply to
     there is an overwhelming weight of death lingering throughout the whole building, suspended in the smell of urine
   • rice (rice@netzsphaere.xyz)'s status on Thursday, 20-Jan-2022 03:52:55 JST rice

     in reply to
     it’s ok, it’s like grief thoughanyway another thing I dislike is how depressing, worn down, and soviet the hospital I go to isit’s like some post-war, completely unrenovated building from the 80s where unwashed cleaning ladies yell at people for entering the building in wet boots in winter
   • rice (rice@netzsphaere.xyz)'s status on Thursday, 20-Jan-2022 03:52:56 JST rice

     in reply to
     I’m sad now though. Sad that I can never expect to have a totally normal day and that I can’t e.g have good grades at uni but always do the bare minimum because sometimes I just can’t do more .
   • rice (rice@netzsphaere.xyz)'s status on Thursday, 20-Jan-2022 03:52:57 JST rice

     in reply to
     I got a good doc now though. Will discuss surgery and stuff with him in a couple of weeks, other types of injections, whatever else modern medicine has to make myself as normal as possible
   • rice (rice@netzsphaere.xyz)'s status on Thursday, 20-Jan-2022 03:52:58 JST rice

     in reply to
     Also I hate how I pay a huge amount for health insurance in taxes but it doesn’t cover my treatme t
   • バツ子（痛いの痛いの飛んでけ;; (shmibs@tomo.airen-no-jikken.icu)'s status on Thursday, 20-Jan-2022 03:54:05 JST バツ子（痛いの痛いの飛んでけ;;

     in reply to

     • バツ子（痛いの痛いの飛んでけ;;
     @rice oh and unrelated, but very curious of what field maths you're interested in
   • バツ子（痛いの痛いの飛んでけ;; (shmibs@tomo.airen-no-jikken.icu)'s status on Thursday, 20-Jan-2022 06:43:19 JST バツ子（痛いの痛いの飛んでけ;;

     in reply to
     @rice ah that's kind of you ^^ , though recently been pretty unproductive, just laying around breathing XXand oooh, those all do sound like fun. been looking around some intro category theory stuff here also and poking friend about finitism/intuitionism/constructivism and type theory/proof checker stuff, but don't think he's very convinced ???? (though lean did go over kinda well, had at least seen an article i think it showed up in quanta about implementing scholze's proof
   • rice (rice@netzsphaere.xyz)'s status on Thursday, 20-Jan-2022 06:43:21 JST rice

     in reply to

     • バツ子（痛いの痛いの飛んでけ;;
     @shmibs currently I’m leaning towards group theory, algebraic topology, number theory and category theory as my main interests
     バツ子（痛いの痛いの飛んでけ;; likes this.
   • バツ子（痛いの痛いの飛んでけ;; (shmibs@tomo.airen-no-jikken.icu)'s status on Thursday, 20-Jan-2022 06:48:40 JST バツ子（痛いの痛いの飛んでけ;;

     in reply to

     • バツ子（痛いの痛いの飛んでけ;;
     @rice also interested it's really true almost everyone doing higher maths is really visual-thinking focussed for all the geometry and symmetries stuff. feels like am missing out / slow learner by being sound/words-based thinking, but wonder if there's anywhere that could fit
   • rice (rice@netzsphaere.xyz)'s status on Thursday, 20-Jan-2022 07:06:39 JST rice

     in reply to

     • バツ子（痛いの痛いの飛んでけ;;
     @shmibs I want to learn Lean as well and get into type theory later!I see category theory as a universal language of sorts that you can use to describe constructs in any field of math, then zoom in to the field-specific language. Its ”universal” nature is very appealing to me.I think the fields I mentioned specifically are very visual, but language aids the constructs. Math is more philosophy imo.
     バツ子（痛いの痛いの飛んでけ;; likes this.