Pinned toot

RX: HAI
GG: hello!!!!
AG: Sup ::::)

GG: we are nebula!!! we are trans and do code shit on occasion and are gonna post it here instead of spamming our main :D

we coded the homestuck music wiki and thats our main project right now so you can probably expect some of that?? pchoo!! hsmusic.github.io/

also we sometimes do cursed stuff with scratch so that will probably end up here too lol

excited to meet all! :)

firefox bugzilla drama nonsense 

GG: ๐Ÿฆ€ the Consider reverting access key of new "Copy Link" context menuitem from L to A (as before; maybe "Copy Link Address" like Chrome): Easier motor access for right-handers with common keyboard/touchpad/mouse layout is gone ๐Ÿฆ€

GG: (theres a lot of drama nonsense here which im not even going to bother summarizing lmao)

discord 

GG: lol oh no

(...) We also added automatic syntax highlighting when sending code (...)

GG: not to dunk on the effort behind the rest of the update because it seems like useful stuff, but also
GG: lol oh no

ffdec appreciation post 

ffdec is still good

GG: lol thank goodness, at some point the mkdirp npm module got a 1.0 release with promise support

GG: ohhh my god id thought id gotten it working for ages but im not sure if ive actually made any progress at all
GG: screw this it is officially time to make this 6500 loc js file into many smaller files

Show thread

GG: giving working with what i got a fair shot before some drastic fix but like, this is h*ck lol

Show thread

GG: literally better off forking this ancient joke project (making it generate html text rather than DOM elements) than trying to get auto-indent to work

GG: or figuring out how to do external templates (ala handlebars) but... no.

Show thread

GG: tl;dr any multi-line template string inside another template string makes it think there is a lot more indentation than there actually is. There Is No Way To Fix This

Show thread

GG: istg the auto indentation in vim-jsx-pretty is driving me up the wall

GG: god can you imagine how utterly Epic it would be if firefox didnt randomly just decide to allocate 3.8 gb ram and rising to one tab

@quasar wait gamfaqs is real i thought it was just part of homestuck

GG: yo pawb'd champ, my wip-ad-infinitum 2018 passion project bestiary for grandia 3 got accepted to gamefaqs :O
GG: gamefaqs.gamespot.com/ps2/9272

davids number 

GG: is 0.79793141592653589793238462643384206938682867419999999999999991117041301110011011101110110000101100111001000000110110001101111011011006942022333223222223223332222333222322232322322323222322322232233333223232322322232232223223222322232322223332222333221385071369832155408364463204073218456031314150572983972834615660309701196151517432176152887486424482697985753928663262825000000000000616137198305746744721332660208700709069178433927591546996470469268409759179691420307759780548887855022374446078113912561399787697146324460030513050051558824542644841780031089691464609335482903480113595800548425886694733678598086277408858732808598423544518847660710545833452645956612064566507296654974775877799789993886328501042755411020090940723089787515592543426127720678065101702946534427332288281783286197622725551140340960620239058486676056752768995619011309084116852814629384401279256248817105591199821691512235869801685470047100579418362281930667794583805399182065492794354284017665935034500940229036329903115068384342100700231604129330796687080226546733360354281326566822725289869362324543850916542014926899542490446480946339580752296629203784461558186198132808450866981815923609000240519700022097438060426690033777836411449862683157261054493497740398579813246980476990990751107959569817026691423204417860112376778001896961439724371241753159908758732170278017156218860447755283886967255263831771769376700718631103027892654924027448510258978112956090818720737911455228496204429327670839520813272353506552257352476549523804187511838572785034619765315642073084159667440011183917580320258059013493946450603124983150976843852539525441359466488706637250405592840475448072565246135575722442847528518910383286928734889496661354226358034936853337998347159597789644768234126203560391507440660113779404002015778896491612779362319061157638191048074091705103345926246844312717893093388853013601007825085498157247427488393905559356089755733501243138615570115399467492824040244232310097131577512941831424355370197982661505760086046455021213658669905937603077617782087545540838707394764514529529696618361800174806183799082189994898672017981437097846546370385791447475009876085687465758987415345558924558009753378642634408497852818309431435987792022784373459750958120890790761150015387851255463531013762339099040802089059979671126196170016513808698345091927807248524550696078539282530416490833392091037864052376935246649896180526364959479804055301468184649240835842239732252152248990107567171317300438170859030090277276059273609570814619893062941688460421302240660634281515469051315170843634028939432152092314995672565975471989892050362382468173631500229723472877842917224781465232117959825193626332986058485457638712494341908601030523323950854121032471620220846474398389293808704301022801042220385923221865088991817967450695292179737836426834635128848549215301261853144988747172525968895552571920618576365901511266007281899701360017886659864444000000006969696969000000004856507896573978293098418946942861377074420873513579240196520736686985134010472374469687974399261175109737777010274475280490588313840375497099879096539552270117121570259746669932402268345966196060348517424977358468518855674570257125474999648219418465571008411908625971694797079915200486670997592359606132072597379799361886063169144735883002453369727818139147979555133999493948828998469178361001825978901031601961835034344895687053845208538045842415654824889333804747587112833959896852232544608408971119771276941207958624405471613210050064598201769617718094781136220027234482722493232595472346880029277764979061481298404283457201463489685471690823547378356619721862249694316227166639390554302415647329248552489912257394665486271404821171381243882177176029841255244647445055834628144883356319027253195904392838737640739168912579240550156208897871633759991078870849081590975480192857684519885963053238234905580920329996032344711407760198471635311617130785760848622363702835701049612595681846785965333100770179916146744725492728334869160006475859174627812126900735183092415301063028932956658436620008004767789679843820907976198594936463093805863367214696959750279687712057249966669805614533820741203159337703099491527469183565937621022200681267982734457609380203044791227749809179559383871210005887666892584487004707725524970604446521271304043211826101035911864766629638584950874484973734768614208805294434206942069420698080174247945128758864599049617107570057543680000000002110001101101011011001010111110128444

david's number 

is 0.79793141592653589793238462643384206938682867419999999999999991117041301110011011101110110000101100111001000000110110001101111011011006942022333223222223223332222333222322232322322323222322322232233333223232322322232232223223222322232322223332222333221385071369832155408364463204073218456031314150572983972834615660309701196151517432176152887486424482697985753928663262825000000000000616137198305746744721332660208700709069178433927591546996470469268409759179691420307759780548887855022374446078113912561399787697146324460030513050051558824542644841780031089691464609335482903480113595800548425886694733678598086277408858732808598423544518847660710545833452645956612064566507296654974775877799789993886328501042755411020090940723089787515592543426127720678065101702946534427332288281783286197622725551140340960620239058486676056752768995619011309084116852814629384401279256248817105591199821691512235869801685470047100579418362281930667794583805399182065492794354284017665935034500940229036329903115068384342100700231604129330796687080226546733360354281326566822725289869362324543850916542014926899542490446480946339580752296629203784461558186198132808450866981815923609000240519700022097438060426690033777836411449862683157261054493497740398579813246980476990990751107959569817026691423204417860112376778001896961439724371241753159908758732170278017156218860447755283886967255263831771769376700718631103027892654924027448510258978112956090818720737911455228496204429327670839520813272353506552257352476549523804187511838572785034619765315642073084159667440011183917580320258059013493946450603124983150976843852539525441359466488706637250405592840475448072565246135575722442847528518910383286928734889496661354226358034936853337998347159597789644768234126203560391507440660113779404002015778896491612779362319061157638191048074091705103345926246844312717893093388853013601007825085498157247427488393905559356089755733501243138615570115399467492824040244232310097131577512941831424355370197982661505760086046455021213658669905937603077617782087545540838707394764514529529696618361800174806183799082189994898672017981437097846546370385791447475009876085687465758987415345558924558009753378642634408497852818309431435987792022784373459750958120890790761150015387851255463531013762339099040802089059979671126196170016513808698345091927807248524550696078539282530416490833392091037864052376935246649896180526364959479804055301468184649240835842239732252152248990107567171317300438170859030090277276059273609570814619893062941688460421302240660634281515469051315170843634028939432152092314995672565975471989892050362382468173631500229723472877842917224781465232117959825193626332986058485457638712494341908601030523323950854121032471620220846474398389293808704301022801042220385923221865088991817967450695292179737836426834635128848549215301261853144988747172525968895552571920618576365901511266007281899701360017886659864444000000006969696969000000004856507896573978293098418946942861377074420873513579240196520736686985134010472374469687974399261175109737777010274475280490588313840375497099879096539552270117121570259746669932402268345966196060348517424977358468518855674570257125474999648219418465571008411908625971694797079915200486670997592359606132072597379799361886063169144735883002453369727818139147979555133999493948828998469178361001825978901031601961835034344895687053845208538045842415654824889333804747587112833959896852232544608408971119771276941207958624405471613210050064598201769617718094781136220027234482722493232595472346880029277764979061481298404283457201463489685471690823547378356619721862249694316227166639390554302415647329248552489912257394665486271404821171381243882177176029841255244647445055834628144883356319027253195904392838737640739168912579240550156208897871633759991078870849081590975480192857684519885963053238234905580920329996032344711407760198471635311617130785760848622363702835701049612595681846785965333100770179916146744725492728334869160006475859174627812126900735183092415301063028932956658436620008004767789679843820907976198594936463093805863367214696959750279687712057249966669805614533820741203159337703099491527469183565937621022200681267982734457609380203044791227749809179559383871210005887666892584487004707725524970604446521271304043211826101035911864766629638584950874484973734768614208805294434206942069420698080174247945128758864599049617107570057543680000000002

david's number is an irrational number that can be calculated to arbitrary precision as follows:

take the currently known decimal digits of david's number, then publish them as well as any more digits in a public place with a publicly verifiable timestamp (eg a fedi post. please don't use a blockchain) using the format: " is 0.7"

david's number is defined as whatever the most recent of these posts defines it as, provided that post used the correct previously calculated digits of david's number

Show thread

GG: so it be that is 0.797931415926535897932384626433842069386828674199999999999999911170413

Show older
types.pl

A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.