582 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Edward Amsden	4cbfc9bc20	Merge pull request #2 from urbit/docs/spec ... Design docs	2022-03-31 09:40:53 -04:00
Edward Amsden	bc3540eb76	Make crash-agnosticism explicit	2022-03-30 20:00:41 -04:00
Edward Amsden	6f5e567a10	Add closing code-quotes	2022-03-30 19:56:56 -04:00
Edward Amsden	65d070f8f3	Fix cut-off text	2022-03-30 19:54:34 -04:00
Edward Amsden	70916720b4	Design docs	2022-03-29 17:12:08 -05:00
Edward Amsden	13466a4cac	Proposal notes	2022-03-23 12:03:10 -05:00
Edward Amsden	f488a10c31	initial design docs	2022-03-23 11:59:45 -05:00
Peter McEvoy	cffc67fefc	Add Noun::as_*() methods for unwrapping	2022-03-17 16:45:17 -05:00
Peter McEvoy	aaeafc17b6	Adopt union represenation of noun	2022-03-17 16:45:12 -05:00
Edward Amsden	05ef3f1ed7	Make indirect_size_unchecked public	2022-03-17 16:42:20 -05:00
Edward Amsden	34e2cc6873	initial commit of memory manager	2022-03-16 18:28:06 -05:00
Edward Amsden	b70c5d957e	Add lash function to build sk core with added jets in jute	2022-02-17 21:52:23 -06:00
Edward Amsden	33abe779d5	back to working, memoizes with %fast hints	2022-02-17 19:15:58 -06:00
Edward Amsden	92f7604a87	infinite loops, somewhere	2022-02-17 17:47:12 -06:00
Edward Amsden	65b5e829e0	broken: somehow the formula expands	2022-02-16 16:41:27 -06:00
Edward Amsden	f306ca1db5	make function memoization a separate arm	2022-02-16 14:01:41 -06:00
Edward Amsden	9e804d5431	label memo table entries with names from %fast hints	2022-02-15 15:57:22 -06:00
Edward Amsden	9b39498736	Add a core with some nock examples	2022-02-15 09:24:49 -06:00
Edward Amsden	e86a4fe0f0	pull generator don't print result, debug hints only	2022-02-14 23:20:18 -06:00
Edward Amsden	4bbb786861	print out memo hits/misses	2022-02-14 23:08:08 -06:00
Edward Amsden	a5302f3b8b	make pull terminate on recursion, add coot type to show what happened to call memoization	2022-02-14 22:51:36 -06:00
Edward Amsden	ede78a5af2	Hoon version of subject-knowledge analysis	2022-02-04 12:44:11 -06:00
Edward Amsden	1a0b365631	Set aside CPSed interpreter	2022-01-11 10:25:29 -06:00
Edward Amsden	eb79dd3929	going to redo control stack	2021-11-16 14:07:10 -05:00
Edward Amsden	7249e7584c	done through (j) registerization	2021-11-04 17:57:19 -04:00
Edward Amsden	5086998fac	closure converting and continuation stack phases	2021-11-03 12:21:50 -04:00
Edward Amsden	1af2777079	[nock] passes d-g, again	2021-10-29 20:13:13 -04:00
Edward Amsden	86835720da	[docs] noun representation draft	2021-10-29 20:09:39 -04:00
Edward Amsden	2cebb5f697	first draft of noun representation spec for new mars	2021-10-23 21:46:56 -04:00
Edward Amsden	0669b93776	save 4th pass, will restart from c-exceptions and inline helpers	2021-10-23 05:20:42 -04:00
Edward Amsden	9fc3ff91c5	README and import proposal from gist	2021-10-21 18:13:52 -04:00
Edward Amsden	e8e3383947	initial commit	2021-10-21 18:05:52 -04:00