]> git.vouivredigital.com Git - vouivre.git/log
vouivre.git
12 months agoCatch offending generated input(s) on error
admin [Mon, 20 Nov 2023 08:00:56 +0000 (17:00 +0900)]
Catch offending generated input(s) on error

12 months agoOptimize garbage collection
admin [Mon, 20 Nov 2023 07:56:37 +0000 (16:56 +0900)]
Optimize garbage collection

Instead of allocating memory on every index of every
differentiable function call we do it once per call
and use the buffer for all indices.

12 months agoAllow reset of evaluated promises
admin [Mon, 20 Nov 2023 06:35:31 +0000 (15:35 +0900)]
Allow reset of evaluated promises

12 months agoCopy srfi-45.scm from guile-3.0.9.120-79e83-dirty/module/srfi/
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/

12 months agoOptimize `contract-arrays' using absolute indexing
admin [Fri, 10 Nov 2023 07:35:53 +0000 (16:35 +0900)]
Optimize `contract-arrays' using absolute indexing

12 months agoCorrect cos'
admin [Thu, 9 Nov 2023 12:02:39 +0000 (21:02 +0900)]
Correct cos'

12 months agoPrecompute values for jacobian generators
admin [Thu, 9 Nov 2023 04:18:54 +0000 (13:18 +0900)]
Precompute values for jacobian generators

12 months agoAdd more differentiable functions
admin [Thu, 9 Nov 2023 03:46:12 +0000 (12:46 +0900)]
Add more differentiable functions

12 months agoTake instead of reverse drop
admin [Mon, 6 Nov 2023 02:42:54 +0000 (11:42 +0900)]
Take instead of reverse drop

12 months agoChange generic for typed and unspecified arrays
admin [Mon, 6 Nov 2023 02:16:45 +0000 (11:16 +0900)]
Change generic for typed and unspecified arrays

12 months agoOptimize the gradient algorithm
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.

12 months agoTest gradient of `amap2' on non-internal inputs but internal result
admin [Sun, 5 Nov 2023 13:01:41 +0000 (22:01 +0900)]
Test gradient of `amap2' on non-internal inputs but internal result

12 months agoImplement a functional flip
admin [Sun, 5 Nov 2023 12:44:22 +0000 (21:44 +0900)]
Implement a functional flip

13 months agoImplement an automatic differentiation engine
admin [Wed, 1 Nov 2023 10:54:19 +0000 (19:54 +0900)]
Implement an automatic differentiation engine

13 months agoAdd utilities useful for working with arrays
admin [Wed, 1 Nov 2023 10:40:06 +0000 (19:40 +0900)]
Add utilities useful for working with arrays

14 months agoCleanup and add some docstrings v0.1.0
admin [Fri, 29 Sep 2023 11:58:01 +0000 (20:58 +0900)]
Cleanup and add some docstrings

14 months agoDefine `flip' and `char=?'
admin [Fri, 29 Sep 2023 11:56:32 +0000 (20:56 +0900)]
Define `flip' and `char=?'

14 months agoBootstrap the system
admin [Fri, 29 Sep 2023 11:55:02 +0000 (20:55 +0900)]
Bootstrap the system

14 months agoFix issues with (vdc base) and add reversed composition
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

14 months agoCompare function types with TBD types
admin [Sat, 23 Sep 2023 06:13:00 +0000 (15:13 +0900)]
Compare function types with TBD types

14 months agoModularize types
admin [Sat, 23 Sep 2023 04:04:57 +0000 (13:04 +0900)]
Modularize types

14 months agoDefine a language to use curried functions in the REPL
admin [Fri, 22 Sep 2023 09:05:45 +0000 (18:05 +0900)]
Define a language to use curried functions in the REPL

14 months agoCopy files from guile-3.0.9.22-1ae50-dirty/module/language/scheme/
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/

14 months agoCurry some procedures from (rnrs base) and (srfi srfi-1)
admin [Fri, 22 Sep 2023 08:30:07 +0000 (17:30 +0900)]
Curry some procedures from (rnrs base) and (srfi srfi-1)

14 months agoDeclare the type at macro expansion time
admin [Fri, 22 Sep 2023 08:07:20 +0000 (17:07 +0900)]
Declare the type at macro expansion time

14 months agoImplement typed curried definitions
admin [Fri, 22 Sep 2023 04:20:35 +0000 (13:20 +0900)]
Implement typed curried definitions

14 months agoExpand partial applications when needed
admin [Fri, 22 Sep 2023 02:54:54 +0000 (11:54 +0900)]
Expand partial applications when needed

14 months agoPlay nicer with regular Scheme
admin [Thu, 21 Sep 2023 05:46:50 +0000 (14:46 +0900)]
Play nicer with regular Scheme

14 months agoChange argument counting to type construction
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.

14 months agoTest flipped function composition
admin [Wed, 6 Sep 2023 10:55:44 +0000 (19:55 +0900)]
Test flipped function composition

14 months agoFix currying of higher order functions
admin [Wed, 6 Sep 2023 08:49:42 +0000 (17:49 +0900)]
Fix currying of higher order functions

14 months agoExpand curried functions and check for errors
admin [Tue, 5 Sep 2023 12:37:51 +0000 (21:37 +0900)]
Expand curried functions and check for errors

15 months agoAdd license
admin [Wed, 30 Aug 2023 14:13:16 +0000 (23:13 +0900)]
Add license