« first day (849 days earlier)      last day (1645 days later) » 

00:38
@ASCII-only FALSE?
@Dennis yeah
@ASCII-only Updated.
wait i'm an idiot i could have just tested on TIO
@Dennis could you pull FALSE again? thanks
@ASCII-only Done.
01:06
@Dennis Discovered a bug or two. Fixed them. Added some more modifiers. Pushed to github.
@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
> currently trying to figure out how to use
:P
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
01:30
@Draco18s Pulled Runic.
Checked, looks good.
For the record, building P# requires PowerShell running on Windows, so I'm glad the had the foresight to upload it
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
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…
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…
08:01
@Pavel i can too
 
1 hour later…
09:25
update:
https://tio.run/##tRlrb9s28LP8K1hgmKT5kcfHpE3RtdlQrGuLJt0XW8UYmbaVyJJGUmmCtr@9uzuSEmXLTdJuAzqLx@O9X2Qu@TVXqcwqPS7Kufj69ZpLlhVVrdkTFoajQSBP15W@hdXeh5n65ae99TJD6CuhHSwXeqaGT6PpTM3Okhi@n0TTD09mclYkw7g58boszoVcZwXXWbGkw9Hkl5iNTxj@Nnj9SJ9bpOPBYFEXqc7Kgl3wnBepmEcqZp8GAUo/F5Vewcn940GwKCWLSCUCwM9jpia5KJZ6BavhkE4F2YJFapol7AkoHYUGGBCh4RDIBF@YyJXwwOMxge1Zw/Ix24@ZFLqWBVtwwAcUwLCQR4R0PPjiSV9xqcRbLkWhohTMPzLCj8ADc3Hz5uKSJHELUKH5/PyZfbrmeS2O2P6XY6O4FKrO0SvTBCCNXEabj6ssFyxyBCZ0GERGttYgVm08iNBpF3c4TNgj3zzBhRT8Cs1AdggM@0lVq1W0QzE2ZgeecvGx47ch1okvFhuyA8dSr2T5kYXvizQvlZizshJkRVHolVCZChtx4J/nNDRPWkvEe@H
10:08
update:
https://tio.run/##tVlbb9s2FH6WfwULDJM0X2LnMWlTdG02FOvaoUn3IqsAI9O2EpnSSClN0Pa3Z@fwJsqWm6TdChQWycNz@c6Fh8wlvaYyE3lVj3m5YHd311SQnFdNTZ6RMBwNAnG6qepbGB18nMtffjrYrHKcfcNqO1ewei6Hz6NkLudnaQzfz6Lk47O5mPN0GLsdb0t@zsQm57TO@Uptjia/xGR8QvDX0fUTfWmJjgeDZcOzOi85uaAF5RlbRDImnwcBar9gVb2GndPjQbAsBYmUSWoCfp4SOSkYX9VrGA2HaleQL0kkkzwlz8DoKNSTgWI0HAKb4CthhWTe9Hisps1eLfIpmcZEsLoRnCwp0AMJUJiZJ4roePDV076iQrK/qGBcRhnAP9LKj8ADC3bz7uJSaWIHYIL7/PKFfL6mRcOOyPTrsTZcMNkU6JUkhRmnl7bm0zovGIksg4naDCqjWAOIMRs34mzSpR0OU/LEhye4EIxeIQwKh0CLn1SNXEd7DCNjMvOMi4@tvC21Tny1yJDMrMh6LcpPJPzAs6KUbEHKiikUGa/XTOYydOrAf89pCE/WCKR
10:26
and again:
https://tio.run/##tRlrb9s28LP8K1hgmKT5ETsfkzZF12ZDsa4dmnRfZBVgZNpWIkuaKKUJ2v727O74EGXLTdJuRQObx@O9X6Qv@TWXSZWW9TgvFuLu7ppXLM3LpmbPmO@PBl51uinrW1gdfJzLX3462KxShL4RtYFlop7L4fMgmsv5WRzC92dB9PHZvJrn8TC0J94W@bmoNmnO6zRf0eFg8kvIxicMPy1eP9KXFul4MFg2eVKnRc4ueMbzRCwCGbLPAw@lX4iyXsPJ6fHAWxYVC0glAsDHUyYnmchX9RpWwyGd8tIlC2SUxuwZKB34CugRoeEQyHhfmcikcMDjMYH1WcXyKZuGrBJ1U@VsyQEfUABDQ54Q0vHgqyN9ySsp/uKVyGWQgPlHSvgReGAhbt5dXJIkZgEq2K9fvrDP1zxrxBGbfj1WildCNhl6JYoBYuVS2nxap5lggSEwocMgMrLVBtFq40GERl3c4TBmT1zzeBeV4FdoBrKDp9hPykaugz2KsTGbOcqFx4bfllgnrlhsyGaGZb2uik/M/5AnWSHFghWlICuKvF4LmUrfigN/jtPQPElT
 
1 hour later…
11:50
@Dennis Can you update Red to Red-0.6.4 ?
12:39
@GalenIvanov Done.
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.
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.
@Dennis Thank you!
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.
@Dennis mind pasting error output?
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
OK, rolled back dotnet. Now to fix Q#'s deprecation warnings.
I'm guessing there's a library/header file missing
At least itoa is a Microsoft compiler thing that is not supported by anyone else.
@Dennis Can you pull extended Dyalog?
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.
@Dennis Should be fixed now. Sorry.
Updated.
@Dennis Thank you.
@Dennis did you try compiling to C# instead
That would require getting P# to work first.
14:43
Oh wait, you're building the compiler right now?
No, the P compiler compiled just fine.
Transpiling P to C# requires P# though, afaict.
@Pavel apparently it's pc.exe? Unless that's only on windows
@Dennis did it generate a header too?
Well, the second half of that section
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#.
@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".
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.
@Dennis Ah, that's a good idea. I've often wanted to add an introduction. It should then go right after the language name.
The obvious solution to this is esolangs.org/wiki/Text
I won't call that a language with a gun pointed to my head. :P
Lets see If I can compile it.
Updated Q# btw.
15:39
@Dennis fixed
That works too. :P
@Dennis How so? It still says select a language and you won't call it that.
@Adám dammit :|
> TIO hosts 229 practical and 359 recreational programming languages and Text, for a total of 588 languages and Text.
11
> TIO hosts 1 non-, 229 practical, and 359 recreational programming languages for a total of 588 (non-)languages.
15:45
It turns out that I cannot because the samples assume windows. I guess I'll have to write my own after all.
@Adám 589?
.oO( Why does the code field have a data-gramm_editor="false" attribute and what does it do? )
Didn't you write it
@Dennis even for languages with comments
@Pavel I hope so.
15:47
@ASCII-only Yeah.
@Dennis Well, have you tried setting the attribute to true and seeing if anything breaks?
Ah, that was to disable some kind of autocorrect extension, I think.
Grammarly?
Time for HTML comments?
@ASCII-only Probably. I'm trying to find it in the transcript, but Grammarly turns up blank.
15:50
The P# compiler toolchain is mixing Mono and .NET Core components *headdesk*
I should probably avoid disabling auto-capitalization and such for a comment field.
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
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?
16:29
@ConorO'Brien there, userscript :D
@Dennis I think a single field would've been enough
That will require some work.
@Dennis I agree with dzaima: just a simple field like Code
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.
16:56
dangit
It's a minor permission issue. I just had to go.
 
6 hours later…
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?
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)      last day (1645 days later) »