]>
git.vouivredigital.com Git - vouivre.git/log
summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
admin [Mon, 20 Nov 2023 06:35:31 +0000 (15:35 +0900)]
Allow reset of evaluated promises
admin [Mon, 20 Nov 2023 06:15:20 +0000 (15:15 +0900)]
Copy srfi-45.scm from guile-3.0.9.120-79e83-dirty/module/srfi/
admin [Fri, 10 Nov 2023 07:35:53 +0000 (16:35 +0900)]
Optimize `contract-arrays' using absolute indexing
admin [Thu, 9 Nov 2023 12:02:39 +0000 (21:02 +0900)]
Correct cos'
admin [Thu, 9 Nov 2023 04:18:54 +0000 (13:18 +0900)]
Precompute values for jacobian generators
admin [Thu, 9 Nov 2023 03:46:12 +0000 (12:46 +0900)]
Add more differentiable functions
admin [Mon, 6 Nov 2023 02:42:54 +0000 (11:42 +0900)]
Take instead of reverse drop
admin [Mon, 6 Nov 2023 02:16:45 +0000 (11:16 +0900)]
Change generic for typed and unspecified arrays
admin [Sun, 5 Nov 2023 13:17:58 +0000 (22:17 +0900)]
Optimize the gradient algorithm
With this optimization the jacobians are computed column by
column improving both space and time complexity.
admin [Sun, 5 Nov 2023 13:01:41 +0000 (22:01 +0900)]
Test gradient of `amap2' on non-internal inputs but internal result
admin [Sun, 5 Nov 2023 12:44:22 +0000 (21:44 +0900)]
Implement a functional flip
admin [Wed, 1 Nov 2023 10:54:19 +0000 (19:54 +0900)]
Implement an automatic differentiation engine
admin [Wed, 1 Nov 2023 10:40:06 +0000 (19:40 +0900)]
Add utilities useful for working with arrays
admin [Fri, 29 Sep 2023 11:58:01 +0000 (20:58 +0900)]
Cleanup and add some docstrings
admin [Fri, 29 Sep 2023 11:56:32 +0000 (20:56 +0900)]
Define `flip' and `char=?'
admin [Fri, 29 Sep 2023 11:55:02 +0000 (20:55 +0900)]
Bootstrap the system
admin [Sat, 23 Sep 2023 06:16:07 +0000 (15:16 +0900)]
Fix issues with (vdc base) and add reversed composition
- Call guile's 1+ instead of itself
- Curry internal applications of higher order functions
- Declare types at both expansion and compilation time
admin [Sat, 23 Sep 2023 06:13:00 +0000 (15:13 +0900)]
Compare function types with TBD types
admin [Sat, 23 Sep 2023 04:04:57 +0000 (13:04 +0900)]
Modularize types
admin [Fri, 22 Sep 2023 09:05:45 +0000 (18:05 +0900)]
Define a language to use curried functions in the REPL
admin [Fri, 22 Sep 2023 08:49:13 +0000 (17:49 +0900)]
Copy files from guile-3.0.9.22-1ae50-dirty/module/language/scheme/
admin [Fri, 22 Sep 2023 08:30:07 +0000 (17:30 +0900)]
Curry some procedures from (rnrs base) and (srfi srfi-1)
admin [Fri, 22 Sep 2023 08:07:20 +0000 (17:07 +0900)]
Declare the type at macro expansion time
admin [Fri, 22 Sep 2023 04:20:35 +0000 (13:20 +0900)]
Implement typed curried definitions
admin [Fri, 22 Sep 2023 02:54:54 +0000 (11:54 +0900)]
Expand partial applications when needed
admin [Thu, 21 Sep 2023 05:46:50 +0000 (14:46 +0900)]
Play nicer with regular Scheme
admin [Thu, 21 Sep 2023 04:07:42 +0000 (13:07 +0900)]
Change argument counting to type construction
Instead of counting the arguments a function can receive
we now construct its type. Anything but functions has
a type of 0 while (curried) functions are typed with cons
cells containing the type of its domain and codomain.
admin [Wed, 6 Sep 2023 10:55:44 +0000 (19:55 +0900)]
Test flipped function composition
admin [Wed, 6 Sep 2023 08:49:42 +0000 (17:49 +0900)]
Fix currying of higher order functions
admin [Tue, 5 Sep 2023 12:37:51 +0000 (21:37 +0900)]
Expand curried functions and check for errors
admin [Wed, 30 Aug 2023 14:13:16 +0000 (23:13 +0900)]
Add license