• R/O
  • HTTP
  • SSH


No Tags

Frequently used words (click to add to your profile)

javac++androidlinuxc#objective-cqtwindows誰得cocoapythonphprubygameguibathyscaphec翻訳omegat計画中(planning stage)frameworktwittertestdomvb.netdirectxbtronarduinopreviewerゲームエンジン

A categorical programming language

Rev. 时间 作者
af6d60d master 2022-12-05 03:33:01 Corbin

Try to display equalities.

Dunno how to represent ASTs well yet.

5508813 2022-12-02 13:16:21 Corbin

Remove most RPython old-style hive management.

We aren't going back.

We should factor out the REPL and CAM compiler too, so that this RPython
code can be refactored to focus on video.

f6be40d 2022-12-02 10:40:51 Corbin

Click directly on a canvas to pause/play.

1fd0740 2022-12-01 12:52:14 Corbin

Minify compiled JS.

This doesn't seem to really change anything in terms of speed; I suspect
that we'll need to use the optimized PS backend instead.

0cb58a1 2022-12-01 12:39:27 Corbin

Factor out Honey CSS.

ec7ec91 2022-12-01 12:31:07 Corbin

Remove browser-side heap cache.

As a pattern, it seems like we'll let the Honey server handle all of the
heap management. Extraction is still possible, just not how we'll prefer
to compile browser-bound code.

8b1976a 2022-12-01 08:37:48 Corbin

Wire up jelly to Honey.

0aa2d73 2022-11-30 06:10:09 Corbin

Tear down old JS interpreter.

Also call `purs compile` from Nix.

767fdeb 2022-11-30 04:39:49 Corbin

Use Nix to set up paths for Honey.

And also use a temporary directory correctly. Animations still work
great, and everything still feels snappy.

de20322 2022-11-28 07:34:34 Corbin

Finish switching over to PureScript.

This is very messy and I'm not really pleased with it. The overall
speedup that I was hoping for? Not there!

d2f28ee 2022-11-28 06:58:23 Corbin

Prototype a Cammy-to-JS compilation path.

We are compiling with a stub, as we've done in the past; this time, we
are using PureScript.

1822f7c 2022-11-28 00:09:51 Corbin

Get back up and running.

Hooray for "new" hardware.

1677b43 2022-11-02 13:16:48 Corbin

Fix tiles for anonymous expressions.

ae1a528 2022-11-01 05:00:12 Corbin

Allow pausing and unpausing videos.

e8ea088 2022-11-01 03:10:00 Corbin

Use Preact ref hooks for canvas access.

This commit includes a measurable portion of boilerplate from
https://stackoverflow.com/a/74258812/264985 and I am very grateful to
this answerer for offering a simple solution.

53d584f 2022-10-30 14:11:23 Corbin

Finish converting tiles to Preact components.

I still need to rewrite all of the renderers, but now the path for that
is clear and obvious.

1508a56 2022-10-24 16:14:28 Corbin

Switch to Preact.

Quite a silly reason for switching, but so far it has not been painful.

040b1ac 2022-10-24 13:48:08 Corbin

Factor out the hive.

Also, render functions with domain 2 like domain 1.

140ee01 2022-10-23 00:23:18 Corbin

Don't render empty trails.

Saves a bit of screen space.

a61be0e 2022-10-18 10:31:27 Corbin

Many animations work in Honey!

deco-circles, red-ellipse, and max-headroom all work! jupiter-storm is
still giving a blank screen, but it seems like the fundamentals are
finally there.

We are currently pegging the CPU at 5 frames/s. I would like to
eventually get to about 20 frames/s.

2e65842 2022-10-18 10:06:26 Corbin

Switch over to Purescript for core templates.

Sadly, Purescript doesn't seem equipped with the full range of ES types
by default, so we have to bring our own foreign functions.

245f670 2022-10-17 02:57:01 Corbin

Rewrite the trampoline in Purescript.

Took a little bit of effort, but it seems worthwhile! The generated code
has the desired loop! I'm impressed.

dd1582e 2022-10-16 06:26:47 Corbin

Allow black-and-white images.

aefa9fc 2022-10-13 12:16:41 Corbin

Expand dissolved expressions correctly.

This might be a hack.

8bb6492 2022-10-13 11:00:44 Corbin

Compile anonymous expressions, not just dippers.

6aa73a4 2022-10-10 10:20:19 Corbin

First attempt at implementing an animated canvas.

9fc5539 2022-10-10 08:34:56 Corbin

Add some jets for speed.

1531cf4 2022-10-10 03:31:36 Corbin

Stop fucking around with the trampoline for now.

8ca515a 2022-10-10 02:19:20 Corbin

Switch to a free-monad encoding for trampolines.

This is based on the idea that a trampoline monad is like a free monad
for some underlying lazy suspension of pure values.

4a1d270 2022-10-09 00:25:07 Corbin

Deduplicate the parser somewhat.

I think that the RPython codebase is not on the way out, but the Python
3 codebase should be unified.