Litterbox – Analysis of Scratch Projects (scratch.fim.uni-passau.de)

36 points by todsacerdoti 2y ago ↗ HN

9 comments

[ 16.1 ms ] story [ 615 ms ] thread

Retr0id 2y ago ↗

Is it working? I get "Sorry, we could not find your project. Please check the submitted ID or file."

Wowfunhappy 2y ago ↗

Same here, I tried a few different files and they are definitely valid.

xTtVJVmo 2y ago ↗

Sorry about that. The maximum upload size might have been set too small. It should hopefully work now.

vintageplayer 2y ago ↗

Would be great to learn how this was researched and built! I'm very interested in automation choice analysis

xTtVJVmo 2y ago ↗

The about page [1] has a (somewhat hidden) link to the GitHub repository [2]. The readme there has further links to some research papers.

[1] https://scratch.fim.uni-passau.de/litterbox/about.php [2] https://github.com/se2p/LitterBox

sinuhe69 2y ago ↗

I wonder why the Scratch team didn’t build these pattern detector in their environment as hint/warning for the young coders?

Wowfunhappy 2y ago ↗

Scratch has "never throw an error" as part of its design philosophy, I assume they don't have warnings for similar reasons. They want Scratch to be an open playground for free experimentation.

rob74 2y ago ↗

Also available in English: https://scratch.fim.uni-passau.de/litterbox/about.php?lang=e...

Might as well have called it "Linterbox"...

astahlx 2y ago ↗

Great to see this here, as a contributor to this project. We even went the model checking direction with Bastet: https://github.com/se2p/Bastet