thomasballinger

6 ms·

1.
by thomasballinger 11mo ago
Codex remote environments seem to do this, we had to add support (via two lines of code) for these proxy environment variables to our CLI to support talking to GitHub from these environments.
2.
by thomasballinger 1y ago
There's a change history in the spec at https://webassembly.github.io/spec/core/appendix/changes.htm... and I see a 3.0 branch with updates for 3 https://github.com/WebAssembly/spec
3.
by thomasballinger 2y ago
My favorite talk (although I haven't gotten through them all yet) was Alex Miller's Enough with all the Raft https://www.hytradboi.com/2025/2016d6c4-b08d-40b3-af2f-67926...
4.
by thomasballinger 2y ago
HTTP handlers for requests can be defined, many Convex apps define these to handle webhook notifications and some apps consist primarily of these endpoints or app-specific REST APIs. (I work at Convex) Edit: simultaneous post with my manage
5.
The Ent Framework: Meta's ORM(youtube.com)
3 points by thomasballinger 3y ago|0 comments
6.
by thomasballinger 4y ago
I figure compilation is a big tent and this counts, but imagine --rename-properties WARNING: renaming properties requires deeper analysis, considered compilation in the US
7.
by thomasballinger 4y ago
I so appreciate these being public, see also Steve's Compose readme[1] and post-mortem[2]. I got to sit in for a day during prototyping for user 2 and was impressed but intimidated: reinventing the web stack is a lot of work! The team
8.
by thomasballinger 5y ago
Note that this sentence was about browser-based integration tests. Browser automation has come a long way, but even on very frontend-fluent teams I've been on we had a few flakey tests, and browser-based integration tests are sometimes
9.
by thomasballinger 5y ago
A nice surprise to see this here! I did a web port of this game with Emscripten which much help from janisozaur: https://play-endless-web.com There's an outdated post about what was hard about the port at http://
10.
by thomasballinger 5y ago
Here's another implementation of what's described above, it forks on each invocation of readline to provide undo for interactive interpreters. https://github.com/thomasballinger/rlundo
11.
by thomasballinger 6y ago
A related project is fatcat.wiki
12.
Offering a solution for Terminal Wide Character issues(jeffquast.com)
3 points by thomasballinger 6y ago|0 comments
13.
A Hello World executable on OS X (2018)(adrummond.net)
1 points by thomasballinger 6y ago|0 comments
14.
by thomasballinger 6y ago
Minecraft Education Edition provides in-game coding tools for Python, JavaScript, and a MakeCode-style visual block editor! This would be a great activity to do with some children I know. But it's only available for Office 365 Educatio
15.
Observable for Jupyter Users(observablehq.com)
3 points by thomasballinger 7y ago|0 comments
16.
by thomasballinger 7y ago
I've played with prototypes of this by calling fork on IPython to take snapshots of interpreter state https://github.com/thomasballinger/rlundo/blob/master/readme... but if you can't serialize
17.
by thomasballinger 7y ago
rreusser made a more generic version inspired by Float Toy: https://observablehq.com/@rreusser/binary-input
18.
by thomasballinger 7y ago
Here's Colin's blog post with code and diagrams inline: https://blog.scottlogic.com/2019/05/17/webassembly-compiler.... I found Colin's posts real helpful when writing some WebAssembly by hand
19.
by thomasballinger 8y ago
Less powerful but more automatic: I added a reload modules key to bpython (F6) for this and an auto reload which reruns the repl session each time an imported module changes (F5)
20.
by thomasballinger 8y ago
If anyone wants to walk through these ideas more slowly I write about them in http://ballingt.com/interactive-interpreter-undo and implement this in https://github.com/thomasballinger/rlundo but as you
21.
by thomasballinger 8y ago
The Jupyter models is hard for this, but if you only allow in-order execution (like a repl, say IPython whose kernel is used in Jupyter) you could do something like this. We tried plugging in the rlundo tool https://github.com&#x
22.
by thomasballinger 9y ago
Here's an idea that I like (so much that I wrote an implementation): use LD_PRELOAD to swap out readline with version that forks on each input. Kill the forked child process and you have undo! https://github.com/thomasb
23.
by thomasballinger 9y ago
(just to emphasize, I think parent understands this) The render function here can be stateful, React vdom-style: diff with previous output, efficiently update output based on the perf characteristics of a terminal. But it's an entirely
24.
by thomasballinger 9y ago
One optimization that's not hard to do for terminal output is a line cache: if a row is the same, don't render it. The rendering logic is probably already operating on lines, so this doesn't require the fancy diffing; but dif
25.
by thomasballinger 10y ago
I've hacked on this interpreter some, it's pretty nice to read! It implements a very limited subset of JavaScript, something like ES3. I'd be really interested to hear about other similar implementations of JavaScript in Java
26.
by thomasballinger 11y ago
Indeed it does, https://github.com/awslabs/aws-shell/blob/master/setup.py#L1... Python Prompt Toolkit is pretty stellar, enough so to motivated writing a command line interface in Python instead of anoth
27.
by thomasballinger 11y ago
Great point, particularly relevant to autocompletion: IPython magics are tab completable and therefore more discoverable than bpython special keys. Real quick, they're emacs-style readline keys but with ctrl-r for undo. F1-F10 do thing
28.
by thomasballinger 11y ago
I feel similarly about autocomplete (particularly the "best way to learn Python" bit) and suggest Python users looking for autocompletion similar to zsh at the command line pip install bpython (which I work on). See https:/&
29.
Not everything is an expression(codewords.recurse.com)
125 points by thomasballinger 11y ago|53 comments
30.
by thomasballinger 12y ago
How do you find this in practice? I mention this in the 3rd footnote of the post, but didn't have much to say about it because I haven't used it myself. The one person I've talked about this says it's rather awkward righ

More ›