Joshua Burke

Learning and teaching

[Joshua Burke @high_rigor]

One of the best reasons to read @Quora is Alan Kay
#lisp #quora #Programming

[Joshua Burke @high_rigor]

@housecor Optional chaining (in any language) metastasizes, in that once it starts it only gets more pervasive. You can no longer be confident about whether there is anything there at all.

[Joshua Burke @high_rigor]

@aarondfrancis Protip: you can stack the executive membership and the Costco Visa card reward programs. For a family you're likely looking at around $1000 back each year.

[Joshua Burke @high_rigor]

@johnlindquist How long did it take for you to hit it? I met the threshold within 5 minutes.

[Joshua Burke @high_rigor]

@Jobvo Yeah, I hit the limit on Gemini 3 Pro (high) after a single prompt. Looks like they're clamping down limits to adapt to the current surge of users.

[Joshua Burke @high_rigor]

@Iamshankhadeep @michellzappa @antigravity Try using the menu path Antigravity > Settings > Antigravity Settings, then select Account from the left hand menu (within a 'us-en' locale). Alternatively on MacOS try the keyboard shortcut `⌘,` or the equivalent on Windows to open the settings pane directly.

[Joshua Burke @high_rigor]

@argyleink When I was stuck on this, what got me unstuck was going to Settings > Account > Sign In ... for some reason doing it manually worked, where the onboarding process just hung indefinitely.

[Joshua Burke @high_rigor]

If you, like me, were waiting for Google's new agentic Antigravity IDE to create an account before using it, try signing in using Settings > Account > Sign In ... worked like a charm. Keep in mind that quota limits are low right now because so many people are jumping on.

[Joshua Burke @high_rigor]

@michellzappa @antigravity This was stuck for me too, but I was able to get past this by going to Settings > Account > Sign In and after the OAuth flow completed the application worked.

[Joshua Burke @high_rigor]

Fun learning is the best learning. Solve puzzles while building intuition for non-linear equations in this joyful game created by high school students.

[Hack Club @hackclub]

A year ago, teenagers at @hackclub set out to build the greatest math game ever.

Today, SineRider enters public beta. Experience a mesmerizing world of puzzles infused with love and inspired by the TI-84 🔎.

Hello, world 💖 this is https://t.co/cE4aCxlp4H

[Joshua Burke @high_rigor]

@oleg008 Open your wallet?

[Joshua Burke @high_rigor]

@the_greatabyss @sama Are there prompts that you've used successfully for that? Or is it as simple as "keep going with the previous response"?

[Joshua Burke @high_rigor]

@sama View alternate replies. Be able to set a count of and to see the alternate answers that were rejected from a request. This could be set similar to how the InstructGPT UI does it.

[Joshua Burke @high_rigor]

@KyleMitBTV This guide by Simon Willson may help; https://t.co/o1lzsefHbW

[Will Oremus @WillOremus]

this is perfect, no notes

[Joshua Burke @high_rigor]

@davedbase @srsholmes @dan_abramov Tools exist that make your idea a reality. Have a look at Gundo or UndoTree. https://t.co/OfJaPQYtCz

[Joshua Burke @high_rigor]

@dan_abramov Have you ever used something like Gundo or UndoTree? https://t.co/OfJaPQGSdZ

[Joshua Burke @high_rigor]

@Blithe Always demo live for maximum effect. Recordings are great for simple updates.

[Joshua Burke @high_rigor]

@russnelson @simonw What parts make using Docker hard for self-hosting Mastodon? Which self-hosting method would you use, or want to be able to use, instead?

[Joshua Burke @high_rigor]

@rands I've been using my phone for the past 6 months, and it's been great. https://t.co/3MOezLVb3S is pretty awesome.