HNHacker News
TopNewBestAskShowJobs

MikaelMayer

51 karma · joined February 18, 2019

submissionscomments
MikaelMayer··on Dafny is a verification-aware programming language
I'm working on it! Feel free to launch a discussion in the GitHub project if you are interested, with examples in mind, if have any questions.
MikaelMayer··on Chat with GPT-3: Rust teacher potential
FYI the (...) part was part of the prompt to guide GPT-3 to be a true expert. Everything behind this, on AI, was GPT-3 generated, sometimes with 1-3 trials each time.

  Me>Hello, nice talking to you.
  AI>Nice meeting you as well. What's on your mind?
  Me>I need your advice for the next version of my software.
  AI>Go ahead. I'm an expert in programming languages, performances and metrics.
  Me>Great, thanks. So here is the thing. I created a PHP interpreter in the PHP language itself. Now it's pretty slow and I would like to make it faster. I'm considering using another programming language. Which ones would be both easy and run my software faster?
  AI>You can try C, although I've heard of Rust and they might be good as well.
MikaelMayer··on Full-Site Hacking on WordPress
What would be the next natural step for a front-end editing tool like this one?
MikaelMayer··on JavaScript-Based Spreadsheet-Like Formulas in Google Docs
Thanks, I finally managed to make Clasp work. Here is the source code of the latest nightly version:

https://github.com/MikaelMayer/Sketch-n-Script

MikaelMayer··on JavaScript-Based Spreadsheet-Like Formulas in Google Docs
Indeed! However, without range support like A1:A10 or relative references. Besides, values should be defined in order (top-bottom, left-right)

Try to create a 2x2 table like this:

=(/A1=/”Hello”) =(/B1=/”World”)

              =(A1 + “ “ + B1)
Click on Evaluate formula, tadaa. I just fixed a bug to make it work, the publication might take up to 24h.
MikaelMayer··on JavaScript-Based Spreadsheet-Like Formulas in Google Docs
Thanks. I added a link to the beginning of the blog post.

https://mikaelmayer.github.io/blog/2019-02-13-google-docs-fo...

MikaelMayer··on JavaScript-Based Spreadsheet-Like Formulas in Google Docs
Thanks for the tool. Unfortunately, this makes run-test lifecycle painful -- I just want to launch a procedure and view the result in a Google docs, not git commit -am message and then git push and then refresh and then launch a procedure -- so I'm likely not going to use it
MikaelMayer··on JavaScript-Based Spreadsheet-Like Formulas in Google Docs
The source is a Google Script. When I try to create a shareable link, either by obtaining the share link or advanced share options, I get the error "Sorry, an internal error has occurred and your request has not been processed.". I'll let you know when it's working again and I'll post the link here.
MikaelMayer··on JavaScript-Based Spreadsheet-Like Formulas in Google Docs
This extension stores all formulas as named ranges inside the doc. Because all changes are simultaneously visible by all users, including computing and revealing formulas, it depends on what users with the extension are doing.

This also means that users without the extension can modify any revealed formulas or definitions, and have users with the extension recompute them.

MikaelMayer··on JavaScript-Based Spreadsheet-Like Formulas in Google Docs
> I'm a bit adverse ...

Besides (what I consider) the introduction of the article, what else do you consider "stilted" advertising language and how can I improve my writing?