Unapologetically boosting this because it's a nice story about a kid who fell in love with computing through @PyretLang (which runs fine on 6yo computers) and now runs his own education program. Go Isaac!
Learn how Bootstrap's free resources can help you integrate computer science into math classes - teaching students math in a way they've never seen math taught before! #oklaed@Bootstrapworld Learn more: sde.ok.gov/computer-scien…
In @PyretLang we've long thought about what a #lang-like thing would be in our world. We aren't ready for (nor think we need) full #lang. The #lang-inspired Grace dialects have been a promising approach (@jameskjx). In general, there are two kinds of issues. ↵
In @PyretLang we decided to get rid of the indirection entirely! @tenellous implemented our beautiful errors, which many users love. Every term is colored (eagerly or lazily). Hovering causes the highlights in text, error code excerpt, and editor to all blink in unison. ↵
Our summer 2021 updates are out!
- UI refresh
- Easier-to-use images with the default settings
- A new language feature for managing libraries for assignments and starter code
- Reduced default Google Drive permissions
Check out the release notes here:
pyret.org/release-notes/…
@pamelafox@JoePolitz Here's your example (L). And when I run it (R), @PyretLang gets annoyed at me saying that I'm confusing it. Make up your mind, Shriram! Which one do you want? ↵
@pamelafox@JoePolitz@PyretLang For this reason, Pyret has three notions of equality. A bit of overkill for regular programming, maybe, but absolutely essential to the pedagogy I use for introducing state 2/3 of the way through the semester. ↵
pyret.org/docs/latest/eq…
Newly released on code.pyret.org this past week: Additions to the image library, testing syntax, and module system, many issues fixed, and basic screenreader support at the REPL!
pyret.org/release-notes/…
Over the past 2 years, we've rewritten our curriculum into a new format we call "Remix".
Now, along with WeScheme, you can teach Bootstrap:Algebra in @PyretLang, which is a lot more like other C-style languages and is used in our Data Science course!
bootstrapworld.org/blog/curriculu…
@Bootstrapworld I said she could serve as a TA so long as she refreshed her knowledge thoroughly. She sat through the Bootstrap workshop in Providence and re-did all the material as a participant, then spent July learning to translate from @racketlang to @PyretLang. »
As I finish up my 2.5 weeks at ASU with the Computational Modeling Physics workshop, I needed digest everything I’ve learned (it’s a lot). Chemistry is my first love but I guess physics is cool too! Thanks @AMTAteachers, @AAPTHQ and @Bootstrapworld#modphys#pyret
Some interesting Pyret implementations for a function that finds the area of a ring. This is their first time using a design recipe. What would you ask these kids next & what would you have them compare?
How can we be sure students are working on the right *problem* before they start writing their *program*? A new tool by Jack Wrenn, Examplar (for @PyretLang), is designed for this problem, using our tests-as-classifiers view. A brief video explains it.
youtu.be/ofpwTbvG7MA
8K Followers 1K FollowingProfessor in CSE, Information, and Education at @Umich. Director of @UmichLSA PCAS https://t.co/SAHUChqgu7. Computing Ed Researcher, blogger, dad.
1K Followers 1K FollowingWhen not programming or teaching CS @ucsd_cse, I go to the dog beach. Spending more time as 🟦 https://t.co/k4HOSHhpwb these days. https://t.co/4skMx005C5 | https://t.co/v4f2VUk4D2
12 Followers 140 FollowingRemember to look up at the stars and not down at your feet. Try to make sense of what you see and wonder about what makes the universe exist.
@LHCbExperiment
28 Followers 328 Following" Sempre acima de tudo ser fiéis a si mesmos, aquilo que de melhor tiverem em si próprios e que é sempre o reflexo do que infinitamente nos transcende"
134 Followers 581 FollowingResearcher in Math/Theoretical Computer Science. Science. Technology. History. Cricket. Cricket history. Detective fiction. Politics. And all things quaint.
58 Followers 369 FollowingSoftware Engineer focusing on Web Development | Artist and Designer
I love cats, long walks and talking about movies | Freelancer - #WebDev
9K Followers 8K FollowingAssociate Professor at @UTFPR_.
Podcaster at @elixiremfoco @fronteirases @emilias_utfpr @helloerlang.
@leanprover, @Erlang_org and @elixirlang enthusiast.
402 Followers 2K FollowingOpen to Work / exPhD #HKUPLG @HKUniversity / From Changsha Hangzhou Sthlm NY HK / 🏳️🌈 / ADHD is my super ability / INS @hxjxsnow
489 Followers 2K FollowingHi, I am a Sr. QA in a US MNC, and a published photographer on yourshot National Geographic, an Ex IBM'er too #photographer, #blogger #Automation
148 Followers 961 FollowingMaster Spoonerist | Pineapple on Pizza | My hypocrisy is better than yours | Any resemblance to actual persons, living or dead, is purely coincidental
1K Followers 1K FollowingWhen not programming or teaching CS @ucsd_cse, I go to the dog beach. Spending more time as 🟦 https://t.co/k4HOSHhpwb these days. https://t.co/4skMx005C5 | https://t.co/v4f2VUk4D2
2K Followers 359 FollowingComputer science prof @BrownCSDept and mom. Does K-12 outreach via @BootstrapWorld and writing standards. Studies learning and teaching. Loves puns and pizza.
686 Followers 335 FollowingI am a physics coach from Utica, Michigan. I have used modeling instruction since 2010. In my free time, haha I have no free time. (See 3 kids and FRC team)
298 Followers 574 FollowingShe/her. 🏳️🌈
If we're to live up to our own time
Then victory won't lie in the blade
But in all the bridges we've made
-Amanda Gorman
1K Followers 722 FollowingPhET Interactive Simulations for math and science, prior physics teacher, PAEMST, NBCT, Albert Einstein Fellow at NASA, Vieyra Software Physics Toolbox
1K Followers 293 FollowingThe Beauty and Joy of Computing is a rigorous AP CS Principles course from @UCBerkeley broadening participation in computing. #CSforAll #APCSP
166K Followers 1 FollowingDiscover what’s going on in the Kotlin ecosystem | @JetBrains
Video tutorials https://t.co/u8SefOyX4B
News https://t.co/pvEUEI0iPX
Community discussions https://t.co/f1ymehGEIq
2.1M Followers 98 FollowingGoogle Drive is a safe place for all your files. Use Drive on all your devices. Visit https://t.co/72uNN6neF7 to get started.
1K Followers 440 FollowingCeylon is a programming language for writing large programs in team environments. It is elegant, highly readable, extremely typesafe... [more on the site]
30K Followers 11 FollowingOfficial account of the Scala Programming Language, developed at @epfl by @odersky, and maintained by Scala Center, LAMP, @Lightbend, and @Virtuslab
7K Followers 74 FollowingOfficial Twitter account for the Racket programming language. Please ask questions at https://t.co/V7rIWhB2rE or https://t.co/k1nOVqq2dI
686K Followers 127 FollowingThe nonprofit organization behind the Python programming language. For help with Python code: https://t.co/XDHPttz2Xv
On Mastodon: @[email protected]
31K Followers 12K FollowingTynker - Empowering Kids To Create. Millions of kids worldwide are learning to code with Tynker at home and school. Part of @CodeHS.
988K Followers 686 Followinghttps://t.co/Eo54isTdPG is a nonprofit dedicated to giving every student in every school the opportunity to learn computer science. Anybody can learn!
118K Followers 933 FollowingThe coding language and online community where kids create and share stories, games, & animations. Scratch is operated by the nonprofit Scratch Foundation. 😺
75K Followers 0 FollowingSwift is a general-purpose programming language that's fast, modern, safe, and a joy to write. Designed for all, developed in the open.
13K Followers 65 FollowingCommitted to a welcoming, vibrant & flourishing #Haskell community! Managed by @beatleida & @TechnoEmpress on behalf of the https://t.co/1sy8nTHi9G Committee
39K Followers 24 FollowingElixir is a dynamic, functional language designed for building scalable and maintainable applications.
This account is now inactive.
4K Followers 970 FollowingFREE, research-driven, integrated Computer Science & Data Science modules for Math, Science, Business and Social Studies classes, grades 5-12.
No recent Favorites. New Favorites will appear here.