talk.tryitonline.net - 2018-12-19

« first day (849 days earlier) ← previous day next day → last day (1645 days later) »

Dennis

00:38

@ASCII-only FALSE?

ASCII-only

@Dennis yeah

Dennis

@ASCII-only Updated.

ASCII-only

wait i'm an idiot i could have just tested on TIO

@Dennis could you pull FALSE again? thanks

Dennis

@ASCII-only Done.

Draco18s

01:06

@Dennis Discovered a bug or two. Fixed them. Added some more modifiers. Pushed to github.

Pavel

@Dennis You don't need to build P# from source! Yay! nuget install Microsoft.PSharp.

It'll fetch a Microsoft.PSharp.1.4.3/lib/net46/PSharpCompiler.exe which I am currently trying to figure out how to use

ASCII-only

> currently trying to figure out how to use

:P

Pavel

It's a pain ok

You need to create a solution

Ok I have a plan

Go home -> open VS -> install p# language support -> get VS to do all the work for me

But the key takeaway is we don't have to build with the latest and shittiest build toolchain MSR pulled out of their ass

And it's an extension to C#, so I don't need to learn how the language works.

P is... harder

Dennis

01:30

@Draco18s Pulled Runic.

Draco18s

Checked, looks good.

Pavel

For the record, building P# requires PowerShell running on Windows, so I'm glad the had the foresight to upload it

ASCII-only

note to self, everyone ignoe:
https://tio.run/##1Rjbbts49ln@ChZYjKTxJXYfkyZFp80Miu22gybdF9sFGJm2lciSVpTSBG2@PXsupETZctK03YcN4Egkz/1OXcprqaMizsthmi3U/f21LESc5lUpjoXvD3pecbrJy1tYHXye6d//cbBZxbj7TpV2L1El/A@mMz07m4fwehxMPx/P@2EN/D5Lz1WxiVNZxumK8ILR76EYngh81nDdQN8aoKNeb1mlURlnqbiQiUwjtQh0KL72PBR8ofJyDZjjo563zAoRkDa0AY8XQo8Sla7KNaz6fcLy4qUI9DSei2PQN/BDptHvH22fhfZsOLRnzO6FGIeiUGVVpGIpE63g@A6U4Z1nBHTUu3Mkz2Wh1d@yUKkOIrD6gAkPwPALdfPh4pJEswsQv3799k18vZZJpQ7F@O6IlS6UrhJ0xnQOO9YE/AR4tEWUpTpL1CjJVix0CJu1BmwIJKWrKFJaA3pZVKiH92UdJ0oEVoARMQeVUWxjTEYncrg7bcP2@3PxzJiW4LyLQskrpI1W8lqy@bHfGIHxQ4JkHUd5pdfBHuuJo…

Pavel

01:49

I found ais in IRC and he figured out how to write HW in P in about 20 seconds

Magic.

Now to get the compiler to work.

5 hours later…

Pavel

06:30

@Dennis You know C, so you might be able to get the C files P produces to build, I can't get them to link. Building P is super simple, after building the compiler is P/Bld/Drops/Release/AnyCPU/Binaries/Pc.dll executable with dotnet. HW should be machine Main { start state Hello { entry { print "Hello, World!\n"; }}}.

2 hours later…

ASCII-only

08:01

@Pavel ~~i can too~~

1 hour later…

ASCII-only

09:25

update:
https://tio.run/##tRlrb9s28LP8K1hgmKT5kcfHpE3RtdlQrGuLJt0XW8UYmbaVyJJGUmmCtr@9uzuSEmXLTdJuAzqLx@O9X2Qu@TVXqcwqPS7Kufj69ZpLlhVVrdkTFoajQSBP15W@hdXeh5n65ae99TJD6CuhHSwXeqaGT6PpTM3Okhi@n0TTD09mclYkw7g58boszoVcZwXXWbGkw9Hkl5iNTxj@Nnj9SJ9bpOPBYFEXqc7Kgl3wnBepmEcqZp8GAUo/F5Vewcn940GwKCWLSCUCwM9jpia5KJZ6BavhkE4F2YJFapol7AkoHYUGGBCh4RDIBF@YyJXwwOMxge1Zw/Ix24@ZFLqWBVtwwAcUwLCQR4R0PPjiSV9xqcRbLkWhohTMPzLCj8ADc3Hz5uKSJHELUKH5/PyZfbrmeS2O2P6XY6O4FKrO0SvTBCCNXEabj6ssFyxyBCZ0GERGttYgVm08iNBpF3c4TNgj3zzBhRT8Cs1AdggM@0lVq1W0QzE2ZgeecvGx47ch1okvFhuyA8dSr2T5kYXvizQvlZizshJkRVHolVCZChtx4J/nNDRPWkvEe@H…

ASCII-only

10:08

update:
https://tio.run/##tVlbb9s2FH6WfwULDJM0X2LnMWlTdG02FOvaoUn3IqsAI9O2EpnSSClN0Pa3Z@fwJsqWm6TdChQWycNz@c6Fh8wlvaYyE3lVj3m5YHd311SQnFdNTZ6RMBwNAnG6qepbGB18nMtffjrYrHKcfcNqO1ewei6Hz6NkLudnaQzfz6Lk47O5mPN0GLsdb0t@zsQm57TO@Uptjia/xGR8QvDX0fUTfWmJjgeDZcOzOi85uaAF5RlbRDImnwcBar9gVb2GndPjQbAsBYmUSWoCfp4SOSkYX9VrGA2HaleQL0kkkzwlz8DoKNSTgWI0HAKb4CthhWTe9Hisps1eLfIpmcZEsLoRnCwp0AMJUJiZJ4roePDV076iQrK/qGBcRhnAP9LKj8ADC3bz7uJSaWIHYIL7/PKFfL6mRcOOyPTrsTZcMNkU6JUkhRmnl7bm0zovGIksg4naDCqjWAOIMRs34mzSpR0OU/LEhye4EIxeIQwKh0CLn1SNXEd7DCNjMvOMi4@tvC21Tny1yJDMrMh6LcpPJPzAs6KUbEHKiikUGa/XTOYydOrAf89pCE/WCKR…

ASCII-only

10:26

and again:
https://tio.run/##tRlrb9s28LP8K1hgmKT5ETsfkzZF12ZDsa4dmnRfZBVgZNpWIkuaKKUJ2v727O74EGXLTdJuRQObx@O9X6Qv@TWXSZWW9TgvFuLu7ppXLM3LpmbPmO@PBl51uinrW1gdfJzLX3462KxShL4RtYFlop7L4fMgmsv5WRzC92dB9PHZvJrn8TC0J94W@bmoNmnO6zRf0eFg8kvIxicMPy1eP9KXFul4MFg2eVKnRc4ueMbzRCwCGbLPAw@lX4iyXsPJ6fHAWxYVC0glAsDHUyYnmchX9RpWwyGd8tIlC2SUxuwZKB34CugRoeEQyHhfmcikcMDjMYH1WcXyKZuGrBJ1U@VsyQEfUABDQ54Q0vHgqyN9ySsp/uKVyGWQgPlHSvgReGAhbt5dXJIkZgEq2K9fvrDP1zxrxBGbfj1WildCNhl6JYoBYuVS2nxap5lggSEwocMgMrLVBtFq40GERl3c4TBmT1zzeBeV4FdoBrKDp9hPykaugz2KsTGbOcqFx4bfllgnrlhsyGaGZb2uik/M/5AnWSHFghWlICuKvF4LmUrfigN/jtPQPElT…

1 hour later…

Galen Ivanov

11:50

@Dennis Can you update Red to Red-0.6.4 ?

Dennis

12:39

@GalenIvanov Done.

Dennis

13:02

@Pavel Attempting to build P threw 204 errors. How exactly did you do it?

Ah, I assume I need a newer dotnet-sdk. Iirc, that breaks all .NET Core languages though.

Hm, no, installing the SDK only seems to have broken Q#.

Reinstalling Q# fixed that, but both Q# and VB .NET Core became very slow with the update.

It's all wall time, so I guess they're still trying to access the internet, but they have a time limit now.

Dennis

13:57

@Pavel I fixed all the fixable stuff gcc was complaining about, but I don't think we're compiling the P code properly (or the Hello World is missing something), as the generated C file doesn't define a main function.

Galen Ivanov

@Dennis Thank you!

Dennis

14:13

Maybe we have to write main ourselves. No idea.

And I simply can't find any documentation on this topic. sighs

I tried adding one of these, but that didn't help at all.

I can't even compile the tutorial, partly because Main.cpp contains things gcc considers errors.

I'm officially giving up.

ASCII-only

@Dennis mind pasting error output?

Dennis

14:28

Main.cpp: In function ‘void LogHandler(PRT_STEP, PRT_MACHINESTATE*, PRT_MACHINEINST*, PRT_VALUE*, PRT_VALUE*)’:
Main.cpp:26:2: error: ‘_itoa’ was not declared in this scope
  _itoa(machineId, number, 16);
  ^~~~~
Main.cpp: At global scope:
Main.cpp:87:2: error: variable or field ‘ExceptionHandler’ declared void
  __in PRT_STATUS exception,
  ^~~~
Main.cpp:87:2: error: ‘__in’ was not declared in this scope
Main.cpp:87:2: note: suggested alternative: ‘u_int’
  __in PRT_STATUS exception,
  ^~~~
  u_int

ASCII-only

Hmm

Dennis

OK, rolled back dotnet. Now to fix Q#'s deprecation warnings.

ASCII-only

I'm guessing there's a library/header file missing

Dennis

At least itoa is a Microsoft compiler thing that is not supported by anyone else.

Adám

@Dennis Can you pull extended Dyalog?

Dennis

14:33

line(1,10) : error AC0089: a nested class cannot be unnamed ":namespace"
                                                                       ^
Complete: 1 error.
DOMAIN ERROR: a nested class cannot be unnamed
FIX[23] ref←mode ⎕FIX(1↑code),src,glyphs To names⊢1↓code
                 ∧

@Adám The Hello World shows this error.

Adám

@Dennis Should be fixed now. Sorry.

Dennis

Updated.

Adám

@Dennis Thank you.

ASCII-only

@Dennis did you try compiling to C# instead

Dennis

That would require getting P# to work first.

ASCII-only

14:43

Oh wait, you're building the compiler right now?

Dennis

No, the P compiler compiled just fine.

Transpiling P to C# requires P# though, afaict.

ASCII-only

@Pavel apparently it's pc.exe? Unless that's only on windows

@Dennis did it generate a header too?

This might help: github.com/p-org/P/wiki/P-Tools#compilation

Well, the second half of that section

Dennis

15:06

@ASCII-only This whole part of the tutorial is Windows-only.

@ASCII-only Yes, but the header file (fortunately) contains no main function either.

I think we need a driver for this, like Q#.

Adám

@Dennis I've seen quite a few people use TIO as a pastebin that lasts forever, doesn't require signing up, and encodes the whole text in the url. Maybe you should add a no-op "language" which doesn't attempt to evaluate the "Code".

Dennis

15:29

An alternative would be a Comment field that doesn't get sent to the server in the first place.

I think that would be useful in general, for languages that don't support comments.

Adám

@Dennis Ah, that's a good idea. I've often wanted to add an introduction. It should then go right after the language name.

Pavel

The obvious solution to this is esolangs.org/wiki/Text

Dennis

I won't call that a language with a gun pointed to my head. :P

Pavel

I found a thing. github.com/p-org/PSharp/tree/master/Samples

Lets see If I can compile it.

Dennis

Updated Q# btw.

dzaima

15:39

@Dennis fixed

Dennis

That works too. :P

Adám

@Dennis How so? It still says select a language and you won't call it that.

dzaima

@Adám dammit :|

Dennis

> TIO hosts 229 practical and 359 recreational programming languages and Text, for a total of 588 languages and Text.

11

Adám

> TIO hosts 1 non-, 229 practical, and 359 recreational programming languages for a total of 588 (non-)languages.

Pavel

15:45

It turns out that I cannot because the samples assume windows. I guess I'll have to write my own after all.

ASCII-only

@Adám 589?

Dennis

.oO( Why does the code field have a data-gramm_editor="false" attribute and what does it do? )

Pavel

Didn't you write it

ASCII-only

@Dennis even for languages with comments

Dennis

@Pavel I hope so.

Adám

15:47

@ASCII-only Yeah.

Pavel

@Dennis Well, have you tried setting the attribute to true and seeing if anything breaks?

Dennis

Ah, that was to disable some kind of autocorrect extension, I think.

ASCII-only

Grammarly?

Pavel

Time for HTML comments?

Dennis

@ASCII-only Probably. I'm trying to find it in the transcript, but Grammarly turns up blank.

Pavel

15:50

The P# compiler toolchain is mixing Mono and .NET Core components *headdesk*

Dennis

I should probably avoid disabling auto-capitalization and such for a comment field.

ASCII-only

Oh yeah, it's been 7 years since the author of (())'s last activity on esolang. Not sure if I'll be fine with making modifications so it can actually do ASCII output

Pavel

16:12

I'm just gonna leave an issue on P# asking for help.

@Dennis Speaking of Q#, can you add HOME=$home dotnet add package Microsoft.Quantum.Chemistry --version $version to the qs-core tiosetup right after the cd qsharp line?

dzaima

16:29

@ConorO'Brien there, userscript :D

Dennis

16:46

@Adám Like this? dev.tio.run/##SyzI0U2pTMzJT9dNrShJzUtJTfkPBP@S83NzU/…

dzaima

@Dennis I think a single field would've been enough

Pavel

^

Dennis

That will require some work.

Adám

@Dennis I agree with dzaima: just a simple field like Code

Dennis

Later then. I ran out of time.

The whole things was too hacky anyway. Non-optional fields aren't supposed to be out of order.

@Pavel That breaks Q#. I'll have to do this later.

Pavel

16:56

dangit

Dennis

It's a minor permission issue. I just had to go.

6 hours later…

Dennis

22:51

It's the world-writable but not -executable thing again. I have to figure out where to report this.

@Pavel That adds a whopping 5 seconds to execution time. :/

Is this something someone is planning to use or just something that would be nice to have?

Bubbler

23:35

Just started learning how to write a parser

... in Haskell :)

My plan: exercise with a small subset of J, then Brainfuck and Brain-flak (or any other suggestions?) then proceed to build my own language.

« first day (849 days earlier) ← previous day next day → last day (1645 days later) »

Transcript for

Dec '1819

talk.tryitonline.net

For general discussion and feature requests regarding tryitonl...

join this room
about this room

00:00

06:00

12:00

18:00

all times are UTC

site design / logo © 2024 Stack Exchange Inc; legal

mobile